TeX source:
1\in\mathbb{R}