RawTeX($texstring) expands and processes the $texstring;
This is typically useful to include definitions copied from a TeX stylefile,
when they are approriate for LaTeXML, as is.
Single-quoting the $texstring is useful, since it isn’t interpolated
by Perl, and avoids having to double all the slashes!