TeX source:
3 ( x ≠ 3 )