TeX source:
-4+7=7+(-4)