Большое квадратное объединение в LaTeX (\bigsqcup)

Где используется

Большая квадратная чаша, обозначающая дизъюнктное объединение индексированного семейства множеств.

Запись X = \bigsqcup_{i \in I} X_i сообщает одновременно, что это объединение и что части попарно не пересекаются; такое соглашение распространено в топологии, теории меры и теории категорий. Бинарная форма — \sqcup, как в A \sqcup B. Для той же категорной конструкции некоторые авторы предпочитают \coprod, тогда как \bigcup сам по себе ничего не говорит о непересекаемости. В теории доменов и денотационной семантике \bigsqcup обозначает точную верхнюю грань направленного множества. Как большой оператор, он ставит пределы друг над другом в выключных формулах и сбоку в строчных.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Двойная сумма\sum_{i=1}^{m} \sum_{j=1}^{n}
• Большая точка в круге\bigodot
• Сумма по множеству индексов\sum_{k \in K}
• Большое тензорное произведение\bigotimes
• Большая прямая сумма\bigoplus
• Большая дизъюнкция\bigvee

Частые вопросы

Как написать «Большое квадратное объединение» в LaTeX?

Наберите \bigsqcup в математическом режиме, например $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для \bigsqcup?

Никакой. \bigsqcup входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать \bigsqcup в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\bigsqcup$. Если нужен только сам знак в тексте, вставьте символ Unicode ⨆ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).