Template:Eqv

[math]\displaystyle{ \leftrightarrow }[/math]

Logical equivalence

See also

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

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