合同記号（ごうどうきごう）は、元来、合同式の合同（モジュロ）を表すための記号であり、「≡」(コングルエント)が使われる。 詳細

合同式
整数論にて、合同記号の左右の整数の値を括弧内のmodで示した値で割った余りが等しいことを示す「合同式」に用いられる。 詳細

• 数学記号の表 詳細

「≢」は、UnicodeとJIS X 0213では「not identical to」（恒等でない）、日本語では「合同否定」とも呼ばれる。
「A ≢ B」は、「A ≡ B でない」ことを意味する。たとえば:
$${\displaystyle a\not \equiv b\mod m}$$
は、「a と b は m を法 … 詳細