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

theta(#,@,$) = lambda_#(Omega_@,$)

theta(#)|2 = theta(#,0)|2

theta(#,@)|2 = theta(#,@,0)

theta(a+1)|2 = theta(a #,Omega_Omega...Omega_Omega)|2

theta(Omega)|2 = theta(theta(Omega)|2)|2

theta(Omega,1)|2 = theta(Omega,theta(Omega,1))