恒等号 ≡ 的 LaTeX 写法
\equiv 输出恒等（等价）关系符，用于对所有取值都成立的恒等式，以及模运算中的同余。
LaTeX 命令
\equiv不是你要找的符号？画出来查命令 →
\equiv 在日常中有两种含义。一是“恒等于”：\sin^2\theta + \cos^2\theta \equiv 1 断言对 theta 的每一个取值等式都成立，而不只是某个特定的解。二是模运算中的同余，写作 \pmod{n}。
用于同余时，\pmod{n} 会自动加上圆括号和正确的间距，得到“(mod n)”。它的同类命令有 \bmod，即二元运算符形式，如 ；还有 \mod，它写出不带括号的“mod n”。其中 \bmod 和 \pmod 是 LaTeX 内核自带的命令，\mod 来自 amsmath。
这个符号也用于表示逻辑等价（也可以改用 \iff），偶尔还用于定义（这时更常见的是用 \coloneqq 写成 :=）。它的否定是 \not\equiv，没有标准的单一命令。
示例
$a \equiv b \pmod{n}$模 n 同余
$17 \equiv 2 \pmod{5}$一个具体数字的同余式
$\sin^2\theta + \cos^2\theta \equiv 1$对所有 theta 都成立的恒等式
$f(x) \equiv 0$恒为零的函数
$P \equiv Q$逻辑等价
使用技巧与常见错误
- 模运算用
\pmod{n}，它会自动加上圆括号和间距：\pmod{n}。 - 二元运算符形式用
\bmod（），不带括号的“mod n”用\mod。 - 注意区分恒等（对每个取值都成立）和普通的 =（只对所讨论的那些值成立）。
- 不要用
\equiv表示“约等于”，那是\approx的用途。 - 它的否定写作
\not\equiv，没有专门的单一命令。
手上是手写笔记？
LatexNotes 能把手写数学的照片或 PDF 转换成干净、可编译的 LaTeX，连手绘图形也一并转换。免费试用，无需注册。
把你的数学笔记转成 LaTeX →常见问题
LaTeX 中的 \equiv 是什么意思？
它打印出三条横线的符号，根据上下文表示“恒等于”（对每个取值都成立），或模运算中的“同余于”。
模 n 的同余式怎么写？
把 \equiv 和 \pmod 结合起来： 会带上合适的间距和括号。
\bmod、\pmod 和 \mod 有什么区别？
\bmod 是二元运算符（）；\pmod{n} 为同余式加上“(mod n)”；\mod 写出不带括号的“mod n”。