This is LaTeX code:
[latex]
t:=x-\pi/3\to 0
[/latex]