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

What definitions?

If you are asking for the other definitions, check my Extended Arrow Notationarticle.