Symbols:Symbolic Logic/Implication/Deprecated Symbols/Arrow

Implication

$\to$

Implies:

An alternative to $P \implies Q$.

The $\LaTeX$ code for \(P \to Q\) is P \to Q .

Sources

• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Appendix: Table $7$: Common signs and symbols: implication