TeX source:
-15+2