Emacs: automatic and manual symbol highlighting