LaTeX 中的当且仅当符号（\iff）

用途

输出用于逻辑等价的长双向双线箭头，读作“当且仅当”。

\iff 输出两侧带额外宽间距的 \Longleftrightarrow。它连接两个相互蕴含的命题，例如定理 n \text{ 为偶数} \iff n^2 \text{ 为偶数}。逻辑学教材在公式内部通常更喜欢用 \leftrightarrow 或 \Leftrightarrow 表示双条件，而把 \iff 留给文字叙述中的命题。由于有这些留白，\iff 在紧凑的下标或集合构造式条件中显得过于松散。不要把它与 \equiv 混淆，后者表示恒等或模 n 同余。

也收录于: 逻辑与证明

最小可编译示例

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

\documentclass{article}
\begin{document}
If and Only If: $\iff$

\[ A \subseteq B \iff A \cap B = A \]
\end{document}

相关符号

• 全称量词\forall
• 蕴含符号\implies
• 存在量词\exists
• 大于等于号\geq
• 属于符号\in
• 小于等于号\leq

常见问题

如何在 LaTeX 中输入当且仅当符号？

在数学模式中输入 \iff，例如 $A \subseteq B \iff A \cap B = A$。无需加载任何宏包即可在标准 LaTeX 中使用。

\iff 需要哪个宏包？

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

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

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