LaTeX 中的大合取符号（\bigwedge）

用途

大型楔形运算符，表示多个命题的合取或外幂。

在逻辑中，\bigwedge_{i=1}^{n} \varphi_i 是 n 个公式的合取，即 \wedge（也写作 \land）的 n 元形式；合取范式就是若干子句的 \bigwedge。在格论中它表示一个集合的交（meet），即下确界；在微分几何中，\bigwedge^k V 是向量空间的 k 次外幂。上下限的行为与 \sum 相同：行间时堆叠，行内时位于符号旁边。不要把它与希腊大写字母 \Lambda 混淆，有些作者用普通大小的 \Lambda 表示外幂。它的对偶运算符是 \bigvee。

最小可编译示例

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

\documentclass{article}
\begin{document}
Big Wedge: $\bigwedge$

\[ \bigwedge_{i=1}^{n} (x_i \lor \neg y_i) \]
\end{document}

相关符号

• 大析取符号\bigvee
• 带指标的大交集\bigcap_{i=1}^{n}
• 大直和符号\bigoplus
• 大交集符号\bigcap
• 大张量积符号\bigotimes
• 带指标的大并集\bigcup_{i=1}^{n}

常见问题

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

在数学模式中输入 \bigwedge，例如 $\bigwedge_{i=1}^{n} (x_i \lor \neg y_i)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\bigwedge 需要哪个宏包？

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

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

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