TeX source:
23+34 F \leq 175