User blog comment:Primussupremus/Primus notation adjustments./@comment-28606698-20170226173931

If I correctly understand your notation $$x:\{y\}=x \uparrow^2(x \uparrow^2 y +y)$$, using arrow notation. you should study arrow notation for start.