A relational symbol representing "not approximately equal to" in numerical analysis and approximation theory.