Template:Eqv

<math>\leftrightarrow</math>

Logical equivalence

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