合同記号
左辺と右辺が常に等しい「恒等式」を表す。ベルンハルト・リーマンが1899年に『楕円関数論』で使用した。
たとえば:
a b ≡ b a {\displaystyle ab\equiv ba}
は「常に ab = ba である」ことを表す。
カール・フリードリヒ・ガウスは、1801年に『Disquisitiones Arithmeticae』で数の合同の記号として使用した。当時の形は
a ≡ b ( mod. m ) {\displaystyle a\equiv b\quad ({\text{mod.}}\ m)}
a ≡ b ( modo m ) {\displaystyle a\equiv b\quad ({\text{modo}}\ m)}
だった。