x
Knuth's Up-Arrow Notation — LessWrong