Source TeX:
20 = -4\times -5