From Wiktionary, the free dictionary
Archived revision by ToilBot (talk | contribs) as of 06:51, 13 July 2020.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
U+22C1, ⋁
N-ARY LOGICAL OR

[U+22C0]
Mathematical Operators
[U+22C2]

Translingual

[edit]

Symbol

[edit]

  1. (logic, algebra) the n-ary disjunction or join operator
  2. (logic) the existential quantifier
  3. (music) the upbow symbol

Synonyms

[edit]
  • (existential quantifier):
[edit]