Équivalence (triple barre) en LaTeX (\equiv)

Où il est utilisé

Relation à trois barres signifiant « identiquement égal », « congru modulo n » ou « logiquement équivalent ».

La théorie des nombres écrit a \equiv b \pmod{n} pour la congruence, l’analyse écrit f \equiv 0 pour dire qu’une fonction est partout nulle, et la logique l’emploie pour l’équivalence logique de formules. Associez-le à \pmod{n} pour le modulo entre parenthèses ou à \bmod pour la forme binaire a \bmod n. Il se distingue de \cong (isomorphisme ou congruence géométrique) et de \triangleq ou := (définitions), même si certains auteurs l’utilisent aussi pour les définitions. On le nie avec \not\equiv. En physique, \equiv introduit souvent une notation abrégée : \omega \equiv 2\pi f.

Également dans: Logique et preuves, Théorie des nombres, Informatique

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Proportionnalité\propto
• Approximativement égal\approx
• Tilde (relation)\sim
• Signe différent\neq
• Isomorphisme (isométrie)\cong
• Supérieur ou égal\geq

Questions fréquentes

Comment écrire Équivalence (triple barre) en LaTeX ?

Tapez \equiv en mode mathématique, par exemple $a^{p-1} \equiv 1 \pmod{p}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \equiv ?

Aucun. \equiv fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \equiv en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\equiv$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ≡ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).