Zdroj TeX:

x \leq 8