TeX source:

x-3 > 0