TeX source:
a-b=a+(-b)