To convert all extended characters into HTML code, do one of the following:
Press <SHIFT> + <CTRL> + <X>
On the Format menu, select Convert and then select Convert Extended Characters.