From Wikipedia, the free encyclopedia

Usage

This template is intended to provide easy access to the " " symbol, indicating set membership: "is an element of".

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
  • For the template used to denote a text source written in another language, see {{ in lang}}