无间距的多重对齐

Question

输入此类方程式的最佳方法是什么？

（垂直红线表示三个不同的对齐轴。）

我尝试了以下方法：

\begin{alignat*}{3}
    \phi: Z^{X \times Y} &\to (Z^Y)^X\\
                   f     &\mapsto \phi(f): X &&\to Z^Y\\
                                           x &&\mapsto \phi(f)(x): Y &&&\to Z\\ 
                                                                    y &&&\mapsto \phi(f)(x)(y) = f(x,y)
\end{alignat*}

但效果不太好。

Answer 1

这是带有的alignat，还有一个带有的小技巧mathtools。顶部地图的余域太宽，因此我们抑制其宽度以保持对齐。

\documentclass{article}
\usepackage{amsmath,mathtools}
\begin{document}
\begin{alignat*}{3}
\phi\colon Z^{X \times Y} &\to \mathrlap{(Z^Y)^X}\\
                    f     &\mapsto \phi(f)\colon &X &\to Z^Y\\
                          &                      &x &\mapsto \phi(f)(x)\colon &Y &\to Z\\ 
                          &                      &  &                         &y &\mapsto \phi(f)(x)(y) = f(x,y)
\end{alignat*}
\end{document}

Answer 2

如果暴力是可以接受的……

\documentclass{article}

\begin{document}

\[\arraycolsep0.1667em
\begin{array}{rlll}
 \phi: Z^{X \times Y} &\to (Z^Y)^X&&\\ 
f &\mapsto \phi(f): X &\to Z^Y&\\ 
&\multicolumn{1}{r}{x} &\mapsto \phi(f)(x): Y &\to Z\\ 
&&\multicolumn{1}{r}{y} &\mapsto \phi(f)(x)(y) = f(x,y) 
\end{array}
\]

\end{document}