TeX source:
x ≠ –3