TeX source:
F \geq 6.13