LaTeX 中的大析取符号（\bigvee）

用途

大型 vee 运算符，表示多个命题的析取或格中的并（join）。

逻辑中用 \bigvee_{i=1}^{n} \varphi_i 表示 n 重析取，是 \vee（也写作 \lor）的推广；析取范式正是由若干 \bigwedge 项构成的 \bigvee。在序理论和格论中，\bigvee S 表示集合 S 的并（join），即上确界。作为大型运算符，它的上下限在行间公式中堆叠，在行内则移到旁边。不要用字母 V 或带下标的 \vee 代替它，因为它们保持小尺寸，也不会正确放置上下限。在代数拓扑中，\bigvee_{i} S^1 表示若干圆周的楔和，即把带基点空间在基点处粘合。

最小可编译示例

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

\documentclass{article}
\begin{document}
Big Vee: $\bigvee$

\[ \bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij} \]
\end{document}

相关符号

• 大直和符号\bigoplus
• 大合取符号\bigwedge
• 大张量积符号\bigotimes
• 带指标的大交集\bigcap_{i=1}^{n}
• 大圈点符号\bigodot
• 大交集符号\bigcap

常见问题

如何在 LaTeX 中输入大析取符号？

在数学模式中输入 \bigvee，例如 $\bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\bigvee 需要哪个宏包？

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

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

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