User blog comment:DrCeasium/HAN: better definitions/@comment-5529393-20130613114620

There are ordinal notations that go much farther than the TFB ordinal. I suppose I'll write a blog post about them soon.