Vel (symbol)

Vel (∨) (vel is "or" in Latin) is a symbol used to represent:

• Logical disjunction in propositional logic
• Join in lattice theory

It was used by Russell and Whitehead in Principia Mathematica. In Unicode the symbol is encoded U+2228 ∨ logical or (HTML: ∨ ∨) and by \vee and \lor in TeX. The opposite symbol (∧) is \wedge or \land in TeX.

See also

• List of mathematical symbols
• List of logic symbols