对齐等值箭头和等号，没有奇怪的间距

Question

我想要实现以下布局：

    1a = 1b
<=> 2a = 2b
<=> 3a = 3b

即，我希望\Leftrightarrows 和=符号对齐。我认为以下方法可以解决问题：

\documentclass[]{article}
\usepackage{amsmath}
\begin{document}
Thus,
\begin{align*}
                   & 1a &= 1b  \\
    \Leftrightarrow&  2a &= 2b  \\
    \Leftrightarrow&  3a &= 3b.
\end{align*}
\end{document}

间距明显不对。如果我添加另一个对齐指示符，则会得到以下结果：

\documentclass[]{article}
\usepackage{amsmath}
\begin{document}
Thus,
\begin{align*}
    &               & 1a &= 1b  \\
    &\Leftrightarrow&  2a &= 2b \\
    &\Leftrightarrow&  3a &= 3b.
\end{align*}
\end{document}

这看起来好多了。但是我该如何去掉箭头和变量之间的额外间距呢？类似问题真的帮不了我。

提前致谢！

Answer 1

使用内部形式aligned

\documentclass{article}

\usepackage{amsmath}

\begin{document}
Thus,
\[
\begin{aligned}
    &               &  1a &= 1b  \\
    &\Leftrightarrow&  2a &= 2b \\
    &\Leftrightarrow&  3a &= 3b.
\end{aligned}
\]
\end{document}

如果你想控制间距，alignedat你的朋友

\[
\begin{alignedat}{2}
    &               & \quad 1a &= 1b  \\
    &\Leftrightarrow&  2a &= 2b \\
    &\Leftrightarrow&  3a &= 3b.
\end{alignedat}
\qquad\text{or}\qquad
\begin{alignedat}{2}
    &               & \qquad 1a &= 1b  \\
    &\Leftrightarrow&  2a &= 2b \\
    &\Leftrightarrow&  3a &= 3b.
\end{alignedat}
\]

使用\quad或\qquad或任何间距命令来引入您想要的空间量。

Answer 2

在这种情况下，我只需使用\iff而不是\Leftrightarrow，因为它\iff会在箭头两侧添加适当的间距，并且使用表达式的形式它已经对齐。通常，您可以使用alignat*而不是 来align*根据需要调整箭头和等式之间的间距。

以下是两种情况的示例。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
With \verb|\iff|:
\begin{align*}
         1a &= 1b  \\
    \iff 2a &= 2b \\
    \iff 3a &= 3b.
\end{align*}
With \verb|alignat*|:
\begin{alignat*}{2}
    &\qquad         & 1a &= 1b  \\
    &\Leftrightarrow& 2a &= 2b \\
    &\Leftrightarrow& 3a &= 3b.
\end{alignat*}
\end{document}