∨
Logical Or
- Unicode
- U+2228
- Category
- Math
- HTML Entity
- ∨
- CSS
- \2228
The ∨ (Logical Or) symbol is a mathematical operator primarily used in formal logic and set theory to represent disjunction, meaning 'inclusive or.' It indicates that a compound statement is true if at least one of its connected components is true. While mainly found in academic texts and Boolean algebra, it occasionally appears in typography as a simple downward-pointing wedge or v-shape.
How to Type
- Windows
- Alt + 8744
- macOS
- Control + Command + Space then search 'Logical Or'
- Linux
- Ctrl + Shift + U then 2228
- HTML
- ∨ or ∨
In Programming
While practical programming languages typically rely on the double pipe (||) or the word 'or' for this operation, the ∨ symbol is heavily used in computer science theory and discrete math formulas to represent Boolean disjunction.
Tags
boolean algebra
boolean or
disjunction
formal logic
inclusive or
logic
logic symbol
logical or
mathematics
or operator
programming or
set theory
vee
vee symbol
wedge symbol
∨ symbol