Source TeX:
1-x>0 \Rightarrow x