Update and delete for the HashSet symbols