User blog comment:QuasarBooster/Extra-Growth Hierarchy, extension of FGH/@comment-25337554-20150620101151/@comment-24923514-20150620172126

You're right. I was just having a little trouble understanding that ordinal- I'm honestly not the best at them heh. So the expansion of $$\text{Ex}_{0,\omega2}(1)$$ would be $$\text{Ex}_{\omega2,\omega2\left[\text{Ex}_{0,1}(1)\right]}(1)= $$