User blog comment:Vel!/Ordinal Hyper-E 2.0/@comment-25418284-20130409173638

Hrm, there's still a problem. I misinterpreted the rules; hyper-band expansion also happens for ordinals like \(\omega^\omega + 1\) and \(\varepsilon_0 + 1\).