⋁

⋁ 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): ∃

Related terms

• ⋀
• ⋃
• ∨