我该如何排版集体行动？

Question

我该如何排版如下所示的内容？

我努力了

\begin{align*}
    \sigma : T^k(V) & \longrightarrow T^k(V) \\
                  T & \longmapsto
    \begin{aligned}
        \sigma T : V \times \dots \times V & \longrightarrow \mathbb R \\
        (v_1, \dots, v_k) & \longmapsto T(v_{\sigma(1)}, \dots, v_{\sigma(k)})
    \end{aligned}
\end{align*}

然而，这给出的结果更像这样：

T \longmapsto请注意第二个版本中的垂直对齐。

Answer 1

您可以使用环境[t]的选项aligned。

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
\begin{align*}
    \sigma \colon T^k(V) & \longrightarrow T^k(V) \\
                  T & \longmapsto
    \begin{aligned}[t]
        \sigma T \colon V \times \dots \times V & \longrightarrow \mathbb R \\
        (v_1, \dots, v_k) & \longmapsto T(v_{\sigma(1)}, \dots, v_{\sigma(k)})
    \end{aligned}
\end{align*}
\end{document}

Answer 2

我只需使用一个alignedat环境和\mathrlap来自的命令mathtools。我认为如果最后一行比第一行更接近 secng，布局会看起来更好：

\documentclass{article}
\usepackage{mathtools, amssymb}

\begin{document}

\begin{alignat*}{2}
    \sigma \colon T^k(V) & \longrightarrow \mathrlap{T^k(V)} \\
                  T & \longmapsto& \sigma T \colon V \times \dots \times V & \longrightarrow \mathbb R \\[-0.8ex]
         && (v_1, \dots, v_k) & \longmapsto T(v_{\sigma(1)}, \dots, v_{\sigma(k)})
\end{alignat*}

\end{document}