User blog:Alemagno12/Analysis of Edwin Shade's ''three-symbol'' notation for ordinals

Here's the blog post.

WIP!

No parentheses, no labels

 * [empty] = 0
 * = 1
 * = 2
 * = 3
 * n |'s = n

One size of parentheses, no labels

 * (|) = ω
 * (|)| = ω+1
 * (|)|| = ω+2
 * (|)(|) = ω2
 * (|)(|)| = ω2+1
 * (|)(|)(|) = ω3
 * ((|)) = ω2
 * ((|))| = ω2+1
 * ((|))(|) = ω2+ω
 * ((|))((|)) = ω22
 * ((|))((|))((|)) = ω23
 * (((|))) = ω3
 * (((|)))(((|))) = ω32
 * ((((|)))) = ω4
 * (((((|))))) = ω5