Doppelpunkt „sodass“ in LaTeX (:)

Verwendung

Doppelpunkt, gelesen als „sodass“ oder „mit“, der in quantifizierten Aussagen und in der Mengenbildungsschreibweise eine Variable von ihrer Bedingung trennt.

Im Mathematikmodus wird ein einfacher Doppelpunkt als Relation behandelt und erhält auf beiden Seiten gleich große, breite Abstände, was zu \{x : x > 0\} und \forall x : P(x) passt. Für eine Funktionssignatur verwenden Sie stattdessen \colon, das Interpunktionsabstände hat: f\colon A \to B sieht richtig aus, während f : A \to B vor dem Doppelpunkt eine Lücke lässt. Bei Definitionen kann das aus zwei Zeichen gebaute := vertikal versetzt wirken; ein eigenes Definitionssymbol aus einem Erweiterungspaket behebt das. Manche Autoren bevorzugen in der Mengenbildungsschreibweise \mid oder einen senkrechten Strich; entscheiden Sie sich für eine Variante und bleiben Sie dabei.

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}
Such That (Colon): $:$

\[ \{ n \in \mathbb{Z} : n^2 < 10 \} \]
\end{document}

Verwandte Symbole

• Mengenbildungsschreibweise\{ x \mid P(x) \}
• Bedingungsstrich\mid
• Aussage mit verschachtelten Quantoren\forall x \exists y : P(x, y)
• Beschränkter Existenzquantor\exists x \in A
• Beschränkter Allquantor\forall x \in A
• Existenzquantor über x\exists x

Häufige Fragen

Wie schreibe ich Doppelpunkt „sodass“ in LaTeX?

Schreiben Sie : im Mathematikmodus, zum Beispiel $\{ n \in \mathbb{Z} : n^2 < 10 \}$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für :?

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

Kann ich : im Textmodus verwenden oder nur im Mathematikmodus?

Beides. : kompiliert im Fließtext ebenso wie innerhalb von $...$; in einer Formel bleibt es im Mathematikmodus, damit es mathematische Schriften und Abstände erhält.