Vel (symbol)

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

• Logical disjunction in propositional logic
• Join in lattice theory
• Wedge sum in topology

It was used by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (HTML ∨ · ∨) and by \vee and \lor in TeX. The opposite symbol (∧) is called a wedge.

See also

• Wedge (symbol)
• List of mathematical symbols
• List of logic symbols