Implies symbol.
10233
\implies
The boolean operator for implication is denoted using a double arrow pointing to the right.