Wedge (∧) is a
symbol that looks similar to an in-line
caret
Caret is the name used familiarly for the character , provided on most QWERTY keyboards by typing . The symbol has a variety of uses in programming and mathematics. The name "caret" arose from its visual similarity to the original proofreade ...
(^). It is used to represent various
operations. In
Unicode
Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, wh ...
, the symbol is encoded and by
\wedge and
\land in
TeX
Tex may refer to:
People and fictional characters
* Tex (nickname), a list of people and fictional characters with the nickname
* Joe Tex (1933–1982), stage name of American soul singer Joseph Arrington Jr.
Entertainment
* ''Tex'', the Italian ...
. The opposite symbol (∨) is called a
vel
Vel ( ta, வேல், lit=Vēl) is a divine javelin or spear associated with Murugan, the Hindu god of war.
Significance
According to Shaiva tradition, the goddess Parvati presented the Vel to her son Murugan, as an embodiment of her shakti, ...
, 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 logic, mathematics and linguistics, And (\wedge) is the truth-functional operator of logical conjunction; the ''and'' of a set of operands is true if and only if ''all'' of its operands are true. The logical connective that represents thi ...
in
propositional logic
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations b ...
and
first-order logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...
*
Meet
Meet may refer to:
People with the name
* Janek Meet (born 1974), Estonian footballer
* Meet Mukhi (born 2005), Indian child actor
Arts, entertainment, and media
* ''Meet'' (TV series), an early Australian television series which aired on ABC du ...
in
lattice theory
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bou ...
*
Exterior product
In mathematics, specifically in topology,
the interior of a subset of a topological space is the union of all subsets of that are open in .
A point that is in the interior of is an interior point of .
The interior of is the complement of th ...
or wedge product in
differential geometry
See also
*
Turned v
*
Vel (symbol)
*
List of mathematical symbols
A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula. ...
*
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subs ...
*
Wedge (disambiguation)
A wedge is a triangular-shaped simple machine.
Wedge, The Wedge, or Wedges may also refer to:
Common meanings
* Wedge (footwear), a type of shoe
* Wedge (golf), a type of golf club
Culture Fictional characters
* Wedge (''Transformers''), a ...
*
/\ (disambiguation)
References
{{math-stub
Logic symbols