mailing-list for TeXmacs Users

[Leo <address@hidden>]

Hi Everybody,

I am trying to generate a PDF file out of a TeXmacs document 
by the following chain:

    TeXmacs -> PostScript -> PDF

I use ghostscript (ps2pdf) for the last conversion.

The resulting PDF file looks really ugly on a screen!!

Well, Adobe acrobat reader does a lousy job of rendering bitmap fonts 
and TeXmacs uses bitmap fonts exclusively. Even native PostScript
fonts like Times and Helvetica are first converted into bitmaps and
are later included as bitmap fonts (!) in the .ps output.

[Q] Is is possible to preserve PostScript fonts as PostScript fonts in
    the .ps output??

Any hints?

Thanks,
--Leo--