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 `&#8744;` · `&or;`) 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

* v
* t
* e

Common logical symbols

∧ or &

and

¬ or ~

not

implies

implies,
superset

iff

nand

universal
quantification

existential
quantification

tautology

false,
contradiction

entails,
proves

entails,
therefore

therefore

because

|
|
|
|
|
|
|
|
|
|
|
|
|
|

0.00

(0 votes)

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Vel_(symbol)&oldid=226673"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template