LaTeX 中的恒等号（\equiv）

用途

三横线关系符，表示恒等、模 n 同余或逻辑等价。

数论用 a \equiv b \pmod{n} 表示同余，分析用 f \equiv 0 表示函数处处为零，逻辑学则用它表示公式之间的逻辑等价。与 \pmod{n} 搭配可得带括号的模数，与 \bmod 搭配可得二元形式 a \bmod n。它不同于 \cong（同构或几何全等），也不同于 \triangleq 或 :=（定义），尽管有些作者也用它表示定义。用 \not\equiv 表示其否定。在物理学中，\equiv 常用来引入简写：\omega \equiv 2\pi f。

也收录于: 逻辑与证明, 数论, 计算机科学

最小可编译示例

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

\documentclass{article}
\begin{document}
Equivalent: $\equiv$

\[ a^{p-1} \equiv 1 \pmod{p} \]
\end{document}

相关符号

• 正比符号\propto
• 约等号\approx
• 波浪号关系符\sim
• 不等号\neq
• 全等（同构）符号\cong
• 大于等于号\geq

常见问题

如何在 LaTeX 中输入恒等号？

在数学模式中输入 \equiv，例如 $a^{p-1} \equiv 1 \pmod{p}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\equiv 需要哪个宏包？

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

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

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