TeX source:
/varepsilon_2 =7