Alinhe a primeira linha da imagem tikz com o texto ao redor

Alinhe a primeira linha da imagem tikz com o texto ao redor

Eu gostaria de alinhar a linha de base da primeira linha do tikzpicture com a linha de base do texto ao redor para obter algo como

Let A → B    be a function from A to B
    a → f(a)

mas no momento, a imagem tikz está centralizada verticalmente. Meu código é

Let
\begin{tikzpicture}[baseline=-2.6pt,description/.style={fill=white,inner sep=2pt}]
\matrix (m) [matrix of math nodes, row sep=0em, column sep=2em, text height=1.75ex, text depth=.25ex, column 2/.style={anchor=base west}]
{
A & B \\
a & f(a) \\
};
\path[->]
(m-1-1) edge node[above] {$f$} (m-1-2);
\path[|->]
(m-2-1) edge (m-2-2);
\end{tikzpicture}
be a function from A to B.

Responder1

Você consegue o que deseja com aligned:

\documentclass{article}
\usepackage{amsmath}

\begin{document}

Let
$\!\begin{aligned}[t]
  A &\overset{f}{\longrightarrow} B\\
  a &\longmapsto f(a)\end{aligned}$
be a function from $A$ to $B$.

\end{document}

Mas é melhor não ter objetos tão grandes alinhados. Eu preferiria muito mais

Let $f\colon A\to B$, $a\mapsto f(a)$, be a function from $A$ to $B$.

Definir a atribuição em uma linha diferente não adiciona nenhuma informação e prejudica o espaçamento.

insira a descrição da imagem aqui

Se você insiste em fazer isso com TikZ, aqui está:

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{matrix}

\begin{document}

Let
\begin{tikzpicture}[
  baseline=(m-1-1.base),
  description/.style={fill=white,inner sep=2pt}
]
\matrix (m) [
  matrix of math nodes,
  row sep=0em,
  column sep=2em,
  text height=1.75ex,
  text depth=.25ex,
  column 2/.style={anchor=base west}]
  {
   A & B \\
   a & f(a) \\
  };
  \path[->] (m-1-1) edge node[above] {$\scriptstyle f$} (m-1-2);
  \path[|->] (m-2-1) edge (m-2-2);
\end{tikzpicture}
be a function from $A$ to $B$.

\end{document}

insira a descrição da imagem aqui

Responder2

Nós, usuários do TeX simples, não precisamos tikzdesse exemplo:

Let
\vtop{\halign{$\hfil#{}$&$#\hfil$\cr
    A \buildrel f\over\longrightarrow& B\cr
    a \longmapsto& f(a)\cr}}
be a function from $A$ to $B$.

\bye

informação relacionada