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 以及包含该字形的字体）。