Знак неэквивалентности в LaTeX (\not\equiv)

Где используется

Перечёркнутое тройное равенство: несравнимость по модулю n или отсутствие тождественного равенства.

В теории чисел пишут a \not\equiv b \pmod{n}, когда n не делит a - b, например в условии малой теоремы Ферма 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 и шрифтом, в котором он есть).