takes out unicode HTML tags (like &#8713;) and replaces them with the correct symbol