TeX source:
|x|\geq0,