Source TeX:
x-3>0 \Rightarrow x>3