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

Actually, fixed points of \(\alpha\mapsto\omega+\alpha\) are all ordinals starting from \(\omega^2\), not just powers of \(\omega\).