Replace unicode symbol sequence with HTML entity