Let
Invented by Jonathan Bowers, the first operator is
The number inside the brackets can change. If it's two
⋮
Thus, we have
⋮
Operators beyond
The next level of operators is
For every fixed positive integer
Another function
Numbers like TREE(3) are unattainable with Bowers' operators, but Graham's number lies between