TeX source:
12=(-3)\times (-4)