orígen TeX:
x\le~y