Fuente TeX:
y\leq x