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