Symbol: remove_vertex