Added some more HTML replacement symbols to text_html