Fuente TeX:
\mid a\mid\geq 0