IMPLY gate

The IMPLY gate is a digital logic gate that implements a logical conditional.
Symbols.
There are two symbols for IMPLY gates: the traditional symbol and the IEEE symbol. For more information see Logic Gate Symbols.
The logic symbol → can be used to denote IMPLY in algebraic expressions.