TeX source:
2x-1< 0