User blog comment:Wythagoras/Dollar function formal definition/@comment-5029411-20130620163933

a$[[0]2->21] is growth rate phi(w,BHO+1)

a$[0->21] is growth rate theta(epsilon_(Omega+1))

a$[1->21] is growth rate theta(epsilon_(Omega+1))+1

a$[[0->21]->21] is growth rate theta(epsilon_(Omega+1))2