Mehrfachausrichtung ohne Abstand

Question

Wie lässt sich eine solche Gleichung am besten eingeben?

(Die vertikalen roten Linien zeigen drei verschiedene Ausrichtungsachsen an.)

Ich habe Folgendes versucht:

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

Aber es funktioniert nicht gut.

Answer 1

Hier ist mit alignatund ein kleiner Trick mit mathtools. Der Wertebereich der oberen Abbildung ist zu breit, also unterdrücken wir seine Breite, um die Ausrichtung beizubehalten.

\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

Wenn rohe Gewalt akzeptabel ist ...

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