TeX source:
1=1