This is LaTeX code:

[latex]

t := x^2+y^2 \to 0

[/latex]