User blog comment:Ubersketch/Outline for an ordinal notation/@comment-35470197-20190809124733

It is ill-defined as an ordinal notation by the same reason written in my comment in your another blog post.