mimetex4.gif (image)