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

"That's a really nice extention!"

Thanks

"\(n \uparrow^{\alpha} n\) is comperable to \(f_{\alpha}(n)\)"

You are right