Knuth up-arrow notation