Grande union carrée en LaTeX (\bigsqcup)

Où il est utilisé

Grande coupe carrée, désignant l’union disjointe d’une famille indexée d’ensembles.

Écrire X = \bigsqcup_{i \in I} X_i indique à la fois une union et le fait que les morceaux sont deux à deux disjoints, une convention courante en topologie, en théorie de la mesure et en théorie des catégories. La forme binaire est \sqcup, comme dans A \sqcup B. \coprod est une alternative que certains auteurs préfèrent pour la même construction catégorique, alors que \bigcup seul ne dit rien de la disjonction. En théorie des domaines et en sémantique dénotationnelle, \bigsqcup désigne en revanche la borne supérieure d’un ensemble filtrant. En tant que grand opérateur, ses bornes s’empilent en mode hors texte et se placent sur le côté en ligne.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Big Square Union: $\bigsqcup$

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

Symboles associés

• Somme double\sum_{i=1}^{m} \sum_{j=1}^{n}
• Grand point cerclé\bigodot
• Somme sur un ensemble d’indices\sum_{k \in K}
• Grand produit tensoriel\bigotimes
• Grande somme directe\bigoplus
• Grande disjonction\bigvee

Questions fréquentes

Comment écrire Grande union carrée en LaTeX ?

Tapez \bigsqcup en mode mathématique, par exemple $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \bigsqcup ?

Aucun. \bigsqcup fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \bigsqcup en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\bigsqcup$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⨆ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).