Source TeX:

4x-1>0