TeX source:
34+23 F \leq 175