Actually I was wrong (or at least slightly off-topic) about charset and utf-8. Certainly utf-8 is a good way to go, but the thread topic was about &xxxx; sequences in HTML, and they should render correctly regardless of charset declarations, as long as the receiving system has the required character in a font somewhere.