Redirecting to Knuth's up-arrow notation