Automatic and manual symbol highlighting