"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. Please fill a new bug report. JMarc
