LaTeX 中的全等（同构）符号（\cong）

用途

等号上加波浪线，表示结构之间的同构或几何图形的全等。

代数学家用 G \cong H 表示群同构，用 V \cong V^{**} 表示有限维空间与其二次对偶同构，几何中则用 \triangle ABC \cong \triangle DEF 表示三角形全等。有些物理和工程文献用它表示“约等于”，但这时 \approx 更清楚。它不同于 \simeq（单横线，用于同伦等价或渐近相等），也不同于 \equiv（三横线）。若要标出映射，可用 \overset{\phi}{\cong} 把它放在符号上方，或使用 \xrightarrow{\sim} 这样的箭头。

也收录于: 几何, 拓扑与抽象数学

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Congruent: $\cong$

\[ \mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}/2 \times \mathbb{Z}/3 \]
\end{document}

相关符号

• 子集符号\subset
• 波浪号关系符\sim
• 子集或等于符号\subseteq
• 正比符号\propto
• 真子集符号\subsetneq
• 恒等号\equiv

常见问题

如何在 LaTeX 中输入全等（同构）符号？

在数学模式中输入 \cong，例如 $\mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}/2 \times \mathbb{Z}/3$。无需加载任何宏包即可在标准 LaTeX 中使用。

\cong 需要哪个宏包？

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

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

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