Template:Ident

$\equiv$

If and only if

See also

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}}	$\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