TeX source:
a ≠ x