Knuth's up arrow notation