合同記号
ゴットフリート・ライプニッツは、1710年にベルリン大学のジャーナル誌であるベルリン論集(Miscellanea Berolinensia)に発表したMonitumで、「≃」(1本線の上にチルダ)を図形の合同を表す目的として使用した。
ヨハン・フリードリッヒ・ハセラー(ドイツ語版)は、1777年にAnfangsgründe der Arith., Alg., Geom. und Trigで「≌」(等号の上に逆チルダ)を使用した。
1824年にカール・モルワイデが、逆チルダをチルダに変更した「≅」(等号の上にチルダ)を使用するようになった。
合同記号(ごうどうきごう)は、元来、合同式の合同(モジュロ)を表すための記号であり、「≡」(コングルエント)が使われる。
記号「≡」は、それ以外に、以下の意味:
(幾何学的な)合同
恒等式
定義
同値
でも使われる。これらは、記号「≡」を使う以外の記法もあるので、必要に応じ、それらの記法についても述べる。
文字名称は、UnicodeとJIS X 0213では「identical to」(~に恒等である)、日本語では「常に等しい/合同」とも呼ばれる。