User blog comment:B1mb0w/Fundamental Sequences/@comment-26428969-20151104104848/@comment-10262436-20151107093647

Yes I agree. My notation is clumsy.

\omega\uparrow\uparrow\beta =  \varphi(\beta)  then

\varphi(\beta + 1) = \omega^{\varphi(\beta)}