TeX source:

x+7 > 9