TeX source:
-4+7=