User blog comment:Primussupremus/ the next stage in my improved notation./@comment-28606698-20170501065402

Prim, do I correctly understand your notation, if I will write next rules?

a,b=a+b,

a,b,c=a,(b-1),(a,b,(c-1))=a\uparrow^(b-2)c,

a,b,c|(d+1)=a,(a,b,c|d),c,

a,b,c|\#,d,(e+1)=a,b,c|\#,(a,b,c|\#,d,e),

where # denotes any amount of entries between "|" and "d".

Those rules allow to reach w+w