Dedupped symbols.