User blog comment:Cheetahrock63/Hyper operator notations/@comment-28606698-20171103194135

General definition: $$ N_{i=k}^m a_i=a_k \uparrow^{N-2}(a_{k+1}\uparrow^{N-2}(...\uparrow^{N-2}(a_m)...))$$