User blog comment:Alemagno12/Analysis of Edwin Shade's ''three-symbol'' notation for ordinals/@comment-32876686-20171107013941/@comment-30004975-20171119041444

It should be $2w=w$.