Source TeX:

x\le y