Source TeX:

\sqrt{3}  \in  \mathbb{R}