This is LaTeX code:
[latex]
(\forall x\in \mathbb{R}) \textrm{Arsh}x \neq x\cdot\textrm{Arsh}x
[/latex]