9.43 Interpretation for the Entries

Use \ , and not ~, in style files, because some users redefine the latter macro.

<..html latex tocs..>+
 %\def\:SPAN#1#2{\HCode{<span class="#1">}#2\HCode{</span>}}
-_-_-