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

But your rules don't specify that \(\omega + 1\) is illegal. What is \(\alpha_i\) allowed to be? Can it be any \(\omega^\gamma\) for any \(\gamma\), or must \(\gamma\) itself not have a +?