User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-5529393-20130619110333/@comment-5150073-20130620131652

I don't want to define it only for alpha = w, because I want to handle ordinals such as Г_0^Г_0 by the following way: Г_0^Г_0[n] = Г_0^{Г_0[n]}. Have you ideas how to define it properly?