Signe de non-équivalence en LaTeX (\not\equiv)

Où il est utilisé

Triple barre barrée : non congru modulo n, ou non identiquement égal.

En théorie des nombres, on écrit a \not\equiv b \pmod{n} lorsque n ne divise pas a - b, par exemple dans l'hypothèse du petit théorème de Fermat, a \not\equiv 0 \pmod{p}. Le préfixe \not superpose une barre oblique à la relation ; placez-le juste avant \equiv. Dans certaines polices, la barre paraît légèrement décentrée, mais aucune police de symboles courante ne propose de glyphe dédié standard, donc \not\equiv est le choix habituel. En logique, il signifie « non logiquement équivalent ». Pour une simple inégalité, utilisez plutôt \neq.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou 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}

Symboles associés

• Équivalence (triple barre)\equiv
• Carré\square
• Tautologie (verum, maximum)\top
• Contradiction (falsum, minimum)\bot
• Signe « car »\because
• Signe « donc »\therefore

Questions fréquentes

Comment écrire Signe de non-équivalence en LaTeX ?

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

Quel paquet faut-il pour \not\equiv ?

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

Peut-on utiliser \not\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 $\not\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).