knuth up-arrow notation