use "new" Lexer interface...

[lyx.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index 2a61daa18f56279cadfa10e117de4626f6c21b6c..5e20c9a596d592e5f65fc7889358176ce67dd4dd 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -776,8 +776,6 @@ iiint              esint        005    0  mathop  x      esintoramsmath
 iiintop            esint        005    0  mathop  x      esint
 iiiint             esint        007    0  mathop  x      esintoramsmath
 iiiintop           esint        007    0  mathop  x      esint
-dotsint            esint        009    0  mathop  x      esint
-dotsintop          esint        009    0  mathop  x      esint
 oint               esint        011    0  mathop  x      esint
 ointop             esint        011    0  mathop  x      esint
 oiint              esint        013    0  mathop  x      esint
@@ -786,6 +784,8 @@ sqint              esint        015    0  mathop  x      esint
 sqintop            esint        015    0  mathop  x      esint
 sqiint             esint        017    0  mathop  x      esint
 sqiintop           esint        017    0  mathop  x      esint
+dotsint            esint        019    0  mathop  x      esint
+dotsintop          esint        019    0  mathop  x      esint
 ointctrclockwise   esint        023    0  mathop  x      esint
 ointctrclockwiseop esint        023    0  mathop  x      esint
 ointclockwise      esint        025    0  mathop  x      esint
@@ -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}