Тождественное равенство в 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 и шрифтом, в котором он есть).