| dyadic Boolean operation whose result has the Boolean value 1 if and only if the operands have the same Boolean value 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).
|