TeX source:
10=20