User blog comment:Deedlit11/Ordinal Notations VII: Indescribables/@comment-26454151-20180120003501/@comment-30118230-20180212142144

I hope so.

Stegert's notation is very interesting.