The IMPLY gate is an informal digital logic gate that implements a logical conditional.
IMPLY can be denoted in algebraic expressions with the logic symbol right-facing arrow (→). Logically, it is equivalent to material implication, and the logical expression ¬A v B.
There are two symbols for IMPLY gates: the traditional symbol and the IEEE symbol. For more information see Logic gate symbols.
While the Implication gate isn't functionally complete by itself, it is in conjunction with the constant 0 source. This can be shown via the following:
\begin{align} A → 0&:=\negA\\ (A → 0) → B&=\neg(\negA)\lorB\\ &=A\lorB. \end{align}
Thus as the implication gate with the addition of the constant 0 source can create both the NOT gate and the OR gate, it can create the NOR gate, which is a universal gate.