合同記号
左辺と右辺の命題もしくは論理式が同値であることを表す。E・H・ムーアや、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルが、1910年に使用した。
他に、「=」(等号)、「⇔」(二重左右矢印)、「⟺」(長い二重左右矢印)、「↔」(一重左右矢印)、「⇌」(右向きと左向きの半分の矢印を上下に重ねたもの)も使う。
たとえば:
P ≡ Q {\displaystyle P\equiv Q}
P = Q {\displaystyle P=Q}
P ⇔ Q {\displaystyle P\Leftrightarrow Q}
P ⟺ Q {\displaystyle P\Longleftrightarrow Q}
P ↔ Q {\displaystyle P\leftrightarrow Q}
P ⇌ Q {\displaystyle P\rightleftharpoons Q}
はいずれも、「P と Q が同値である」ことを意味する。