⇔ (left right double arrow)

The logical equivalence operator.

Syntax

• p ⇔ q

  • p and q are booleans

Description

⇔ is the logical equivalence operator. The truth table for ⇔ is as follows:

⇔ is a binary operator implemented by the equivalent function.

Notes

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.

See also

• Logical operators (list)