title: How do I output unicode from its 16-bit hexcode?
body: <p>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.</p>
  
  <p>How can I output proper unicode characters from a hexcode, i.e. how to I get from</p>
  
  <pre><code>00DF
  </code></pre>
  
  <p>to</p>
  
  <pre><code>ß
  </code></pre>
  
  <p>?</p>
  
  <p>Note that <code>ß</code> is <code>\u00DF</code> in unicode.</p>