User blog comment:ArtismScrub/Hierarchical Cardinal Notation (HCN)/@comment-34812936-20180228064722

The first fixed point of α ↦ Φ(α,0) is Φ(Ω,0), isn't it? And Φ(𝐈,0) must be α -> Ωα.