User:Ubersketch/Guide to Googology/Hyperoperations

In school, you might've learned that multiplication is repeated addition, and exponentiation is repeated multiplication. We can extend this series of repetitions to make the hyperoperations. We can make an inductive definition for this using only two simple rules.

\(a[0]b = a+b)\

\(a[b+1]c = \underbrace{a[b]a[b]a...}_\text{c amounts of a})\