TeX source:

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