[pmelendez]

I thought Knuth's up-arrow notation was actually an operator rather than a numeral system. Just in the same way that multiplication is a short for sums, the arrow operator would be a short for exponentiation.