special symbols are reported by name and not by symbol