Template:Models

${\displaystyle \models }$

Template documentation

Double turnstile

See also

• v
• t
• e

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

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

Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.