Template:Logic symbol templates

From WikiMD's Wellness Encyclopedia

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