⇐ (leftwards double arrow)
The logical reverse implication operator.
Syntax

p ⇐ q

p
andq
are booleans

Description
⇐
is the logical reverse implication operator. The truth table for ⇐
is as follows:
qp

false  true 

false  true  true 
true  false  true 
⇐
is a binary operator implemented by the ImpliesLeft
function.
Notes
⇐
does NOT perform boolean shortcircuit evaluation.
The value of p ⇐ q
is equal to the value of ¬q ∨ p
, but the latter expression is evaluated using boolean shortcircuit evaluation.
See also

Logical operators (list)