Subject: | prosper-backend does not deal with {} and other tex-metachars |
the prosper backend does not deal with {} and all other tex-metachars.
while the other metachars like $,^,_ etc. can be handled with sed magic,
this does not work for {}: tex uses the curly braces for lots of stuff.
there has to be some support for translating these metachars in the
sml2tex translation phase.