FACE=symbol
attribute to the <FONT ...>
tag.
The symbol font is the one available on the Linux Red Hat
distribution and seems to be present on many Unix installations.
A good way to know whether your browser can show HEVEA symbols or
not is
comparing figure 1 and the web page located at
symbol.html.Netscape*documentFonts.charset*adobe-fontspecific: iso-8859-1
xrdb .Xdefaults
command.
-nosymb
option.