Make symbols unique