$\forall$

Universal quantifier

See also

Template	Symbol/ result	Term with wikilink
((All))	$\forall$	Universal quantifier
((And))	$\wedge$	Logical conjunction
((Eqv))	$\leftrightarrow$	Logical equivalence
((Exist))	$\exists$	Existential quantifier
((False))	$\bot$	False (logic)
((Ident))	$\equiv$	If and only if
((Imp))	$\to$	Material conditional
((In))	$\in$	Being an element

Template	Symbol/ result	Term with wikilink
((Models))	$\models$	Double turnstile
((Nand))	$\uparrow$	Sheffer stroke
((Nor-))	$\downarrow$	Logical NOR
((Not))	$\neg$	Negation
((Or-))	$\lor$	Logical disjunction
((Tee))	$\vdash$	Turnstile (symbol)
((True))	$\top$	Logical truth
((Xor))	$\nleftrightarrow$	Exclusive disjunction

Category