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

$key = q/{}(overlinef:F_p'rightarrowF_q){}/;
$cached_env_img{$key} = ' <IMG WIDTH=98 HEIGHT=24 ALIGN=BOTTOM ALT="tex2html_wrap85" SRC="img2.gif"  > '; 
$key = q/{}(f:MrightarrowM'){}/;
$cached_env_img{$key} = ' <IMG WIDTH=103 HEIGHT=18 ALIGN=BOTTOM ALT="tex2html_wrap88" SRC="img4.gif"  > '; 
$key = q/{}(overlinef){}/;
$cached_env_img{$key} = ' <IMG WIDTH=12 HEIGHT=20 ALIGN=BOTTOM ALT="tex2html_wrap89" SRC="img5.gif"  > '; 
$key = q/{}(overlinef:E'rightarrowE){}/;
$cached_env_img{$key} = ' <IMG WIDTH=93 HEIGHT=20 ALIGN=BOTTOM ALT="tex2html_wrap84" SRC="img1.gif"  > '; 
$key = q/{}(f:(pi'(F_p')rightarrowpi(F_q)){}/;
$cached_env_img{$key} = ' <IMG WIDTH=163 HEIGHT=23 ALIGN=BOTTOM ALT="tex2html_wrap86" SRC="img3.gif"  > '; 

1;