Anders Ekberg wrote: > I see your point, but the replacement is only made in the > unicodesymbols file (to store it in a dictionary which is used to > replace the unicode symbols with commands). In that file, the only > occurence of quotation marks is AFAIU surrounding commands (and pre- > ambles) and in the actual commands. In the latter case they are on > the form \" which I will need to replace with ". > So the two approaches will yield the same results for this case.
I see. That wasn't clear to me. So your patch is probably sufficient. Jürgen