Logic Notations in LaTeX

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