Some packages like Open Office and Microsoft Word contain a math expression writer. The same can be done with Maple, etc. Standard formats such as MathML, LaTex etc exist.

Now what I would like to do, is to create a mathematical expression in Haskell (using e.g. an expression tree), which can be evaluated in Haskell, and be converted to something pretty-math-printable (MathML, PS, PDF, LaTex, whatever).

Does something like this already exist?

Thanks a lot,
Peter