From Wiktionary, the free dictionary
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]