LaTeX 中的融合积符号（\amalg）

用途

融合运算符，用于表示不交并和余积。

范畴论和拓扑学用 X \amalg Y 表示余积或不交并，群论则用 G \ast_H K 表示融合自由积，有些教材中也用 \amalg。\amalg 是二元运算符。需要带上下限的指标形式时，请使用大型运算符 \coprod_{i \in I} X_i，它外观相同，但在行间公式中会放大。表示不交并的其他写法有 \sqcup 和 \bigsqcup，它们形状更扁平，在集合论中更常见。

最小可编译示例

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

\documentclass{article}
\begin{document}
Amalgamation: $\amalg$

\[ \pi_0(X \amalg Y) = \pi_0(X) \amalg \pi_0(Y) \]
\end{document}

相关符号

• 剑号\dagger
• 交集符号\cap
• 双剑号\ddagger
• 并集符号\cup
• 圈积符号\wr
• 析取符号\vee

常见问题

如何在 LaTeX 中输入融合积符号？

在数学模式中输入 \amalg，例如 $\pi_0(X \amalg Y) = \pi_0(X) \amalg \pi_0(Y)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\amalg 需要哪个宏包？

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

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

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