This is LaTeX code:
[latex]
\left( {\left( {\exists b \in R} \right)\left( {ab \equiv 1\left( {\bmod p} \right)} \right)
[/latex]