class_docstr: Binary predicate for $=$.
  
  The purpose of this class is to provide the instance which represent
  the equality predicate in order to allow the logical inference.
  This class must remain internal to assumptions module and user must
  use :obj:`~.Eq()` instead to construct the equality expression.
  
  Evaluating this predicate to ``True`` or ``False`` is done by
  :func:`~.core.relational.is_eq()`
  
  Examples
  ========
  
  >>> from sympy import ask, Q
  >>> Q.eq(0, 0)
  Q.eq(0, 0)
  >>> ask(_)
  True
  
  See Also
  ========
  
  sympy.core.relational.Eq
class_docstr_tok: ["Binary","predicate","for","$","=","$",".","The","purpose","of","this","class","is","to","provide","the","instance","which","represent","the","equality","predicate","in","order","to","allow","the","logical","inference",".","This","class","must","remain","internal","to","assumptions","module","and","user","must","use",":","obj",":","`","~.Eq","(",")","`","instead","to","construct","the","equality","expression",".","Evaluating","this","predicate","to","``","True","``","or","``","False","``","is","done","by",":","func",":","`","~.core.relational.is_eq","(",")","`","Examples","========",">",">",">","from","sympy","import","ask",",","Q",">",">",">","Q.eq","(","0",",","0",")","Q.eq","(","0",",","0",")",">",">",">","ask","(","_",")","True","See","Also","========","sympy.core.relational.Eq"]
code: def negated(self):
      return Q.ne
  
imports: from sympy.assumptions import Q
  from sympy.core.relational import is_eq, is_neq, is_gt, is_ge, is_lt, is_le
  from .binrel import BinaryRelation
label_desc: Use image node_id 1 for calling the EqualityPredicate obj's underlying member method code with example usage: obj.negated() and returns: Q