User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-35470197-20190917152728

The answer is written in the paragraph starting from "Next, please check" in my comment above.