☰

部屋の中の象に対処するために、なぜ $\cong$ と $\equiv$ の書き方が逆になっているのでしょうか?

tag-icon • tag-icon tex-general
部屋の中の象に対処するために、なぜ $\cong$ と $\equiv$ の書き方が逆になっているのでしょうか?

私はここ 10 年間、LaTeX を使用していますが、$\equiv$表示されるシンボルが通常合同シンボルと呼ばれる場合、なぜ「equiv」と書くのか、また表示されるシンボルが同型$\cong$(私の意見では同値に非常に近い) の場合、なぜ「cong」と書くのか、ずっと疑問に思っていました。

きっと何か良い理由があるのでしょうが、その理由が何なのかずっと疑問に思っていました。誰か知っていますか?

ここに画像の説明を入力してください

\documentclass{article}

\begin{document}

$ A \cong  b \equiv C$

\end{document}

答え1

象は見えません。私は非常に注意深く観察したと断言します。

答え2

どちらも可能だと思われます。合同性に関するウィキペディア幾何学において（強調はすべて私によるもの）

一般的に使用される記号合同は、上にチルダが付いた等号記号 ≅ であり、Unicode 文字「ほぼ等しい」(U+2245) に相当します。英国では、3 本線等号 ≡ (U+2261) が使用されることもあります。

そして≡について:

身元
三重バー記号≡（U+2261、LaTeX \equiv）は、同一性、定義（U+225D ≝ EQUAL TO BY DEFINITIONまたはU+2254 ≔ COLON EQUALSでも表される）、または合同モジュラー算術における関係。

そしてさらに遠く:

三重バーまたは三重バー（≡）は、文脈に応じて複数の意味を持つ記号であり、等価2つの異なるものの結合。主に数学と論理学で使われる。...
≡
は、論理的という高レベルのメタ論理的概念を表すのに使われる。等価、それによれば、2つの式は、すべてのモデルが同じ値を与える場合、論理的に同等である
...
数論では、カール・フリードリヒ・ガウス（1801年にこの意味で最初に使用した）からモジュラーを意味するために使用されました。合同: Nがa − bを割り切る場合、a ≡ b ( mod N )

とにかく、LaTeX の名前が気に入らない場合は、コメントで述べたように変更できます。いずれにしても、これはサイトの話題から外れています :)

関連情報