合同の ≡ と ≅
Congruence sign
図形の合同は ≅ を使う。≡ は CK-12 Geometry（2.10 Negative Statements）と Levin では論理の同値や整数の合同式の記号になる。
日本
合同は ≡ で書く（中学校学習指導要領〔用語・記号〕中2: ≡。解説も △AOC ≡ △BOD の形で書く）。
米国
図形の合同は ≅ で書く（CK-12 Geometry で 414 回、IM Geometry で 93 回）。≡ は CK-12 Geometry（2.10 Negative Statements）が論理の同値（equivalent）の記号に使い、Levin は論理的に同値（P ≡ Q）と整数の合同式（8 ≡ 23 (mod 5)）に使う。