User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-1605058-20131210201100/@comment-25418284-20131211011344

Another reason to prefer \((\alpha \uparrow^n \beta) \uparrow^n \alpha = \alpha \uparrow^n (\beta + 1)\) :D