☰

解决房间里的大象问题，为什么要颠倒 $\cong$ 和 $\equiv$ 的写法？

tag-icon • tag-icon tex-general
解决房间里的大象问题，为什么要颠倒 $\cong$ 和 $\equiv$ 的写法？

我使用 latex 已经 10 年了，我一直很想知道为什么$\equiv$如果出现的符号通常被称为全等符号，我们却要写“equiv”，而当$\cong$出现的符号是同构符号时，我们却要写“cong”，而在我看来，同构更接近于等价。

我确信这有一个很好的理由，但我一直想知道这个理由是什么。有人知道吗？

在此处输入图片描述

\documentclass{article}

\begin{document}

$ A \cong  b \equiv C$

\end{document}

答案1

我没有看到大象，而且我向你保证我看得很仔细。

答案2

两种情况似乎都有可能。维基百科关于一致性在几何学中（以下所有重点都是我的）：

通常用于一致是一个等号，上面有一个波浪符号 ≅，对应于 Unicode 字符“大约等于”（U+2245）。在英国，有时使用三条线等号 ≡（U+2261）。

和关于 ≡：

身份
三条杠符号 ≡ (U+2261，LaTeX \equiv) 通常用于表示身份、定义（也可以用 U+225D ≝ EQUAL TO BY DEFINITION 或 U+2254 ≔ COLON EQUALS 表示），或一致模运算中的关系。

和更远：

三条杠 ≡ 是一个具有多重、上下文相关含义的符号，表示等价两种不同的东西。它的主要用途是数学和逻辑。...
≡
用于逻辑的高级元逻辑概念等价根据该定义，当所有模型赋予两个公式相同的值时，它们在逻辑上是等价的
……
在数论中，它从卡尔·弗里德里希·高斯（1801 年首次使用这个含义）开始被用来表示模一致：如果 N 能整除 a − b，则 a ≡ b ( mod N )

无论如何，如果您不喜欢 LaTeX 中的名称，那么您可以更改它们，如评论中所述。而且这对网站来说无论如何都是题外话 :)

相关内容