I have a list of unicode characters that I want to write to a file. However, I only have them as their raw 16-bit hexcode.
How can I output proper unicode characters from a hexcode, i.e. how to I get from
00DF
to
ß
?
Note that ß
is \u00DF
in unicode.