User blog comment:P進大好きbot/A larger orderinal does not necessarily correspond to a greater function through FGH/@comment-30279966-20200114121145

Is it correct that \(\text{Idx}\) is the map

\(\text{AP} \mapsto \omega+1 \\

\omega^{1+a} \mapsto a\)

?