While we have tried to find every extended character recognized by browsers, some may have slipped through - or you may want to define your own extended characters.
On the View menu, select the Resource Manager submenu and then select Extended Characters.
Click
to open the Edit Extended Character dialog.
Copy the extended character you want to define and paste it into the Extended Character field.
Enter the HTML code used to represent the extended character into the HTML Code field.
Enter a description of the extended character into the Description field.
Click OK to save your new extended character.
If you wish to edit a particular extended character already in the list of extended characters, select the character you wish to edit then just follow Steps 2. to 6. as above.