User blog comment:Nedherman1/Ordinal Factorial/@comment-25601061-20180707030031/@comment-35811215-20180707030709

I used to represent an infinite "tower" of the previous ordinal