Implies Notation

ImpliesNotation

The boolean operator for implication is denoted using a double arrow pointing to the right.