TeX source:
\geq 13.50