HtmlString = Html ( String )
HtmlString = Html$ ( String )

Quote a string so that it can be safely put inside an HTML page.

HTML characters are not quoted, only ASCII symbols. In other words, your HTML page must use the UTF-8 encoding.