Simbolo di non equivalenza in LaTeX (\not\equiv)

Dove si usa

Triplo trattino barrato: non congruo modulo n, oppure non identicamente uguale.

In teoria dei numeri si scrive a \not\equiv b \pmod{n} quando n non divide a - b, per esempio nell'ipotesi del piccolo teorema di Fermat a \not\equiv 0 \pmod{p}. Il prefisso \not sovrappone una barra alla relazione; mettetelo subito prima di \equiv. In alcuni font la barra appare leggermente decentrata, ma tra i font di simboli più comuni non esiste un glifo dedicato standard, quindi \not\equiv resta la scelta abituale. In logica significa «non logicamente equivalente». Per la semplice disuguaglianza usate invece \neq.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o 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}

Simboli correlati

• Equivalenza\equiv
• Quadrato\square
• Tautologia (verum, top)\top
• Contraddizione (falsum, bottom)\bot
• Simbolo “poiché”\because
• Simbolo “quindi”\therefore

Domande frequenti

Come si scrive Simbolo di non equivalenza in LaTeX?

Scrivi \not\equiv in modalità matematica, per esempio $a \not\equiv 0 \pmod{p} \implies a^{p-1} \equiv 1 \pmod{p}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \not\equiv?

Nessuno. \not\equiv fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \not\equiv in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\not\equiv$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ≢ (con XeLaTeX o LuaLaTeX e un font che lo contenga).