User blog comment:ArtismScrub/Hierarchical Cardinal Notation (HCN)/@comment-25601061-20180228002212

limit (α ↦ Φα(0,1)) = α ↦ first α-inaccessible

soz