unicode記号名とmathematical symbolの定義の揺れ
Unicodeの「文字の名前（定義）」は、主にその記号がコンピューター上で標準化された1990年代前半の歴史的な経緯や、タイポグラフィとしての「見た目の形」に基づいて名付けられています。
一方、数学における定義は、論理学や代数学、圏論などの各分野で発展・確立された「厳密な概念・構造関係」を表します。
そのため、両者を比較するとズレ（特に ≅ と ≡ と ⊣）が存在します。それぞれの記号について、自然言語で対比しながら解説します。
1. ≣ (U+2263)
- Unicodeの定義: STRICTLY EQUIVALENT TO (厳密に等価である)
- 数学の定義: 構文的同一性 (Syntactic identity) / 恒等的 (Identically equal)
- 【解説】
Unicodeの名前は単なる「厳密な等価」ですが、数学や計算機科学では「式の意味や値を評価・計算する以前に、記号の文字列として一字一句完全に同じである」という、文字通り最強の同一性を示します。
2. ≡ (U+2261)
- Unicodeの定義: IDENTICAL TO (同一である)
- 数学の定義: 同値 (Logical equivalence) / 合同式 (Modular congruence) / 定義
- 【解説】
Unicodeでは「同一（Identical）」という非常に強い名前がついていますが、実際の数学では「実体は違うが、特定のルール・法において同じとみなす」という同値関係によく使われます。数学的な「同一性」はむしろ上の ≣ や = が担っているため、名前に少し乖離があります。
3. = (U+003D)
- Unicodeの定義: EQUALS SIGN (等号)
- 数学の定義: 等価 (Equality)
- 【解説】
ここは完全に一致しています。数値の計算結果や、集合の要素といった「実体としての対象」が完全に等しいことを示します。
4. ≅ (U+2245)
- Unicodeの定義: APPROXIMATELY EQUAL TO (近似的に等しい)
- 数学の定義: 同型 (Isomorphism) / 幾何学的合同 (Congruence)
- 【解説】
両者の間に最大のギャップがある記号です。 Unicodeの規格上は「近似値」という名前ですが、現代の純粋数学でこの記号を「だいたい同じ」の意味で使うことはほぼありません。代数学においては「要素の中身は違うが、計算の構造や法則が完全に一致する（同型）」という、極めて厳密な状態を表すのに使われます。
5. ≃ (U+2243)
- Unicodeの定義: ASYMPTOTICALLY EQUAL TO (漸近的に等しい)
- 数学の定義: 漸近的等価 (Asymptotic equivalence) / ホモトピー同値 (Homotopy equivalence)
- 【解説】
Unicodeの名前の通り、解析学では「無限の彼方へと極限をとったときに比が1に近づく（漸近）」という意味で使われます。一方で位相幾何学（トポロジー）においては、「空間を切ったり貼ったりせずに連続変形して移り合える」という空間の等価性（ホモトピー）を示すためにも使われます。
6. ≈ (U+2248)
- Unicodeの定義: ALMOST EQUAL TO (ほとんど等しい)
- 数学の定義: 近似値 (Approximation)
- 【解説】
日本では ≒ が一般的ですが、国際的な数学標準における「近似」はこの記号です。Unicodeの名前と数学での用途が素直に一致しています。「実体も構造も違うが、許容される誤差の範囲内でだいたい同じ」という最弱の等価性です。
7. ≠ (U+2260)
- Unicodeの定義: NOT EQUAL TO (等しくない)
- 数学の定義: 非等価 (Inequality)
- 【解説】
これも完全に一致しています。純粋な = の論理的否定です。
8. ⊣ (U+22A3)
- Unicodeの定義: LEFT TACK (左タック / 左鋲)
- 数学の定義: 左随伴 (Left adjoint)
- 【解説】
Unicodeは単に「画鋲（Tack）が左を向いている形」という見た目だけで命名しています。一方、数学（圏論）においては、全く異なる2つの数学的構造を行き来する「最も自然な翻訳ルールのペア（随伴関係）」を示す、非常に美しく高度な記号です。等価性（＝）すら成り立たない世界同士を繋ぐ架け橋のような存在を表します。
まとめ
このように比較すると、Unicodeの定義が「文字コードを登録した当時の一般的な名称や、タイポグラフィ（見た目）」に依存しているのに対し、数学の定義は「各分野の発展の中でその記号が担うことになった、概念としての役割」を表していることがよくわかります。
特に ≅（同型）を Unicode が “Approximately” と呼んでいることや、高度な圏論の記号 ⊣ を単なる “Left Tack（左向きの鋲）” と名付けている部分は、ITの標準化と純粋数学の発展が別の道を歩んできたことを示す面白い証拠と言えます。