TeX Quellcode:

x\le~y