Unione disgiunta grande in LaTeX (\bigsqcup)

Dove si usa

Coppa quadrata grande, che indica l'unione disgiunta di una famiglia indicizzata di insiemi.

Scrivere X = \bigsqcup_{i \in I} X_i segnala sia un'unione sia che i pezzi sono a due a due disgiunti, una convenzione diffusa in topologia, teoria della misura e teoria delle categorie. La forma binaria è \sqcup, come in A \sqcup B. \coprod è un'alternativa preferita da alcuni autori per la stessa costruzione categoriale, mentre \bigcup da solo non dice nulla sulla disgiunzione. Nella teoria dei domini e nella semantica denotazionale, \bigsqcup indica invece il minimo maggiorante di un insieme diretto. Come operatore grande, i suoi estremi si impilano in display e stanno di lato nel testo.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Sommatoria doppia\sum_{i=1}^{m} \sum_{j=1}^{n}
• Punto cerchiato grande\bigodot
• Sommatoria su un insieme di indici\sum_{k \in K}
• Prodotto tensoriale grande\bigotimes
• Somma diretta grande\bigoplus
• Disgiunzione grande\bigvee

Domande frequenti

Come si scrive Unione disgiunta grande in LaTeX?

Scrivi \bigsqcup in modalità matematica, per esempio $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \bigsqcup?

Nessuno. \bigsqcup fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \bigsqcup in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\bigsqcup$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⨆ (con XeLaTeX o LuaLaTeX e un font che lo contenga).