handling hypertext

Output formatting routines:

• html -- convert to html format
• mathML -- convert to MathML format
• tex -- convert to $\TeX$ format
• info -- convert hypertext to info format
• net -- format for printing, as a net