LaTeX 中的双线左右箭头（\Leftrightarrow）

用途

输出短的双线双向箭头，用于公式之间的逻辑等价。

\Leftrightarrow 表示两个公式相互蕴含，如 A \Leftrightarrow B。对于行间公式中完整命题之间的等价，\iff 给出带额外间距的更长的 \Longleftrightarrow。布尔代数用它表示同或（XNOR）或双条件。在一串等价方程中，用 align 对齐一列 \Leftrightarrow 是习题解答中的常见写法。不要把它与 \equiv 混淆，后者表示恒等或同余，而不是逻辑等价。只有在每一步确实可逆时才写它；例如两边平方就会破坏等价性。

也收录于: 逻辑与证明, 布尔代数

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\begin{document}
Left Right Arrow (Double): $\Leftrightarrow$

\[ 2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2 \]
\end{document}

相关符号

• 双线长左右箭头\Longleftrightarrow
• 上下箭头\updownarrow
• 双线上下箭头\Updownarrow
• 长左右箭头\longleftrightarrow
• 映射箭头\mapsto
• 左右箭头\leftrightarrow

常见问题

如何在 LaTeX 中输入双线左右箭头？

在数学模式中输入 \Leftrightarrow，例如 $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$。无需加载任何宏包即可在标准 LaTeX 中使用。

\Leftrightarrow 需要哪个宏包？

不需要。\Leftrightarrow 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\Leftrightarrow 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\Leftrightarrow$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⇔（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。