TeX source:
3=0