Source TeX:

x\leqslant y