我怎样才能写出这么整洁的东西：
编辑：到目前为止我已经尝试过
\begin{eqnarray*}
M_f : \pi_1(S \backslash \{y_1, \cdots, y_n\}, y) &\rightarrow& \text{Bij}(f^{-1}(y)) \\
\gamma &\mapsto& M_f(\gamma) = \sigma_\gamma^{-1}
\end{eqnarray*}
得出
这与上面的公式不太吻合。
\pi（顺便问一下，如何才能让第一张图片看起来更好看？）
答案1
这里有两种可能性（内联或非内联）。不要使用eqnarray，因为它在对齐点周围具有糟糕的水平间距，并将其替换为align*或aligned。此外，对于集合差异，请使用\(small)setminus：
\documentclass{article}
\usepackage{amsmath, amssymb}
\DeclareMathOperator\Bij{Bij}
\begin{document}
\begin{align*}
M_f \colon \pi_1(S \smallsetminus \{y_1, \dots, y_n\}, y) & \longrightarrow \Bij(f^{-1}(y)) \\
\gamma & \longmapsto M_f(\gamma) = \sigma_\gamma^{-1}
\end{align*}
Or this:\medskip
Let $ S' =S \smallsetminus \{y_1, \dots, y_n\} $. Define
$ \begin{aligned}[t]
M_f \colon \pi_1(S', y) &\longrightarrow \Bij(f^{-1}(y)) \\
\gamma &\longmapsto M_f(\gamma) = \sigma_\gamma^{-1}
\end{aligned} $
\end{document}
答案2
您尝试重现的示例可能是使用XY图，通常用于排版交换图。我能够使用以下代码重现它。
\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[all]{xy}
\begin{document}
\[
\xymatrix@R=0cm{
% the "@R=0cm" minimizes the row height, so you get the two-line effect
M_f : \pi_1(S \smallsetminus \{y_1, \dotsc, y_n\}, y) \ar[r]
& \operatorname{Bij}\left(f^{-1}(y)\right)\\
% \ar@{|->} produces the \mapsto arrow
\gamma \ar@{|->}[r] & M_f(\gamma) = \sigma_\gamma^{-1}
}
\]
\end{document}
看起来他们也使用的是\smallsetminus来自amssymb包的，而不是\setminus，但我不知道他们如何得到不同的π。
这是我使用该代码得到的结果。
XY 可能会产生令人困惑的代码；作为参考，我建议Wikibooks 指南或者XY指南。
答案3
和tikz-cd：
\documentclass{article}
\usepackage{tikz-cd,amsmath, amssymb}
\DeclareMathOperator\Bij{Bij}
\begin{document}
\[
\begin{tikzcd}[column sep= small,row sep=0ex]
M_f \colon \pi_1(S \smallsetminus \{y_1, \dots, y_n\}, y) \arrow[r]& \Bij(f^{-1}(y)) \\
\gamma \arrow[r, mapsto] & M_f(\gamma) = \sigma_{\gamma}^{-1}
\end{tikzcd}
\]
\end{document}
