Definition, synonyms and related words
A relation symbol that indicates that two expressions are different; the ≠ symbol.