User blog comment:Pellucidar12/Attempt at a FGH related notation/@comment-28606698-20170415185346/@comment-28606698-20170416200808

I absolutely agree, for transfinite ordinals operations higher than exponentiations are not defined and that is why I write "it seems" (i.e. looks like) hyperoperation, not being the hyperoperation itself. Any way I don't see problems to write $$\omega\uparrow\uparrow b$$ for $$b$$ less than or equal to omega.