...tex2html_verb_mark¹

The call to copy_term/3 is used to strip attributes (domains etc) from any remaining variables in Vars.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.