Symbol: add_vertex