LaTeX 中的大直和符号（\bigoplus）

用途

大型带圈加号，表示一族空间或模的直和。

可对角化算子把其空间分解为特征子空间，V = \bigoplus_{\lambda} E_\lambda；分次环写作 \bigoplus_{n \ge 0} R_n。\oplus 是用于两个直和项的二元形式，如 U \oplus W。在计算机科学和密码学中，\bigoplus_{i} x_i 常表示多个比特的异或（XOR），沿用同一个字形。在行间样式中上下限像 \sum 一样堆叠。注意无穷多个模的直和不同于直积 \prod，后者允许无穷多个非零分量，因此请选择与你的构造相符的运算符。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\begin{document}
Big Direct Sum: $\bigoplus$

\[ V = \bigoplus_{i=1}^{k} \ker(A - \lambda_i I) \]
\end{document}

相关符号

• 大张量积符号\bigotimes
• 大析取符号\bigvee
• 大圈点符号\bigodot
• 大合取符号\bigwedge
• 大方形并符号\bigsqcup
• 带指标的大交集\bigcap_{i=1}^{n}

常见问题

如何在 LaTeX 中输入大直和符号？

在数学模式中输入 \bigoplus，例如 $V = \bigoplus_{i=1}^{k} \ker(A - \lambda_i I)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\bigoplus 需要哪个宏包？

不需要。\bigoplus 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\bigoplus 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\bigoplus$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⨁（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。