User blog comment:Alejandro Magno/Extended Arrow Notation/@comment-5150073-20140918210020/@comment-25371339-20140918220010

So, I think a^(^^(n)^^)^b has level f_w^2(n)?