TeX source:
a_2\neq 0