TeX source:
1/\infty=0