Hover highlighting of symbols