On 18.02.08, Jean-Marc Lasgouttes wrote: > "Paul A. Rubin" <[EMAIL PROTECTED]> writes:
> > Hi all, > > > > I just discovered (the hard way) that LyX understands to map \implies > > to \Longrightarrow in the GUI (or at least displays the same glyph for > > both), but LaTeX does not recognize \implies. I suspect that there's > > some package, not loaded by my document, that maps \implies to > > \Longrightarrow. > > > > So I wonder if LyX should either (a) automatically load whatever the > > missing package is if the user types in \implies, or (b) not display > > \implies, or (c) substitute \Longrightarrow for \implies (so that the > > document compiles)? Opinions? > The missing package seems to be amsmath and LyX should definitely > require it automatically. I am not sure however where to do it. Additional info: In LyX 1.5.3 on Debian, it works fine with Document > Settings > Math > Use AMS always [x] but fails with Document > Settings > Math > Use AMS automatically [x] (So setting the mandatory use of AMS is a quick and dirty fix to the document.) GM
