TeX source:
8 x > 32