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

It looks good. Adjoining \(\lbrace \Omega_\beta \rbrace\) and including multiplication in your closure functions seem unnecessary, if you care about economy. But either way, it should work fine.