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

a\neq 0