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