TeX source:
6+4 p > 17