> what looks much easier is to allow mutating math environment into ERT > and back. > > pavel >
This is already possible. It needs some copy-pasting but it works. I once implemented this, but then disregarded it because it was essentially already possible. Vincent