User blog comment:PsiCubed2/My attempt for creating an ψ(ψᵢ(0))-level notation for ordinals/@comment-5529393-20170328200530/@comment-30754445-20170329075028

Thanks

In the first draft of this blog post I didn't add the {Ωβ} thing. Then I remembered that for some odd reason people have set Ω0=0, and the most compact way I could think of addressing this is adding that {Ωβ}.

As for multiplication, I guess you're right. I forgot that multiplication can't really do anything that x→ωx can't do when combined with addition. Cool.