Źródło TeX:
y \leq 3