TeX source:
7.50+14 P < 60