Mathwords logoMathwords

Knuth Up-Arrow Notation — Definition, Formula & Examples

Knuth up-arrow notation is a way to write extremely large numbers by extending the sequence of addition, multiplication, and exponentiation to higher-order operations called hyperoperations. A single arrow ↑\uparrow represents exponentiation, double arrows ↑↑\uparrow\uparrow represent tetration (repeated exponentiation), and more arrows represent progressively faster-growing operations.

For positive integers aa, bb, and n≥1n \geq 1, Knuth's up-arrow notation is defined recursively: a↑nb=a↑n−1(a↑n(b−1))a \uparrow^n b = a \uparrow^{n-1} (a \uparrow^n (b-1)) with base cases a↑n1=aa \uparrow^n 1 = a for all n≥1n \geq 1, and a↑1b=aba \uparrow^1 b = a^b. Here ↑n\uparrow^n denotes nn consecutive up-arrows.

Key Formula

a↑nb={abif n=1aif b=1a↑n−1(a↑n(b−1))otherwisea \uparrow^n b = \begin{cases} a^b & \text{if } n = 1 \\ a & \text{if } b = 1 \\ a \uparrow^{n-1} (a \uparrow^n (b-1)) & \text{otherwise} \end{cases}
Where:
  • aa = The base (a positive integer)
  • bb = The height or iteration count (a positive integer)
  • nn = The number of arrows, indicating the level of the hyperoperation

How It Works

The notation builds a hierarchy of operations. One arrow (a↑ba \uparrow b) is just aba^b. Two arrows (a↑↑ba \uparrow\uparrow b) means aa raised to itself bb times in a power tower: aaa⋯a^{a^{a^{\cdots}}} with bb copies of aa. Three arrows (a↑↑↑ba \uparrow\uparrow\uparrow b) applies the double-arrow operation repeatedly. Each additional arrow creates growth so fast that the previous level cannot meaningfully describe it. To evaluate an expression, you work from right to left in the power tower and unwind the recursion from the top down.

Worked Example

Problem: Evaluate 3↑↑33 \uparrow\uparrow 3 (equivalently, 3↑233 \uparrow^2 3).
Step 1: By definition, 3↑↑33 \uparrow\uparrow 3 means a power tower of three 3s, evaluated from the top down.
3↑↑3=3333 \uparrow\uparrow 3 = 3^{3^3}
Step 2: First evaluate the exponent at the top of the tower.
33=273^3 = 27
Step 3: Now compute the full expression.
327=7,625,597,484,9873^{27} = 7{,}625{,}597{,}484{,}987
Answer: 3↑↑3=7,625,597,484,9873 \uparrow\uparrow 3 = 7{,}625{,}597{,}484{,}987. Notice that adding just one more arrow—3↑↑↑33 \uparrow\uparrow\uparrow 3—produces a number so large it cannot be written out in decimal.

Why It Matters

Knuth up-arrow notation is essential for defining Graham's number, one of the largest numbers ever used in a mathematical proof. It also appears in computability theory and the analysis of algorithms, where it helps classify functions that grow faster than any finite tower of exponentials.

Common Mistakes

Mistake: Evaluating power towers from left to right instead of right to left.
Correction: Exponentiation is right-associative: 3333^{3^3} means 3(33)=327=7,625,597,484,9873^{(3^3)} = 3^{27} = 7{,}625{,}597{,}484{,}987, not (33)3=273=19,683(3^3)^3 = 27^3 = 19{,}683. Always start from the top of the tower.