You're probably going to have to encode the symbols in Microsoft's own character set. I've done a lot of coding the other way round - extracting symbols from Excel and trying to put them in a Postgres database with UTF8 encoding. You need to find the matching symbol in, say, "Character Map", find the ord() of that, and change the value of the input character to that ord value.