This is LaTeX code:
[latex]
(\forall x) A(x)\Rightarrow B(x)
[/latex]