⋁

⋁ U+22C1, ⋁
N-ARY LOGICAL OR
← ⋀
[U+22C0] 		Mathematical Operators ⋂ →
[U+22C2]

Translingual

Symbol

⋁

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

Synonyms

  • (existential quantifier): ∃
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.