U+22C1 "⋁" N-Ary Logical Or Unicode Character

U+22C1 "⋁" N-Ary Logical Or is a mathematical symbol used to represent the logical disjunction, or OR operation, over a collection of multiple operands, functioning as a large operator similar to how Σ (sigma) denotes summation or Π (pi) denotes product. In formal logic and discrete mathematics, it indicates that at least one of the conditions in a set or sequence is true, and it is often placed above an indexed variable to express a compound statement like "x₁ OR x₂ OR ... OR xₙ". This symbol appears in fields such as Boolean algebra, lattice theory, and computer science, where it simplifies notation for iterated logical operations.