Source TeX:
\lambda.x=0 \rightarrow \lambda=0