Allquantor in LaTeX (\forall)

Verwendung

Ergibt den Allquantor ∀, gelesen „für alle“ oder „für jedes“.

\forall leitet allquantifizierte Aussagen ein, wie in der Epsilon-Delta-Definition \forall \varepsilon > 0\ \exists \delta > 0. TeX behandelt es als gewöhnliches Symbol, nach der gebundenen Variablen gibt es also keinen automatischen Abstand; fügen Sie je nach Konvention \, oder \ oder ein Trennzeichen wie Doppelpunkt oder Punkt ein. In textlastigen Beweisen empfehlen viele Stilrichtlinien, „für alle“ auszuschreiben statt \forall zu verwenden. Im getypten Lambda-Kalkül und in der Typentheorie leitet es außerdem polymorphe Typen ein, zum Beispiel \forall \alpha.\, \alpha \to \alpha.

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}
\begin{document}
For All: $\forall$

\[ \forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \]
\end{document}

Verwandte Symbole

• Existenzquantor\exists
• Äquivalenz (genau dann, wenn)\iff
• Elementzeichen\in
• Implikation\implies
• Nicht-Element-Zeichen\notin
• Größer oder gleich\geq

Häufige Fragen

Wie schreibe ich Allquantor in LaTeX?

Schreiben Sie \forall im Mathematikmodus, zum Beispiel $\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \forall?

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

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