a\not=b