TeX source:

x\le~y