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