The symbol which is used to denote partial conjunction
in symbolic logic. It also appears in several other contexts in mathematics and is
sometimes called a "wedge".
In TeX, the Wolfram Language, and many other computer languages, exponentiation is denoted with a caret, i.e., as
b^e. However, in FORTRAN, it is denoted b**e (Calderbank
1989, p. 29).
The shape of the caret is similar to that of the hat.