TeX source:
\sqrt{3-x} \geq 0