add highlight-symbole