implementing a highlight-symbol-last, the opposite of highlight-symbol-first