TeX source:
8 (y − 9)