TeX source:
a\in\mathbb{R}^-