合同記号
「≢」は、UnicodeとJIS X 0213では「not identical to」(恒等でない)、日本語では「合同否定」とも呼ばれる。
「A ≢ B」は、「A ≡ B でない」ことを意味する。たとえば:
a ≢ b mod m {\displaystyle a\not \equiv b\mod m}
は、「a と b は m を法として合同でない」すなわち「a と b の各々を m で割った余りが異なる」ことを意味する。