X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fautocorrect;h=af2b7cf0047168208dfeb397014e394e56428a92;hb=4549f46a431021d6667451ab83965eca12d58f58;hp=14526f79bfa807867f8dfa8a3a257b79ca3aed49;hpb=4dd8a4ed0ad7e8ef49b7c40cd96cc6d98b8410f9;p=lyx.git

diff --git a/lib/autocorrect b/lib/autocorrect
index 14526f79bf..af2b7cf004 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -5,9 +5,9 @@
 #
 # We do it a bit differently and allow corrections only to combine a symbol
 # and a char to a new symbol.
-# 
 #
-                  
+#
+
 |                 ,    \lfloor
 \lfloor           *    |,
 |                 '    \lceil
@@ -18,13 +18,13 @@
 \rceil            *    '|
 \llbracket        *    [[*
 \rrbracket        *    ]]*
-                  
+
 \cap              *    \sqcap
 \cup              *    \sqcup
 \vee              *    \curlyvee
 \curlyvee         *    \curlyveeuparrow
 \curlyveeuparrow  *    \curlyveedownarrow
-                  
+
 <                 /    \nless
 >                 /    \ngtr
 <                 =    \leqslant
@@ -55,7 +55,7 @@
 .                 >    \gtrdot
 \leqslant         .    \lesseqdot
 \gtrdot           =    \gtreqdot
-                  
+
 <                 *    \prec
 >                 *    \succ
 \prec             /    \nprec
@@ -153,7 +153,7 @@
 \box              |    \boxbar
 \box              *    \bullet
 \bullet           *    \blacksquare
-                  
+
 =                 *    \asymp
 \asymp            *    \equiv
 \equiv            *    \asympasymp
@@ -172,8 +172,8 @@
 \approx           /    \napprox
 \simeq            /    \nsimeq
 \cong             /    \ncong
-                  
-#|   \|           
+
+#|   \|
 |                 *    \shortmid
 \shortmid         *    \varshortmid
 |                 |    \||
@@ -216,6 +216,7 @@
 \cdots            *    \hdots
 \hdots            *    \vdots
 \ddots            *    \ddots
+\iddots           *    \iddots
 \udots            *    \udots
 :                 =    \assign
 +                 =    \plusassign
@@ -224,18 +225,17 @@
 *                 *    \ast
 \ast              *    \times
 \times            *    \cdot
-                       
+
 <                 *    \subset
 \subset           *    \in
-\                 /    \nsubset
-\in               *    \sqsubset 
+\in               *    \sqsubset
 \subset           =    \subseteq
 \subseteq         /    \nsubseteq
 \subseteq         *    \subseteqq
 \sqsubset         *    \langle
 \langle           *    \leftslice
 \leftslice        *    \subset
-                  
+
 \subseteq         /    \nsubseteq
 \subseteqq        /    \nsubseteqq
 \nsubseteqq       *    \subsetneq
@@ -252,8 +252,8 @@
 \supseteq         /    \nsupseteq
 \supseteq         *    \supseteqq
 \supseteq         /    \nsupseteq
-                  
-                  
+
+
 \supseteqq        /    \nsupseteqq
 \supseteq         /    \supsetneq
 \supset           +    \supsetplus