Logic symbols in LaTeX

15 commands, each with the package it needs

Symbol reference, latexci

Abstract

Quantifiers, connectives and turnstiles. The quantifiers and connectives are built in; \nexists, \therefore and \vDash need amssymb. Table 1 lists every symbol of the category with its rendered glyph, the command to type and the package to load; each name links to a page with a worked example, and 1 of them to a note comparing the commands that compile.

1The symbols

Glyph	Command	Package	Page
$\forall$	`\forall`	none	For all
$\exists$	`\exists`	none	Exists
$\nexists$	`\nexists`	`amssymb`	Nexists
$\neg$	`\neg`	none	Neg
$\land$	`\land`	none	Land
$\lor$	`\lor`	none	Lor
$\top$	`\top`	none	Top
$\bot$	`\bot`	none	Bot
$\therefore$	`\therefore`	`amssymb`	Therefore
$\because$	`\because`	`amssymb`	Because
$\lozenge$	`\lozenge`	`amssymb`	Lozenge
$\square$	`\square`	`amssymb`	Square
⫤	`\Dashv`	`fdsymbol`	Dashv
$\vDash$	`\vDash`	`amssymb`	Double turnstile
$\Vdash$	`\Vdash`	`amssymb`	Forces symbol

Table 1. Logic symbols in LaTeX: glyph, command, package (none means built into LaTeX) and the page for each symbol. Commands go inside math mode unless the page says otherwise.

2Other categories

The same table exists for every family of symbols. To find one by name or by pasting the character, use the symbol search.

Abstract

1The symbols

Glyph	Command	Package	Page
$\forall$	`\forall`	none	For all
$\exists$	`\exists`	none	Exists
$\nexists$	`\nexists`	`amssymb`	Nexists
$\neg$	`\neg`	none	Neg
$\land$	`\land`	none	Land
$\lor$	`\lor`	none	Lor
$\top$	`\top`	none	Top
$\bot$	`\bot`	none	Bot
$\therefore$	`\therefore`	`amssymb`	Therefore
$\because$	`\because`	`amssymb`	Because
$\lozenge$	`\lozenge`	`amssymb`	Lozenge
$\square$	`\square`	`amssymb`	Square
⫤	`\Dashv`	`fdsymbol`	Dashv
$\vDash$	`\vDash`	`amssymb`	Double turnstile
$\Vdash$	`\Vdash`	`amssymb`	Forces symbol

Table 1. Logic symbols in LaTeX: glyph, command, package (none means built into LaTeX) and the page for each symbol. Commands go inside math mode unless the page says otherwise.