# List of logic symbols in LaTeX

In LaTeX, logic symbols are used to represent the various logical operations and mathematical concepts. These symbols plays a very important role in expressing the logical statements, relationships.

The most commonly used logic symbols in LaTeX are given below.

Symbol | LaTeX Command | Description |
---|---|---|

∃ | \exists | there exists at least one |

∃! | \exists! | there exists one and only one |

∄ | \nexists | there is no |

∀ | \forall | for all |

¬ | \neg | not (logical not) |

∨ | \lor | or (logical or) |

∧ | \land | and (logical and) |

⟹ | \Longrightarrow or \implies | implies |

⇒ | \Rightarrow | (preferred for right implication) |

⟸ | \Longleftarrow | is implied by (only if) |

⇐ | \Leftarrow | (preferred for left implication) |

⟺ | \iff | is equivalent to (if and only if, iff) |

⇔ | \Leftrightarrow | (preferred for equivalence) |

⊤ | \top | |

⊥ | \bot |