# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
 STYLE="" SRC="|."$dir".q|img13.png"
 ALT="\begin{table}
\bigskip
Die folgenden Symbole sind im Text-Modus verf''ugbar:
\be...
...b\vert\P\vert \&gt;
\pounds \&gt; \verb\vert\pounds\vert \\\\
\end{tabbing}\end{table}">|;