Source TeX:

\sqrt{3}  \notin  \mathbb{Q}