TeX source:
\varepsilon / 2