Symbol: index2vert