> I do wish that I could use a programming editor that could look like a TeX output on the screen though ... This was one of the design goals of the Fortress p

> I do wish that I could use a programming editor that could look like a TeX output on the screen though ... This was one of the design goals of the Fortress project http://labs.oracle.com/projects/plrg/Publications/fortress.1.0.pdf http://labs.oracle.com/projects/plrg/Publications/fortress.1... Scroll down to section 2.3 'Rendering'. Sadly the project is now defunct.