Symbols:Symbolic Logic/Deprecated Symbols/Implication

Implication

 * $\to$

Implies.

A binary operation on two propositions.

$P \to Q$ means if $P$ is true, then $Q$ is true.

An alternative to $P \implies Q$, which is what is generally used nowadays by logicians.