Add highlight-symbol-face