TeX source:
23+34 F \geq 175