如何编写具有 η 和箭头的对齐函数？

Question

我想知道如何编写以下函数。我应该使用哪个命令？

Answer 1

使用amsmath类似align环境：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{align*}
  \eta : G & \rightarrow \tfrac{G}{H} \\
         a & \mapsto \eta(a) = a \times H
\end{align*}

\end{document}

Answer 2

如上所述，该函数是\eta。这有点类似于 Werner 的答案，只是\rightarrow第二行中我使用的不是 （恕我直言，不正确） \mapsto，并且我尝试重现您的间距（可能源自环境eqnarray*，但如果您不喜欢，可以将其删除）并使用*屏幕截图中的 。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
  \eta : G & ~\rightarrow~ \tfrac{G}{H} \\
         a & ~\mapsto~ \eta(a) = a * H
\end{align*}
\end{document}

Answer 3

这是一个使用array环境来组织材料的解决方案。它还使用了宏\to（的缩写\rightarrow）\frac、、\eta和\colon。

这种方法的优点是，即使您使用与 不同、宽度不同的符号，它也能\to有效\mapsto。

请注意，我建议使用\colon而不是更明显的:，因为后者旨在用作关系运算符，而这里不是这种情况。并且，请注意，我会使箭头周围的间距比您发布的屏幕截图中显示的间距更紧密。

\documentclass{article}
\usepackage{array}
\newcolumntype{C}{>{{}}c<{{}}} % for relational and binary operators

\begin{document}
\[
\setlength\arraycolsep{0pt}
\begin{array}{rCl}          % "right" "Center" "left"
\eta\colon G & \to     & \frac{G}{H} \\
a            & \mapsto & \eta(a)=a*H
\end{array}
\] 
\end{document}

Answer 4

另一个技巧可能仅仅是为了好玩！

\documentclass[border=2.718281828mm,12pt,preview,varwidth]{standalone}
\usepackage{mathtools}
\begin{document}
\[
\begin{aligned}
  \eta : G & \rightarrow \tfrac{G}{H} \\
         a & \mapsto \eta(a) = a * H
\end{aligned}
\]
\end{document}