Источник TeX:
x \leq 4