User blog comment:Edwin Shade/A Three-Symbol System For Representing Ordinals/@comment-25601061-20171105173742/@comment-25601061-20171105180602

I know, but the sizes of the parentheses aren't right, so the expression is solved differently.