Symbol: vectors_high