TeX source:
a≠0