Gran unión cuadrada en LaTeX (\bigsqcup)

Dónde se usa

Copa cuadrada grande que denota la unión disjunta de una familia indexada de conjuntos.

Escribir X = \bigsqcup_{i \in I} X_i indica a la vez una unión y que las piezas son disjuntas dos a dos, una convención habitual en topología, teoría de la medida y teoría de categorías. La forma binaria es \sqcup, como en A \sqcup B. \coprod es una alternativa que algunos autores prefieren para la misma construcción categórica, mientras que \bigcup por sí solo no dice nada sobre la disjunción. En teoría de dominios y semántica denotacional, \bigsqcup denota en cambio la mínima cota superior de un conjunto dirigido. Como operador grande, sus límites se apilan en las fórmulas destacadas y quedan a un lado en línea.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo 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}

Símbolos relacionados

• Suma doble\sum_{i=1}^{m} \sum_{j=1}^{n}
• Gran punto en círculo\bigodot
• Suma sobre un conjunto de índices\sum_{k \in K}
• Gran producto tensorial\bigotimes
• Gran suma directa\bigoplus
• Gran disyunción\bigvee

Preguntas frecuentes

¿Cómo escribo Gran unión cuadrada en LaTeX?

Escribe \bigsqcup en modo matemático, por ejemplo $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \bigsqcup?

Ninguno. \bigsqcup forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \bigsqcup en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\bigsqcup$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⨆ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).