TeX source:
A−B≡A+(–B)