Symbols:Symbolic Logic/Implication/Deprecated Symbols/Hook

Implication

$\supset$

Implies.

An alternative to $P \implies Q$.

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

Also known as

The hook symbol $\supset$ is also known as the horseshoe.

Sources

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