Pretty print the symbols that were found.