make \epsilon different from \varepsilon