TeX Quellcode:

x~\le~y