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