Convert to predicate logic: the relation $R$ on the set $X$ is antisymmetric

Question

How would I cast the following to logical symbols

The relation $R$ on the set $X$ is antisymmetric.

Answer 1

$(\forall a \in X)(\forall b \in X)\left [(aRb \wedge a\not = b) \implies \lnot bRa \right]$