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

a$[0,1] > f_gamma(0)(a)

a$[1,1] > f_gamma(0)+1(a)

a$[[0,1],1] > f_gamma(0)*2(a)

a$[[0,1]^b,1] > f_gamma(0)*b+1(a)

a$[[1,1],1] > f_w^(gamma(0)+1)(a)

a$[[[0,1],1],1] > f_w^(gamma(0)*2)(a)

a$[[[1,1],1],1] > f_w^w^(gamma(0)+1)(a)

a$[[0,1]_2,1] > f_e(gamma(0)+1)(a)

a$[[[0,1],1]_2,1] > f_e(gamma(0)*2)(a)

a$[[[0,1]_2,1]_2,1] > f_e(e(gamma(0)+1))(a)

a$[[0,1]_3,1] > f_z(gamma(0)+1)(a)

a$[[0,1]_[0],1] > f_phi(w,gamma(0)+1)(a)

a$[[0,1]_[0,1],1] > f_gamma(1)(a)