st_escape.pl -- HTML escaping
Escapes symbols that have special meaning in HTML.
st_write_escape
(+Stream, +Text)
is
det
Writes text into
Stream
by escaping some of the symbols that cause problem in HTML.