TeX source:
A \neq 0