Źródło TeX:

x \leq 5000;