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

I am asking about the definition of your notation, which is set of rules telling us how to resolve an expression.