Symbols:Symbolic Logic/Implication/Deprecated Symbols
Jump to navigation
Jump to search
Implication
Arrow
- $\to$
An alternative to $P \implies Q$.
The $\LaTeX$ code for \(P \to Q\) is P \to Q .
Hook
- $\supset$
An alternative to $P \implies Q$.
The $\LaTeX$ code for \(P \supset Q\) is P \supset Q .