User blog comment:Alejandro Magno/Stronger Extended Up-Arrow Notation/@comment-1605058-20141005204628

Where are the definitions?