LaTeX 中的圆圈减号（\ominus）

用途

圆圈中带减号的符号，用于表示空间内的正交补以及某些差类运算。

在希尔伯特空间理论中，H \ominus K 表示闭子空间 K 在 H 中的正交补，与 \oplus 相对应。形态学图像处理用 A \ominus B 表示腐蚀运算，一些集合论教材也用它表示对称差，不过那里更常用 \triangle。它是二元运算符，因此间距会自动处理。由于其含义因领域而异，请在论文中先给出定义。它没有标准的大型运算符版本。用作对称差时，A \ominus B 等于 (A \setminus B) \cup (B \setminus A)。

最小可编译示例

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

\documentclass{article}
\begin{document}
Circle Minus: $\ominus$

\[ H = K \oplus (H \ominus K) \]
\end{document}

相关符号

• 圆圈斜线\oslash
• 圆圈点\odot
• 星号运算符\star
• 张量积符号\otimes
• 星号\ast
• 直和符号\oplus

常见问题

如何在 LaTeX 中输入圆圈减号？

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

\ominus 需要哪个宏包？

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

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

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