Template:Eqv
Revision as of 01:41, 28 April 2017 by imported>Cedar101 (rm <big>)
<math>\leftrightarrow</math>
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}} | ∈ | Being an element |
Template | Symbol/ result |
Term with wikilink |
---|---|---|
{{Models}} | Template:Models | Double turnstile |
{{Nand}} | Template:Nand | Sheffer stroke |
{{Nor-}} | Template:Nor- | Logical NOR |
{{Not}} | Template:Not | Negation |
{{Or-}} | Template:Or- | Logical disjunction |
{{Tee}} | Template:Tee | Turnstile (symbol) |
{{True}} | Template:True | Logical truth |
{{Xor}} | Template:Xor | Exclusive disjunction |