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 |
Template documentation
Usage
This template is for listing items in the see also sections of the items listed, templates for logic symbols.
See also