Source TeX:

0, \overline{444} \in  \mathbb{R}