TeX source:

y>9