User blog comment:Wythagoras/Dollar function formal definition/@comment-5529393-20130616091711/@comment-10429372-20130616105326

0]_[0 has level phi(omega,0)+1

[[0]_[0]1] has level phi(omega,0)+2

[0]_[0] has level phi(omega,0)*2

[[0]_[0]] has level phi(omega,0)^2

[1]_[0] has level phi(omega,1)[1]_[0]

[0]_([0]1) has level phi(omega+1,0)

[0]_([0][0]) has level phi(omega*2,0)

[0]_[1] has level phi(omega^2,0)

[0]_0 has level phi(omega^omega,0)

[0]_[0] has level phi(omega^omega^omega,0)

[0]_[0]_2 has level phi(e_0,0)

[0]_[0]_[0] has level phi(phi(omega,0),0)

[0]_[0]_[0]_[0] has level phi(phi(phi(omega,0),0),0)

I'm sure that [0,1] reach gamma_0