Große disjunkte Vereinigung in LaTeX (\bigsqcup)

Verwendung

Großes eckiges Vereinigungszeichen für die disjunkte Vereinigung einer indizierten Familie von Mengen.

Die Schreibweise X = \bigsqcup_{i \in I} X_i drückt sowohl eine Vereinigung aus als auch, dass die Teile paarweise disjunkt sind, eine in Topologie, Maßtheorie und Kategorientheorie verbreitete Konvention. Die binäre Form ist \sqcup, wie in A \sqcup B. \coprod ist eine Alternative, die manche Autoren für dieselbe kategorielle Konstruktion bevorzugen, während \bigcup allein nichts über Disjunktheit aussagt. In der Bereichstheorie und der denotationellen Semantik bezeichnet \bigsqcup dagegen die kleinste obere Schranke einer gerichteten Menge. Als großer Operator setzt es seine Grenzen in abgesetzten Formeln übereinander und im Fließtext zur Seite.

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}
Big Square Union: $\bigsqcup$

\[ \mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1) \]
\end{document}

Verwandte Symbole

• Doppelsumme\sum_{i=1}^{m} \sum_{j=1}^{n}
• Großer eingekreister Punkt\bigodot
• Summe über eine Indexmenge\sum_{k \in K}
• Großes Tensorprodukt\bigotimes
• Große direkte Summe\bigoplus
• Großes Oder-Zeichen\bigvee

Häufige Fragen

Wie schreibe ich Große disjunkte Vereinigung in LaTeX?

Schreiben Sie \bigsqcup im Mathematikmodus, zum Beispiel $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \bigsqcup?

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

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