Fuente TeX:
a\geq 5