This is LaTeX code:
[latex]
\tau_y\neg\neg\neg\in\tau_x\neg\neg\in x y y
[/latex]