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
∃!	\exists!	There exists one and only one
∄	\nexists	There does not exists
∀	\forall	For all
¬	\neg	Logical not
∨	\lor	Logical or
∧	\land	Logical and
⟹	\Longrightarrow or \implies	Implies
⇒	\Rightarrow	Right implication
⟸	\Longleftarrow	is implied by (only if)
⇐	\Leftarrow	Left Implication
⟺	\iff	is equivalent to (if and only if, iff)
⇔	\Leftrightarrow	Equivalent
⊤	\top	Top
⊥	\bot	Bottom