Symbol: remove_eq