User blog comment:Vel!/Factoid notation/@comment-5150073-20130523164040/@comment-25371339-20140927134529

So, ! ~ n^(m+1)^n where a^(n)^b is a^^^...^^^b with n arrows?