Character Encodings

uni2utf8: Given Unicode codepoints, prints their UTF-8 equivalents.

I have put together a table of common special characters.