User blog comment:DrCeasium/Extended Hyperfactorial Array Notation/@comment-5150073-20130328155904

Still, however, the number of !'s adds one level of recursion around your previous notation. Therefore, it has order type w^2+1.