Template:All

<math>\forall</math>

Universal quantifier

See also

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

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