Źródło TeX:

5000\leq x \leq 10000;