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