Implies

The symbol $\Rightarrow$ means ``implies'' in the mathematical sense. Let $A$ be true. If this implies that $B$ is also true, then the statement is written symbolically as $A\Rightarrow B$, or sometimes $A\subset B$. If $A\Rightarrow B$ and $B\Rightarrow A$ (i.e, $A\Rightarrow B\wedge B\Rightarrow A$), then $A$ and $B$ are said to be Equivalent, a relationship which is written symbolically as $A\Leftrightarrow B$ or $A\rightleftharpoons B$.

See also Equivalent