⋁
Math Operator 190
- Unicode
- U+22C1
- Category
- Math
- HTML Entity
- ⋁
- CSS
- \22C1
The ⋁ (N-ary Logical Or) symbol is a mathematical operator used to represent the logical disjunction (OR) of multiple statements or propositions. Similar to how the sigma symbol (∑) represents a sum, this enlarged "V" shape indicates an iterated "OR" operation across a set of conditions. It is primarily used in formal logic, set theory, and computer science documentation.
How to Type
- Windows
- Type 22C1 then press Alt+X in Microsoft Word, or Win+. and search
- macOS
- Control+Command+Space then search "n-ary logical or"
- Linux
- Ctrl+Shift+U then 22c1
- HTML
- ⋁ or ⋁
In Programming
In LaTeX, this symbol is typed using \bigvee to format large mathematical equations. It is frequently used in boolean algebra algorithms and formal logic proofs to denote a generalized "OR" operation across an array of values.
Tags
LaTeX bigvee
big vee
big vee symbol
boolean or
computer science logic
disjunction
formal logic
iterated or
logic
logical disjunction symbol
math logic operator
mathematics
n-ary logical or
n-ary or
set theory or