Symbols:Symbolic Logic/Biconditional/Deprecated Symbols/Identity
Jump to navigation
Jump to search
Biconditional
- $\equiv$
An alternative to $P \equiv Q$.
The $\LaTeX$ code for \(P \equiv Q\) is P \equiv 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