Grande união quadrada em LaTeX (\bigsqcup)

Onde é usado

Grande taça quadrada, que denota a união disjunta de uma família indexada de conjuntos.

Escrever X = \bigsqcup_{i \in I} X_i indica ao mesmo tempo uma união e que as partes são duas a duas disjuntas, convenção comum em topologia, teoria da medida e teoria das categorias. A forma binária é \sqcup, como em A \sqcup B. \coprod é uma alternativa que alguns autores preferem para a mesma construção categórica, enquanto \bigcup sozinho não diz nada sobre disjunção. Em teoria dos domínios e semântica denotacional, \bigsqcup denota, em vez disso, o supremo de um conjunto dirigido. Como operador grande, seus limites se empilham em modo de exibição e ficam ao lado no texto corrido.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com 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}

Símbolos relacionados

• Somatório duplo\sum_{i=1}^{m} \sum_{j=1}^{n}
• Grande ponto circulado\bigodot
• Somatório sobre um conjunto de índices\sum_{k \in K}
• Grande produto tensorial\bigotimes
• Grande soma direta\bigoplus
• Grande disjunção\bigvee

Perguntas frequentes

Como escrever Grande união quadrada em LaTeX?

Digite \bigsqcup no modo matemático, por exemplo $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \bigsqcup?

Nenhum. \bigsqcup faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \bigsqcup no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\bigsqcup$. Se você só precisa do glifo no texto, cole o caractere Unicode ⨆ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).