User blog comment:Wythagoras/Dollars Function/@comment-3427444-20130726095506/@comment-10429372-20130726103748

By the way, I use theta(Omega_2) = theta(Gamma_(Omega+1)), same as Bird uses in his paper see page 8.

I know theta(Omega_2) >> theta(phi(theta(phi(...(phi(theta(phi(Omega,1)),0)...),0)),0))

that is only theta(phi(Omega,1)) and [0 ->_{0}_{1} 1]  in my notation.

the -> operator works like Omegas and they're extensions., like [0] works like omegas and they're extensions.