Move DrawStrategy enum to update_flags.h.

[lyx.git] / lib / autocorrect

diff --git a/lib/autocorrect b/lib/autocorrect
index 35faa550849f951cb3cb8d91daf12e94c9c5afa8..c8f9b2cf33366c9ae82bda8f0535edc96feaabf1 100644 (file)
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -4,7 +4,8 @@
 # from TeXMacs (they give vdhoeven@texmacs.org as contact)
 #
 # We do it a bit differently and allow corrections only to combine a symbol
-# and a char to a new symbol.
+# and a char to a new symbol. In other words the combination of the first column
+# followed by the second column produces third column in the mathed.
 #
 #
 
@@ -24,6 +25,7 @@
 \vee              *    \curlyvee
 \curlyvee         *    \curlyveeuparrow
 \curlyveeuparrow  *    \curlyveedownarrow
+\curlyveedownarrow *   \vee
 
 <                 /    \nless
 >                 /    \ngtr
@@ -118,7 +120,25 @@
 \leftarrow        -    \longleftarrow
 \longleftarrow    >    \longleftrightarrow
 =                 >    \Rightarrow
+=                 <    \Leftarrow
+\Rightarrow       =    \Longrightarrow
+\Leftarrow        >    \Leftrightarrow
+\Leftarrow        =    \Longleftarrow
+\Longleftarrow    >    \Longleftrightarrow
 
+\leftarrow        *    \longleftarrow
+\longleftarrow    *    \longleftrightarrow
+\longleftrightarrow *  \leftrightarrow
+\leftrightarrow   *    \leftarrow
+\rightarrow       *    \longrightarrow
+\longrightarrow   *    \longleftrightarrow
+
+\Leftarrow        *    \Longleftarrow
+\Longleftarrow    *    \Longleftrightarrow
+\Longleftrightarrow *  \Leftrightarrow
+\Leftrightarrow   *    \Leftarrow
+\Rightarrow       *    \Longrightarrow
+\Longrightarrow   *    \Longleftrightarrow
 
 @                 *    \circ
 \circ             /    \varnothing
@@ -211,13 +231,12 @@
 =                 @    \eqcirc
 -                 @    \multimap
 .                 =    \doteq
-.                 .    \ldots
+..                .    \ldots
 \ldots            *    \cdots
-\cdots            *    \hdots
-\hdots            *    \vdots
-\ddots            *    \ddots
-\iddots           *    \iddots
-\udots            *    \udots
+\cdots            *    \vdots
+\vdots            *    \ddots
+\ddots            *    \iddots
+\iddots           *    \ldots
 :                 =    \assign
 +                 =    \plusassign
 -                 =    \minusassign
@@ -226,17 +245,16 @@
 \ast              *    \times
 \times            *    \cdot
 
-<                 *    \subset
+\prec             *    \langle
+\langle           *    \subset
 \subset           *    \in
 \in               *    \sqsubset
 \subset           =    \subseteq
 \subseteq         /    \nsubseteq
 \subseteq         *    \subseteqq
-\sqsubset         *    \langle
-\langle           *    \leftslice
-\leftslice        *    \subset
+\sqsubset         *    \leftslice
+\leftslice        *    <
 
-\subseteq         /    \nsubseteq
 \subseteqq        /    \nsubseteqq
 \nsubseteqq       *    \subsetneq
 \subsetneq        *    \varsubsetneq
@@ -246,20 +264,23 @@
 \subsetplus       =    \subsetpluseq
 \subseteq         +    \subsetpluseq
 \in               /    \nin
->                 *    \supset
-\supset           /    \nsupset
+
+\succ             *    \rangle
+\rangle           *    \supset
+\supset           *    \ni
+\ni               *    \sqsupset
 \supset           =    \supseteq
 \supseteq         /    \nsupseteq
 \supseteq         *    \supseteqq
-\supseteq         /    \nsupseteq
-
+\sqsupset         *    \rightslice
+\rightslice       *    >
 
 \supseteqq        /    \nsupseteqq
 \supseteq         /    \supsetneq
+\supsetneq        *    \nsupseteq
 \supset           +    \supsetplus
 \supsetplus       =    \supsetpluseq
 \supseteq         +    \supsetpluseq
-\supset           *    \ni
 \ni               /    \nni
 
 #
@@ -327,9 +348,11 @@ EE                w    \wedge
 \wedge            *    \curlywedge
 \curlywedge       *    \curlywedgeuparrow
 \curlywedgeuparrow   * \curlywedgedownarrow
-\curlywedgedownarrow * \wedges
+\curlywedgedownarrow * \wedge
 EE                v    \vee
 EE                x    \times
+EE                V    \forall
+EE                E    \exists
 
 # <***/    \nsqsubset
 # <***=    \sqsubseteq
@@ -342,10 +365,6 @@ EE                x    \times
 # >***=    \sqsupseteq
 # >***=/    \nsqsupseteq
 
-\succ             *    \rangle
-\rangle           *    \rightslice
-\rightslice       *    >
-
 (                 *    \bigl(
 \bigl(            *    \Bigl(
 \Bigl(            *    \biggl(