![解决房间里的大象问题,为什么要颠倒 $\cong$ 和 $\equiv$ 的写法?](https://linux22.com/image/472880/%E8%A7%A3%E5%86%B3%E6%88%BF%E9%97%B4%E9%87%8C%E7%9A%84%E5%A4%A7%E8%B1%A1%E9%97%AE%E9%A2%98%EF%BC%8C%E4%B8%BA%E4%BB%80%E4%B9%88%E8%A6%81%E9%A2%A0%E5%80%92%20%24%5Ccong%24%20%E5%92%8C%20%24%5Cequiv%24%20%E7%9A%84%E5%86%99%E6%B3%95%EF%BC%9F.png)
答案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 中的名称,那么您可以更改它们,如评论中所述。而且这对网站来说无论如何都是题外话 :)