Source TeX:
(x-1) \geq 0 \Leftrightarrow x \geq 1