FACE=symbol
attribute to the <FONT>
element.
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
http://para.inria.fr/~maranget/hevea/doc/symbol.html.Netscape*documentFonts.charset*adobe-fontspecific: iso-8859-1
xrdb .Xdefaults
command.
-nosymb
option.