Quantor der eindeutigen Existenz in LaTeX (\exists!)

Verwendung

Es gibt genau ein: der Existenzquantor, gefolgt von einem Ausrufezeichen, das die Eindeutigkeit fordert.

Eindeutigkeitsaussagen wie die Existenz einer eindeutigen Lösung eines Anfangswertproblems oder eines eindeutigen neutralen Elements in einer Gruppe schreibt man als \exists! x. Das Ausrufezeichen ist in TeX ein schließendes Symbol, daher wird \exists! x vernünftig gesetzt; manche Autoren fügen zur Verdeutlichung noch \, vor der Variablen ein. Formal ist \exists! x\, P(x) eine Abkürzung für \exists x\,(P(x) \wedge \forall y\,(P(y) \to y = x)). Vermeiden Sie \exists_1, das manche Leser als Variable mit Index deuten. Im Fließtext liest sich „es gibt genau ein“ oft besser als das Symbol.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\begin{document}
Unique Exists: $\exists!$

\[ \forall a \in G\; \exists!\, b \in G : ab = e \]
\end{document}

Verwandte Symbole

• Elementzeichen\in
• Negierter Existenzquantor\nexists
• Nicht-Element-Zeichen\notin
• Existenzquantor\exists
• Umgekehrtes Elementzeichen (enthält)\ni
• Allquantor\forall

Häufige Fragen

Wie schreibe ich Quantor der eindeutigen Existenz in LaTeX?

Schreiben Sie \exists! im Mathematikmodus, zum Beispiel $\forall a \in G\; \exists!\, b \in G : ab = e$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \exists!?

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

Kann ich \exists! 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 $\exists!$.