Source TeX:
0 \in \mathbb{R}