Źródło TeX:

x > 10000;