**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 –**

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 |

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.

## Recommended Posts:

- Geometry Notations in LaTeX
- Set Notations in LaTeX
- Greek Letters in LaTeX
- Maths Commands in LaTeX
- Brackets in Latex
- Relational Operators in LaTeX
- Trigonometric Functions in Latex
- Arrow Symbols in LaTeX
- Fonts in LaTeX
- Mathematical operator symbols in LaTeX
- Binary operation symbols in LaTeX
- Equality and Inference symbols in LaTeX
- Inequalities in LaTeX
- Accents in LaTeX
- Directional symbols in LaTeX
- Miscellaneous symbols in LaTeX
- Constructions in LaTeX
- Delimiters in LaTeX
- Mathematics | Introduction to Propositional Logic | Set 1
- Mathematics | Introduction to Propositional Logic | Set 2

If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.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.