Note 1 to entry: The equivalence of variables a and b is noted a ≡ b (U+2261); other notations are also used like a ↔ b (U+2194) and a ⇔ b (U+21D4).
Note 1 à l’article: L’équivalence logique des variables a et b est notée a ≡ b (U+2261); d’autres notations sont aussi utilisées, comme a ↔ b (U+2194) et a ⇔ b (U+21D4).