From: Enrico Forestieri <forenr@lyx.org>
Date: Mon, 3 Jun 2019 10:32:13 +0000 (+0200)
Subject: Some more tweaks to math autocorrect
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=ddcf791dbbd6b9ff0e0c8f6fc09c73cbbcb778b1;p=features.git

Some more tweaks to math autocorrect

In particular, make the '>' and '<' symbols followed by '*' cycle
through some sensible group of symbols.
---

diff --git a/lib/autocorrect b/lib/autocorrect
index 4509096c24..b7a0795e3d 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -227,17 +227,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
@@ -247,20 +246,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
 
 #
@@ -343,10 +345,6 @@ EE                x    \times
 # >***=    \sqsupseteq
 # >***=/    \nsqsupseteq
 
-\succ             *    \rangle
-\rangle           *    \rightslice
-\rightslice       *    >
-
 (                 *    \bigl(
 \bigl(            *    \Bigl(
 \Bigl(            *    \biggl(