TeX forrásszöveg:

0\lt x