leqslant and toi