how to type vector symbol - Search