TeX source:
(x^2-9)