Προέλευση/πηγή TeX:
a^2-1\neq 0