User blog comment:Deedlit11/Ordinal Notations VII: Indescribables/@comment-134.157.15.21-20170929090421


 * a few years later*

"Ordinal notations XX - up to a rank-into-rank cardinal"