TeX source:
(-5)\times(-4)=20