⇒ (rightwards double arrow)
The logical implication operator.
Syntax

p ⇒ q

p
andq
are booleans

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

false  true 

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

Logical operators (list)