TeX source:
\varepsilon / 2 > 0