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

The conversion of ordinals into strings is ill-defined by the completely same reason as the ill-definedness of your notation up to \(\varepsilon_0\). it is better for you to keep studying that level, before skipping so far.