TeX source:
(x-9)