Zeichen für Nichtäquivalenz in LaTeX (\not\equiv)

Verwendung

Durchgestrichener Dreifachstrich: nicht kongruent modulo n oder nicht identisch gleich.

In der Zahlentheorie schreibt man a \not\equiv b \pmod{n}, wenn n die Differenz a - b nicht teilt, etwa in der Voraussetzung des kleinen Fermatschen Satzes a \not\equiv 0 \pmod{p}. Das Präfix \not legt einen Schrägstrich über die Relation; setzen Sie es unmittelbar vor \equiv. In manchen Schriften wirkt der Schrägstrich leicht aus der Mitte verschoben, doch unter den gängigen Symbolschriften gibt es keine verbreitete eigene Glyphe, daher ist \not\equiv die übliche Wahl. In der Logik bedeutet es „nicht logisch äquivalent“. Für einfache Ungleichheit verwenden Sie stattdessen \neq.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder 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}

Verwandte Symbole

• Identitätszeichen\equiv
• Quadrat\square
• Tautologie (Verum, Top)\top
• Widerspruch (Falsum, Bottom)\bot
• Begründungszeichen „weil“\because
• Folgerungszeichen „also“\therefore

Häufige Fragen

Wie schreibe ich Zeichen für Nichtäquivalenz in LaTeX?

Schreiben Sie \not\equiv im Mathematikmodus, zum Beispiel $a \not\equiv 0 \pmod{p} \implies a^{p-1} \equiv 1 \pmod{p}$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \not\equiv?

Keines. \not\equiv gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \not\equiv im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\not\equiv$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ≢ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).