TeX source:
(a-7)(a-5)=0