Template:Nand
Template Symbol/ result Term with wikilink
{ { All } } ∀ { \displaystyle \forall } Universal quantifier
{ { And } } ∧ { \displaystyle \wedge } Logical conjunction
{ { Eqv } } ↔ { \displaystyle \leftrightarrow } Logical equivalence
{ { Exist } } ∃ { \displaystyle \exists } Existential quantifier
{ { False } } ⊥ { \displaystyle \bot } False ( logic )
{ { Ident } } ≡ { \displaystyle \equiv } If and only if
{ { Imp } } → { \displaystyle \to } Material conditional
{ { In } } ∈ Being an element
See also
vte
N/A