Source TeX:
c < x