HTML encoder
Suppose you wanted the following to appear on your HTML page:
[(html mystring)]
This is what you should put in the HTML file:
[(html (html mystring))]
If you put
[(html mystring)]
in the HTML file without this special encoding, it will look like this (possibly invisible):
[mystring]