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