⇐ (leftwards double arrow)
The logical reverse implication operator.
p ⇐ q
⇐ is the logical reverse implication operator. The truth table for
⇐ is as follows:
⇐ is a binary operator implemented by the
⇐ does NOT perform boolean short-circuit evaluation.
The value of
p ⇐ q is equal to the value of
¬q ∨ p, but the latter expression is evaluated using boolean short-circuit evaluation.
Logical operators (list)