assuming it handles text the same as HTML, have you tried a normal HTML editor, eg CoffeeCup, NoteTabLite, etc, and coding those special characters in yourself?

Mark