User blog comment:King2218/Infinite Extensibility/@comment-5150073-20140314172340/@comment-5150073-20140315185334

It follows that his notation isn't well defined. $$3\uparrow 3$$ may be both $$3^2$$ and $$3 \leftarrow_{3} 3$$.