User blog comment:Denis Maksudov/Nomenclature for the hyper operators/@comment-30675002-20161225231323

Wow! What a nice up arrow extension! I'll try coining my new googolism with your hyper operators.