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

I am not asking the meaning of \(\alpha\). My question is "what is the definition of \(S[\sigma](\alpha)\)".