On rewriting the statement into predicate logic.

Question

I'm interested in rewriting mathematical statement into predicate logic.

Is the following correct?

Normal Expression

the following $x$ exists, such that $x \in R,x^2-1=0$

Predicate Logic Expression

$\exists x(x\in R \space\land x^2-1=0) $

Answer 1

Yes, that is a correct equivalent sentence in first order logic.