TeX source:

\varepsilon := \frac{1}{1000}