This is LaTeX code:
[latex]
ABx = \alpha Bx \Rightarrow Bx \in V_A(\alpha)
[/latex]