Implies Operator (Solver Foundation)
Returns true if the first argument is false, the second argument is true, or both.
Implies[a, b]
a -: b
Example
Implies[x != 0, y >= 0]
x != 0 -: y >= 0
This operator must have exactly two arguments.