User blog comment:Denis Maksudov/Nomenclature for the hyper operators/@comment-30118230-20161223084346

That's a really nice extention!\(n \uparrow^{\alpha} n\) is comperable to \(f_{\alpha}(n)\).