Symbol: hyp_map_vectors