厳密に同値

この横線4本の記号は、定義された関係における厳密な同値を表します。 どの関係なのかは著者の定義で決まり、横線だけでは特定できません。

横線3本の≡は別の記号です。ガウスは1801年に、数の合同を表すためにこれを使いました。これは、同じ整数で割ったときに余りが等しいことを指します。この歴史は横線3本の記号についてのもので、≣の登場時期や両者の共通の起源を示すものではありません。

定義で必要な場合にだけ≣を使う

≣は、使われている文章や数学分野の定義に従う記法として扱いましょう。論文や教科書の式では著者の定義を確認し、自分で書くときは採用する約束でこの記号が必要な場合に使います。