Move DrawStrategy enum to update_flags.h.

[lyx.git] / lib / autocorrect

diff --git a/lib/autocorrect b/lib/autocorrect
index a1d6f31267e803848b41557eb054965d4999eec7..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.
 #
 #
 
@@ -121,18 +122,21 @@
 =                 >    \Rightarrow
 =                 <    \Leftarrow
 \Rightarrow       =    \Longrightarrow
+\Leftarrow        >    \Leftrightarrow
 \Leftarrow        =    \Longleftarrow
 \Longleftarrow    >    \Longleftrightarrow
 
 \leftarrow        *    \longleftarrow
 \longleftarrow    *    \longleftrightarrow
-\longleftrightarrow *  \leftarrow
+\longleftrightarrow *  \leftrightarrow
+\leftrightarrow   *    \leftarrow
 \rightarrow       *    \longrightarrow
 \longrightarrow   *    \longleftrightarrow
 
 \Leftarrow        *    \Longleftarrow
 \Longleftarrow    *    \Longleftrightarrow
-\Longleftrightarrow *  \Leftarrow
+\Longleftrightarrow *  \Leftrightarrow
+\Leftrightarrow   *    \Leftarrow
 \Rightarrow       *    \Longrightarrow
 \Longrightarrow   *    \Longleftrightarrow
 
@@ -347,6 +351,8 @@ EE                w    \wedge
 \curlywedgedownarrow * \wedge
 EE                v    \vee
 EE                x    \times
+EE                V    \forall
+EE                E    \exists
 
 # <***/    \nsqsubset
 # <***=    \sqsubseteq