texmacs interface

It would be good to have this patch applied:

http://www.nabble.com/-patch--Greek-letters-in-TeX-output-td7532740.html

To be able to use Greek letters in computations as is done with maxima would be really handy.

Andrea