-;\overview [2] {\rtfonly{See also }\settransparency{on}\sethotspotcolour{off}\sethotspotunderline{on}\winhelponly{\image{}{books.bmp}\settransparency{off}}
-;\htmlonly{\image{}{books.gif}}\helpref{#1}{#2}
-;\sethotspotcolour{on}\sethotspotunderline{on}}
+\textasciitilde [0]{{\tt\~}}
+\textasciicircum [0]{{\tt\^}}
+; Need to define this as \symbol(94) in 'real' Latex
+\caret [0]{$^$}
+\textbackslash [0]{{\tt$\backslash$}}
+\gifsep [0]{\par}
+ignoreInput = "ltx.tex"
+; htmlStylesheet = "wx.css"
+