TeX source:
(-12)-(-4)=