public static java.lang.String htmlTPTPFormat(Formula f,
Format a formula for either text or HTML presentation by inserting
the proper hyperlink code, characters for indentation and end of line.
A standard LISP-style pretty printing is employed where an open
parenthesis triggers a new line and added indentation.
hyperlink - - the URL to be referenced to a hyperlinked term.
indentChars - - the proper characters for indenting text.
eolChars - - the proper character for end of line.