Hyper4

There are two types: hyper⁴ and hyper₄.

• hyper⁴ is symbolized by either a^^b or a⁽⁴⁾b, and is defined as a⁽⁴⁾b = a^(a^(...^a)) = a^(a^(b-1))).
• hyper₄ is symbolized by a ₍₄₎ and is defined as a₍₄₎b = ((a^a)^...)^a.

The former, hyper⁴, definition is used more often as an independent operator because only the other hyper4 operator can be reduced to double exponentiation in the form: a₍₄₎b = a^(a^(b-1)), and thus is an extension of exponentiation. The hyper4 has not been extended to real numbers as addition (1st level dyadic operation), multiplication (2nd level) and exponentiation (3rd level) have.

Alternate names for hyper4 can include: tetration, superpower, superdegree, and powerlog.

This concept can be extended to the fifth degree and beyond as well, however each definition becomes recursive upon the last one... E.g.

• hyper₅ = a^^^b = a₍₅₎b = a⁽⁴⁾a⁽⁴⁾...a⁽⁴⁾
• hyper₆ = a^^^^b = a₍₆₎b = a⁽⁵⁾a⁽⁵⁾...a⁽⁵⁾

Hyper4 is essentially equivalent to a↑↑b in Knuth's up-arrow notation.

External Links