Symbol: add_vectors