Logic Notations is a set of symbols which is commonly used to express logical representation.
For example, not A is represented as –
So, let’s see the latex code of Logic Notations one by one.
Logic Operators and their Latex Code –
|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|
|8. and (logical and)||\land|
|10. right implication||\Rightarrow|
|11. is implied by (only if)||\Longleftarrow|
|12. left implication||\Leftarrow|
|13. if and only if, iff||\iff|
Attention reader! Don’t stop learning now. Get hold of all the important CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.
If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to firstname.lastname@example.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.
Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.