This plugin undoes some of the default formatting that gets applied to new posts created via WordPress.
WordPress changes a few characters to the same HTML entity character. I can not guess what the original character was, so I'm using a 'best effort' way of converting the HTML character back to the original one. Sometimes, it'll be wrong.