TeX source:
14+7.50 P < 60