TeX source:
a_4 \neq 0