LaTeX 中的不等价符号（不同余）（\not\equiv）

用途

带斜线的三横线：表示模 n 不同余，或不恒等。

数论中当 n 不整除 a - b 时写 a \not\equiv b \pmod{n}，例如费马小定理的条件 a \not\equiv 0 \pmod{p}。前缀 \not 会在关系符上叠加一条斜线，应紧挨着放在 \equiv 之前。在某些字体中斜线看起来略微偏离中心，但常用符号字体中没有标准的专用字形，因此通常使用 \not\equiv。在逻辑中它表示逻辑上不等价。若只是表示不相等，请改用 \neq。

最小可编译示例

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Not Equivalent: $\not\equiv$

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

相关符号

• 恒等号\equiv
• 空心方框\square
• 重言式符号（恒真、顶元）\top
• 矛盾符号（恒假、底元）\bot
• 因为符号\because
• 所以符号\therefore

常见问题

如何在 LaTeX 中输入不等价符号（不同余）？

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

\not\equiv 需要哪个宏包？

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

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

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