On Sun, May 05, 2002 at 06:34:36PM +0200, Christian Marker wrote: > Am Samstag, 4. Mai 2002 18:00 schrieb Herbert Voss: > > > give a short examplefile > > > > Herbert > > To avoid heavy traffic, you can get the example files here: > http://www.linux-is-cool.de/lyx
The problem is that the marvosym redefines the \Rightarrow macro.
The solution is to use
\let\oldRightarrow\Rightarrow
\usepackage {marvosym}
\let\Rightarrow\oldRightarrow
