User blog comment:Edwin Shade/Defining LOCC (Language Of Ordinal Construction)/@comment-32876686-20170926215123

@LittlePeng9

I'm not sure what you mean, but this notation can definitely extend past e_0.