${\displaystyle \leftrightarrow }$

Logical equivalence

See also

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