Source TeX:

x < y