lang • html

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