Wedge (symbol)

Logic symbol resembling an inverted "V"

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Wedge" symbol – news · newspapers · books · scholar · JSTOR (April 2024)

|

Wedge (symbol)

In Unicode| U+2227 ∧ LOGICAL AND (&and;, &wedge;)
Related
See also| U+2228 ∨ LOGICAL OR (&or;, &vee;)

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 (&and;, &wedge;) 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

[edit]

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

[edit]

Look up Wedge, wedge, or ∧ in Wiktionary, the free dictionary.

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

## References

[edit]

1. ^ "2.2: Conjunctions and Disjunctions". Mathematics LibreTexts. 2019-08-13. Retrieved 2020-09-02.

* v
* t
* e

Common logical symbols

∧ or &

and

¬ or ~

not

implies

implies,
superset

↔ or ≡

iff

nand

universal
quantification

existential
quantification

true,
tautology

false,
contradiction

entails,
proves

entails,
therefore

therefore

because

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

Philosophy portal
Mathematics portal

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

|

* v
* t
* e

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template