Yes, mimetex only produces bitmaps, which is not really optimal. Ideally we want something that yields vector graphics. But maybe mimetex is worth a try anyways ... (as Pawel said until we have something better).
Best, Alex. On Sunday, 28 September 2014 14:57:31 UTC+2, Andreas Lobinger wrote: > > mimetex seems to be output=gif only. Is this what we want? >
