Thanks, as it happens those are the HTML codes I'm using as it should work in every encoding. I can fill in the BBCode descriptions, but it would still produce unusual results in the editor - as it can only insert tags, rather than raw text and we'd have to use empty tags. That said, I suppose...