TeX source:
x=2,y\not= 5