Nomenclature for hyperoperations