- // now the ones from the unicodesymbols file
- for (pair<char_type, CharInfo> const & elem : unicodesymbols)
- symbols.push_back(elem.first);
+ // now the ones from the unicodesymbols file that are not already there
+ for (pair<char_type, CharInfo> const & elem : unicodesymbols) {
+ if (find(symbols.begin(), symbols.end(), elem.first) == symbols.end())
+ symbols.push_back(elem.first);
+ }
+ // finally, sort the vector
+ sort(symbols.begin(), symbols.end());