Implies Notation

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