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