TeX source:
a\geq 0