User blog comment:Nayuta Ito/faketest/w2/@comment-28606698-20170507082915

$$\omega^\Omega=\Omega\uparrow\uparrow \omega=\varphi(1,\Omega+1)=\varepsilon_{\Omega+1}$$ since \varphi(1,\Omega)=\varepsilon_\Omega=\Omega