On Fri, Jun 06, 2003 at 09:59:50AM +0200, Andre Poenitz wrote:
> > I can then view dvi or print. Saving
> > the document saves the "\protect" too.
> >
> > Reading in the document don't work though. The
> > \protect is lost,
>
> This is intentional as the idea is to re-add it when necessary.
> It seems to fail in this case.
>
Are yous sure you can know all the cases? It'd be nice of
course if lyx add the \protect when needed, but I think that
something explicitly added by the user simply should stay.
Or is there some problem with extra \protects?
> A simple work around for you might be to use \not\in, or to
> remove the \def\notin{...} line from yout lib/symbols.
Thanks, I'll try that.
Helge Hafting
