User blog comment:PsiCubed2/Counting with Ordinals/@comment-27516045-20171216185520/@comment-30754445-20171216190227

Yes... eventually.

I don't really like how the box visualizations go after ε0ω and I'm having some trouble with the array notation after ε0ω. For the array notation, I know that Bird Arrays go way beyond this, but I don't want to just copy Bird's notation.

At any rate, once I have my ducks in a proper row (or a proper array), I'll continue.