⇔ (left right double arrow)
The logical equivalence operator.
p ⇔ q
⇔ is the logical equivalence operator. The truth table for
⇔ is as follows:
⇔ is a binary operator implemented by the
For booleans, the value of
p ⇔ q is equal to the value of
p = q, but the latter expression is also defined for non-boolean objects.
Logical operators (list)