# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q||;
$key = q/simeq;MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
$key = q/sqrt{{2}};MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
$key = q/triangleright;MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
$key = q/{labeling}[:]{franz"{o}sisch}item[englisch]12slash1slash1992item[deutsch]1.12.1992item[franz"{o}sisch]1.12.1992{labeling};AAT/;
$cached_env_img{$key} = q||;