added SymEq for unevaluated symbolic equalities