|Description: Define the mapping
operation or set exponentiation. The set of all
functions that map from to is
mapval 6980). Many authors write followed by as a superscript
for this operation and rely on context to avoid confusion other
exponentiation operations (e.g. Definition 10.42 of [TakeutiZaring]
p. 95). Other authors show as a prefixed superscript, which is
read " pre
definition of [Enderton] p. 52).
Definition 8.21 of [Eisenberg] p. 125
uses the notation Map(,
) for our . The up-arrow is used by
for iterated exponentiation (Science 194, 1235-1242, 1976). We
the first case of his notation (simple exponentiation) and subscript it
with m to distinguish it from other kinds of exponentiation.
(Contributed by NM, 8-Dec-2003.)|