User blog comment:Edwin Shade/Defining LOCC (Language Of Ordinal Construction)/@comment-32697988-20170924234138/@comment-25337554-20170925070312

First, you should use {b->1+b} instead of {b->b+1} for omega, because ω+1 is not ω.

Second, is the limit of this notation ζ_ω? (by iterating tetration)