merging with Benjamins symbols