TeX source:
-1+3=\