Source TeX:
x+1\geq 0 \Rightarrow x \geq -1