use "new" Lexer interface...

[lyx.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index e1542ceebc4c9ec0599f324339823cc63479a08e..5e20c9a596d592e5f65fc7889358176ce67dd4dd 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -894,7 +894,7 @@ iffont cmsy
 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
-\def\implies{\Longrightarrow}
+\def\implies{\Longrightarrow}                                     amsmath
 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 \def\models{\vert\kern-7mu\lyxeq}