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

$key = q/{}(s:MrightarrowE){}/;
$cached_env_img{$key} = ' <IMG WIDTH=89 HEIGHT=15 ALIGN=BOTTOM ALT="tex2html_wrap77" SRC="img1.gif"  > '; 
$key = q/{}(pi(s)=id_M){}/;
$cached_env_img{$key} = ' <IMG WIDTH=91 HEIGHT=21 ALIGN=BOTTOM ALT="tex2html_wrap81" SRC="img5.gif"  > '; 
$key = q/{}(s:prightarrow(p,s_F(p))){}/;
$cached_env_img{$key} = ' <IMG WIDTH=143 HEIGHT=21 ALIGN=BOTTOM ALT="tex2html_wrap78" SRC="img2.gif"  > '; 
$key = q/{}(pinM){}/;
$cached_env_img{$key} = ' <IMG WIDTH=55 HEIGHT=18 ALIGN=BOTTOM ALT="tex2html_wrap79" SRC="img3.gif"  > '; 
$key = q/{}(F_1){}/;
$cached_env_img{$key} = ' <IMG WIDTH=18 HEIGHT=17 ALIGN=BOTTOM ALT="tex2html_wrap80" SRC="img4.gif"  > '; 

1;