TeX source:
r\geq0