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