User blog comment:Nayuta Ito/Ordinal Ruler/@comment-1605058-20150804164033

Someone with access to Mathematica should make a long ordinal ruler for, say, $$\omega^{\omega}$$.