p -> q
p then q
Implication operator. Computes the logical implication of boolean expressions p and q.
Example
p = ( 2 < 3 )
true
q = ( 4 != 5 )