Taco HTML Edit Help
> Symbols
Symbols Menu
Symbols Preferences
With the Symbols toolbar menu, you can insert common HTML character codes in your document. The contents of the Symbols menu can be modified in the "Symbols" section of the Preferences.