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

Related Symbols