I had to use reLyX to import a document containing larger chunks wrapped in \begin{proof} and \end{proof}. reLyX translated everything to ERT, including the included math. I'd rather have \begin and \end in ERT and the stuff in between translated 'normally'. I ended up replacing \begin{proof} by \xbegin{proof}, reLyX'ing the document and changing xbegin back to begin in the .lyx file. Does anybody know of a simpler method? Andre' BTW: \include{xxx.pstex_t} gets translated to \include{xxx.pstex_{t}} which is not exactly correct... -- It'll take a long time to eat 63.000 peanuts. André Pönitz ......................... [EMAIL PROTECTED]