This is LaTeX code:
[latex]
\varepsilon`:=2\varepsilon
[/latex]