TeX source:
\sqrt{x}\geq 0