Template:Logic symbol templates

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

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

Template documentation

Usage

This template is for listing items in the see also sections of the items listed, templates for logic symbols.

See also

• List of logic symbols
• Logical connectives
• Category:Logic symbol templates
• Category:Logical connectives

This template "Logic symbol templates" is from Wikipedia if otherwise notified