>I think someone has hacked together a LaTeX emitter for prettyprinting
>of code. But right now I can not remember where I saw that!

Andres Valloud wrote a TeXfileOut facility. You can download it from
http://www.dm.uba.ar/mathMorphs

/Leandro