User blog comment:Alejandro Magno/Extension of Pound-Star Notation/@comment-4297047-20141016205348/@comment-4297047-20141017222701

Sorry, about (w^w^w)^2.