TeX source:
−15+(−12)