HTML encoder

Suppose you wanted the following to appear on your HTML page:


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]