File:Knuth Up Arrow Notation