Wedge (symbol)

Short description: Mathematical operation symbol (∧)

Wedge (symbol)

In Unicode| U+2227 ∧ LOGICAL AND (HTML `&#8743;` · `&and;`)
Related
See also| U+2228 ∨ LOGICAL OR (HTML `&#8744;` · `&or;`)

Wedge (∧) is a symbol that looks similar to an in-line caret (^). It is used to represent various operations. In Unicode, the symbol is encoded U+2227 ∧ LOGICAL AND (HTML `&#8743;` · `&and;`) and by `\wedge` and `\land` in TeX. The opposite symbol (∨) is called a vel, or sometimes a (descending) wedge. Some authors who call the descending wedge vel often call the ascending wedge ac (the corresponding Latin word for "and", also spelled "atque"), keeping their usage parallel

## Use

Wedge is used to represent various operations:

* Logical conjunction in propositional logic and first-order logic[1]
* Meet in lattice theory
* Exterior product or wedge product in differential geometry

## See also

* Turned v
* Vel (symbol)
* List of mathematical symbols
* List of logic symbols
* Wedge (disambiguation)
* /\ (disambiguation)

## References

1. ↑ "2.2: Conjunctions and Disjunctions" (in en). 2019-08-13. https://math.libretexts.org/Courses/Monroe_Community_College/MTH_220_Discrete_Math/2:_Logic/2.2:_Conjunctions_and_Disjunctions.

* 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)

Original source: https://en.wikipedia.org/wiki/Wedge (symbol). Read more

|

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