This is LaTeX code:

[latex]
t:=x-\pi/3\to 0
[/latex]