TeX source:
1=