Html$
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.
See also