# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate images original text with physical files.

$key = q/{}(w){}/;
$cached_env_img{$key} = ' <IMG WIDTH=10 HEIGHT=7 ALIGN=BOTTOM ALT="tex2html_wrap76" SRC="img3.gif"  > '; 
$key = q/{}(trianglew=0){}/;
$cached_env_img{$key} = ' <IMG WIDTH=54 HEIGHT=12 ALIGN=BOTTOM ALT="tex2html_wrap75" SRC="img2.gif"  > '; 
$key = q/{}(Leftrightarrow){}/;
$cached_env_img{$key} = ' <IMG WIDTH=12 HEIGHT=9 ALIGN=BOTTOM ALT="tex2html_wrap78" SRC="img4.gif"  > '; 
$key = q/{}(triangle){}/;
$cached_env_img{$key} = ' <IMG WIDTH=13 HEIGHT=12 ALIGN=BOTTOM ALT="tex2html_wrap74" SRC="img1.gif"  > '; 

1;