Minor issue with \implies

[Paul A. Rubin]

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?

/Paul