Symbols:Symbolic Logic/Biconditional/Deprecated Symbols/Double Arrow
Jump to navigation
Jump to search
Biconditional
- $\leftrightarrow$
An alternative to $P \iff Q$.
The $\LaTeX$ code for \(P \leftrightarrow Q\) is P \leftrightarrow Q .
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): biconditional (in logic)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): biconditional (in logic)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Appendix: Table $7$: Common signs and symbols: equivalence