TeX source:
20+10=30