功能定义图

Question

我想知道是否存在一种规范/自然/流畅/经济的方法来绘制这样的图表

用于函数的定义。我用 tikz 和 align 做的最好的事情非常糟糕。我是 Latex 的初学者，因此如果这个问题的答案很简单，我提前道歉。

Answer 1

欢迎来到 TeX.SE！如果您只想要这种对齐，您只需要一个array。

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathrsfs}
\begin{document}
\[
 \begin{array}{ccc}
  \mathscr{A}(B,C)\times\mathscr{A}(A,B) & \to & \mathscr{A}(A,C)\;,\\
  (g,f) & \mapsto & g\circ f\;,
 \end{array}
\]
\end{document}

Answer 2

以下是基于align*和 的解决方案eqparbox。我添加了两个变体，在我看来，它们看起来更好。最后一个不需要eqparbox：

    \documentclass{article}
    \usepackage{amsmath}
    \usepackage{mathrsfs}
    \usepackage{eqparbox}
    \newcommand{\eqmathbox}[2][M]{\eqmakebox[#1]{$\displaystyle#2$}}

    \begin{document}

     \begin{align*}
      \eqmathbox{\mathscr{A}(B,C)\times\mathscr{A}(A,B)} & \longrightarrow \eqmathbox[R]{\mathscr{A}(A,C)}\;,\\
      \eqmathbox{(g,f)} & \longmapsto \eqmathbox[R]{g\circ f}\;,
     \end{align*}

     \begin{align*}
\mathscr{A}(B,C)\times \eqmathbox[L]{\mathscr{A}(A,B)} & \longrightarrow \eqmathbox[R]{\mathscr{A}(A,C)}\;,\\
      \eqmathbox[L]{(g,f)} & \longmapsto \eqmathbox[R]{g\circ f}\;,
     \end{align*}


     \begin{align*}
     \mathscr{A}(B,C)\times\mathscr{A}(A,B) & \longrightarrow \mathscr{A} (A,C)\;,\\
      (g,f) & \longmapsto g\circ f\;,
     \end{align*}

    \end{document}