Add operator equivalence in Equation