Richten Sie die erste Zeile im Tikz-Bild am umgebenden Text aus

Question

Ich möchte die Grundlinie der ersten Zeile des Tikzbilds an der Grundlinie des umgebenden Textes ausrichten, um etwas wie

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

aber im Moment ist das Tikzbild vertikal zentriert. Mein Code ist

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.

Answer 1

Sie bekommen, was Sie wollen mit 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}

Aber es ist besser, keine so großen Objekte inline zu haben. Ich würde es viel lieber haben

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

Wenn Sie die Zuweisung in einer anderen Zeile festlegen, werden keine Informationen hinzugefügt und die Abstände werden beeinträchtigt.

Wenn Sie darauf bestehen, es mit TikZ zu machen, hier ist es:

\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}

Answer 2

Wir, Benutzer von einfachem TeX, brauchen tikzein solches Beispiel nicht:

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