TeX source:
4+16=20