TeX source:
a\ne b