Unify symbols