Existenzquantor in LaTeX (\exists)

Verwendung

Ergibt den Existenzquantor ∃, gelesen „es existiert“ oder „für ein“.

\exists besagt, dass mindestens ein Element eine Eigenschaft erfüllt, wie in \exists x \in \mathbb{R} : x^2 = 2. Eindeutigkeit schreibt man \exists! (es existiert genau ein), und \nexists liefert das negierte Symbol für „es existiert kein“. Wie \forall ist es ein gewöhnliches Symbol, setzen Sie also für die Lesbarkeit einen schmalen Abstand oder einen Doppelpunkt nach der gebundenen Variablen. Die Reihenfolge der Quantoren ist wichtig: \forall x\, \exists y ist etwas anderes als \exists y\, \forall x, halten Sie also die beabsichtigte Reihenfolge ein. In formaler Logik vermeiden Klammern um den Wirkungsbereich, \exists x\,(P(x)), Mehrdeutigkeiten.

Auch aufgeführt unter: Logik & Beweise, Quantoren

Minimales kompilierbares Beispiel

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Exists: $\exists$

\[ \exists!\, x \in \mathbb{R} : x^3 = 8 \]
\end{document}

Verwandte Symbole

• Elementzeichen\in
• Allquantor\forall
• Nicht-Element-Zeichen\notin
• Äquivalenz (genau dann, wenn)\iff
• Teilmenge\subset
• Implikation\implies

Häufige Fragen

Wie schreibe ich Existenzquantor in LaTeX?

Schreiben Sie \exists im Mathematikmodus, zum Beispiel $\exists!\, x \in \mathbb{R} : x^3 = 8$. 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$. 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).