Logic Notations in LaTeX
Logic Notations
Logic Operators and their Latex Code –
TERM | SYMBOL | LATEX |
---|---|---|
1. there exists at least one | \exists | |
2. there exists one and only one | \exists! | |
3. there is no | \nexists | |
4. for all | \forall | |
5. not (logical not) | \neg | |
6. or (logical or) | \lor | |
7. division | \div | |
8. and (logical and) | \land | |
9. implies | \implies | |
10. right implication | \Rightarrow | |
11. is implied by (only if) | \Longleftarrow | |
12. left implication | \Leftarrow | |
13. if and only if, iff | \iff | |
14. equivalence | \Leftrightarrow |
Contact Us