Knuth's Up-Arrows