在等式证明中对齐双条件

Question

我正在尝试获取这个输出：

到目前为止我已经尝试过：

\documentclass{article}
\begin{document}
\begin{array}
  &\iff \neg(A \equiv B)\\
  &\iff \text{axiom}\rangle\\
  &\iff A \equiv B \equiv \bot\\
\end{array}
\end{document}
$

$

我怎样才能对齐证明中的每个双条件？

PS：我打算在 MathJax 中使用它。

Answer 1

我不知道这是否有意义，但这里有一些东西可以重现你的输出，直到我\iff更喜欢的双箭头。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
  & \neg(A \equiv B)\\
  \iff & \langle\text{axiom}\rangle\\
  & A \equiv B \equiv \bot\\
  \iff & \langle\text{Leib}+\text{axiom: }B\equiv \bot\equiv \bot\equiv B
   ;\text{ ``$C$-part'' is $A=\mathbf{p}$; $\mathbf{p}$ fresh}\rangle\\
  & A \equiv \bot \equiv B \\
  \iff & \langle\text{Leib}+\text{axiom: }A\equiv \bot\equiv \neg A
   ;\text{ ``$C$-part'' is $B=\mathbf{p}$; $\mathbf{p}$ fresh}\rangle\\
\end{align*}
\end{document}

Answer 2

我会使用align*环境，用 标记对齐点&，并可选择替换\iff宽度\Leftrightarrow。如果由于某种原因（可能是因为您正在使用 MathJax...），您无法使用align*，那么也可以使用环境array。

\documentclass{article}
\usepackage{amsmath} %
\usepackage{amssymb}
\begin{document}
\begin{align*}
                   &\neg(A \equiv B)    \\
\Leftrightarrow  {}&\langle\text{axiom}\rangle \\
                   &A \equiv B \equiv \bot \\
\Leftrightarrow  {}&\langle\text{Leib}+\text{axiom}\colon \dots \\
                   &\dots
\end{align*}

\[
\renewcommand{\arraystretch}{1.22} % to mimic the "look" of the 'align' env.
\begin{array}{@{} r @{} l @{}}
                   &\neg(A \equiv B)    \\
\Leftrightarrow{}  &\langle\text{axiom}\rangle \\
                   &A \equiv B \equiv \bot \\
\Leftrightarrow{}  &\langle\text{Leib}+\text{axiom}\colon \dots \\
                   &\dots
\end{array}
\]
\end{document}