User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-11227630-20190823085852/@comment-35392788-20190823092451

TON's description is extremely short in general, and in fact it's very hard to tell that it's a