This is LaTeX code:

[latex]
\overrightarrow{AT} \in W
[/latex]