Show full name of doubly defined symbols