User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-35470197-20181121071653/@comment-31580368-20181121124450

Mmm... yes, I defined it like S[σ](α) - ωαCK