x\neq a