N-ary Logical Or Symbol
⋁ denotes an N-ary logical OR meaning at least one condition is true.
U+22C1
The symbol ⋁ is commonly used in formal logic and mathematics to represent a logical OR over multiple values (N-ary). It’s handy when you want to combine several conditions into a single statement. You can copy it directly, or use its Unicode/HTML/CSS/JavaScript escapes.
N-ary Logical Or Symbol Meaning
⋁ is the Unicode symbol named “N-ary Logical OR” (U+22C1). In logic, it expresses a disjunction across more than two operands: the overall statement is true when at least one of the included conditions is true. Unlike a binary OR that combines two terms, N-ary OR is often used to emphasize “OR across a set” in math writing, proofs, and formal specifications. In practice, you may see it in textbooks, typeset equations, and technical documentation where multiple predicates are grouped and combined with a single OR operator.
Common uses
- •Writing formal logic statements that combine many conditions with OR
- •Specifying query or rule logic in documentation (e.g., “match any of these”)
- •Annotating logic in math notes, proofs, and lecture slides
- •Creating truth tables or logical expressions for education and training
- •Using consistent notation in programming-related documentation and specs
Examples
⋁ Logical OR (N-ary)
- ⋁A ⋁ B ⋁ C is true if any of A, B, or C is true.
- ⋁p(x) ⋁ q(x) denotes that at least one predicate holds.
- ⋁Use r₁ ⋁ r₂ ⋁ r₃ to model “any rule matches.”
- ⋁In a proof, S = S₁ ⋁ S₂ ⋁ S₃ groups multiple cases.
- ⋁The condition (x>0) ⋁ (x=0) covers non-negative inputs.
Variations
Ready to copy
Technical codes
| Unicode | U+22C1 | |
| HTML Entity | ⋁ | |
| HTML Code | ⋁ | |
| CSS | \22C1 |
FAQ
What does ⋁ mean?
⋁ means N-ary logical OR: a statement is true when at least one of its operands is true.
Is ⋁ the same as the normal OR symbol?
It represents OR as well, but it’s specifically used as an N-ary operator to combine multiple operands at once.
What is the Unicode code point for ⋁?
The symbol ⋁ is Unicode U+22C1.
How can I copy ⋁ into HTML or code?
Use the HTML entity ⋁, the CSS escape \\22C1, or the JavaScript escape \\u{22C1}.