LaTeX 中的包含元素符号（\ni）

用途

反向的属于关系：左边的集合包含右边的元素。

A \ni x 与 x \in A 意思相同，只是集合在前，这在“邻域 U \ni x”这类说法中读起来很自然。较早的文献和一些逻辑学家也用 \ni 表示“使得”，不过现在标准写法是 \mid 或冒号。\owns 是 \ni 的别名。用 \not\ni 表示其否定。不要把它与字母 epsilon 或手工翻转的 \in 混淆；\ni 是带有相应间距的正规关系符。

也收录于: 量词

最小可编译示例

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Contains: $\ni$

\[ U \ni x \implies f(U) \ni f(x) \]
\end{document}

相关符号

• 子集符号\subset
• 不属于符号\notin
• 子集或等于符号\subseteq
• 属于符号\in
• 非子集符号\not\subset
• 空集（变体）\varnothing

常见问题

如何在 LaTeX 中输入包含元素符号？

在数学模式中输入 \ni，例如 $U \ni x \implies f(U) \ni f(x)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\ni 需要哪个宏包？

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

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

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