Admin widget on the Add/Edit Post pages for inserting HTML encodings of special characters into the post.