Source TeX:

x\ne 3y