TeX source:
8 x+2 > 34