edit caret symbol into its html entity &#710;