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.
Please fill a new bug report.
JMarc
Done (#4561).
/Paul
