Definition:Knuth Uparrow Notation