User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-34422464-20190917151558

Ok it makes sense now. The behavior I intended to have was that psi(W)=e0, psi(e0+1) is (e0)w, psi(W^2)=z0, psi(W^W)=G0, psi(W^W^w)=limit of finitary veblen phi, but it seems that modifying Madore psi won't work.