Προέλευση/πηγή TeX:

a_1\neq 0