See also
| Template | Symbol/ result |
Term with wikilink |
|---|---|---|
| {{All}} | Universal quantifier | |
| {{And}} | Logical conjunction | |
| {{Eqv}} | Logical equivalence | |
| {{Exist}} | Existential quantifier | |
| {{False}} | False (logic) | |
| {{Ident}} | If and only if | |
| {{Imp}} | Material conditional | |
| {{In}} | Being an element |
| Template | Symbol/ result |
Term with wikilink |
|---|---|---|
| {{Models}} | Double turnstile | |
| {{Nand}} | Sheffer stroke | |
| {{Nor-}} | Logical NOR | |
| {{Not}} | Negation | |
| {{Or-}} | Logical disjunction | |
| {{Tee}} | Turnstile (symbol) | |
| {{True}} | Logical truth | |
| {{Xor}} | Exclusive disjunction |