TeX source:
a_4, a_3, a_2, a_1, a_0 \in \mathbb{R}