TeX source:

0\lt x\lt q