如何在对齐环境中对齐第二列？

Question

这：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{align*}
    s_yp&=s_zp                  &&  \Longleftrightarrow\\
    S_yp &= S_zp                    &&  \Longleftrightarrow\\
    S_y\left(\sum_{x}a_x\delta_x\right) &=S_z\left(\sum_{x}a_x\delta_x\right)   &&  \overset{Z\text{-Linearität}}{\Longleftrightarrow}\\
    \sum_{x}a_x\left(S_y\delta_x\right)&=
    \sum_{x}a_x\left(S_z\delta_x\right)&&   \Longleftrightarrow\\
    \sum_{x}a_x\left(S_z\delta_x\right.&-\left.S_y\delta_x\right)=0 &&  \Longleftrightarrow\\
    \sum_{x}a_x\left(S_z\right.&-\left.S_y\right)\delta_x = 0
\end{align*}

\end{document}

产生：

我怎样才能让箭头排列整齐而忽略过度设置？

先感谢您。

Answer 1

我将 应用于\mathclap文本（mathtools必需）。

\documentclass{article}

\usepackage{amsmath,mathtools}

\begin{document}

\begin{align*}
    s_yp&=s_zp                  &&  \Longleftrightarrow\\
    S_yp &= S_zp                    &&  \Longleftrightarrow\\
    S_y\left(\sum_{x}a_x\delta_x\right) &=S_z\left(\sum_{x}a_x\delta_x\right)   &&  \overset{\mathclap{Z\text{-Linearität}}}{\Longleftrightarrow}\\
    \sum_{x}a_x\left(S_y\delta_x\right)&=
    \sum_{x}a_x\left(S_z\delta_x\right)&&   \Longleftrightarrow\\
    \sum_{x}a_x\left(S_z\delta_x\right.&-\left.S_y\delta_x\right)=0 &&  \Longleftrightarrow\\
    \sum_{x}a_x\left(S_z\right.&-\left.S_y\right)\delta_x = 0
\end{align*}

\end{document}

Answer 2

除了使用诸如\makebox[0pt][c]{...}包含第一个参数的指令\overset（或使用\mathclap）之外，您还应该（a）摆脱所有\left和\right括号大小指令 - 使用\biggl(和\biggr)作为第三行中的四个大括号 - 以及（b）将所有方程式与其各自的符号对齐=。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath} % for 'align*' environment
\begin{document}

\begin{align*}
s_yp &= s_zp       &&  \Longleftrightarrow\\
S_yp &= S_zp       &&  \Longleftrightarrow\\
S_y\biggl(\sum_{x}a_x\delta_x\biggr)  
     &=S_z\biggl(\sum_{x}a_x\delta_x\biggr)   
     &&  \overset{\text{\makebox[0pt][c]{$Z$-Linearität}}}{\Longleftrightarrow}\\
\sum_{x}a_x(S_y\delta_x) 
     &= \sum_{x}a_x(S_z\delta_x)
     &&   \Longleftrightarrow\\
\sum_{x}a_x(S_z\delta_x - S_y\delta_x) &= 0 
     &&  \Longleftrightarrow\\
\sum_{x}a_x(S_z- S_y)\delta_x          &= 0
\end{align*}

\end{document}