TeX source:
0 < 3(0)-1