colorize the re-symbolicated symbols to red