TeX source:
y\leq x