Mengenbildungsschreibweise in LaTeX (\{ x \mid P(x) \})

Verwendung

Mengenbildungsschreibweise (beschreibende Mengendarstellung): die Menge aller x, für die die Eigenschaft P(x) gilt, geschrieben mit geschweiften Klammern und einem Trennzeichen.

Geschweifte Klammern müssen im Mathematikmodus als \{ und \} maskiert werden, sonst dienen sie nur zur Gruppierung und verschwinden aus der Ausgabe. \mid ist eine Relation und erhält daher auf beiden Seiten passende Abstände, anders als ein nackter Strich |, der ein gewöhnliches Symbol ist und die Buchstaben zusammendrängt. Enthält die Bedingung Brüche oder hohe Ausdrücke, skalieren Sie alles gemeinsam: \left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}. Ein Doppelpunkt eignet sich ebenso gut als Trennzeichen und vermeidet Verwechslungen, wenn die Bedingung selbst Beträge enthält.

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}
Set Builder: $\{ x \mid P(x) \}$

\[ \{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1) \]
\end{document}

Verwandte Symbole

• Aussage mit verschachtelten Quantoren\forall x \exists y : P(x, y)
• Doppelpunkt „sodass“:
• Bedingungsstrich\mid
• 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 Mengenbildungsschreibweise in LaTeX?

Schreiben Sie \{ x \mid P(x) \} im Mathematikmodus, zum Beispiel $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \{ x \mid P(x) \}?

Keines. \{ x \mid P(x) \} gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \{ x \mid P(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 $\{ x \mid P(x) \}$.