Symbols:Symbolic Logic/Implication

Implication

 * $\implies$

Implies.

A binary operation on two propositions.

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