How are user-defined symbols handled during the merge procedure?

User-defined symbols are saved in the configuration database. If the source and target databases are both on the same server, no conflicts are possible.

If the source and target databases are on different database servers, the user-defined symbols are handled as follows: