Allquantor über x in LaTeX (\forall x)

Verwendung

Der Allquantor, auf x angewandt: Die folgende Aussage gilt für jeden Wert von x.

Definitionen der Stetigkeit, Gruppenaxiome und Induktionsprinzipien beginnen alle mit \forall x. Das Symbol \forall ist ein gewöhnliches mathematisches Atom, daher setzt TeX nach der Variablen keinen Abstand; ein \, oder ein Doppelpunkt, wie in \forall x\, P(x) oder \forall x : P(x), macht lange Formeln deutlich lesbarer. Manche Autoren stellen den Quantor in Worten hinter die Aussage („für alle x“), was im Fließtext angenehmer ist. Verwenden Sie \forall im laufenden Satz nicht als Abkürzung für „für alle“, es sei denn, Ihr Publikum erwartet diese Kurzschreibweise.

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}
For All x: $\forall x$

\[ \forall x\, (x \cdot 0 = 0) \]
\end{document}

Verwandte Symbole

• Existenzquantor über x\exists x
• Umgekehrtes Elementzeichen (enthält)\ni
• Beschränkter Allquantor\forall x \in A
• Nicht-Element-Zeichen\notin
• Beschränkter Existenzquantor\exists x \in A
• Elementzeichen\in

Häufige Fragen

Wie schreibe ich Allquantor über x in LaTeX?

Schreiben Sie \forall x im Mathematikmodus, zum Beispiel $\forall x\, (x \cdot 0 = 0)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \forall x?

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

Kann ich \forall x 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 $\forall x$.