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

Wouldn't TON first system also technically count as a lexicographic notation that reaches the BHO?