commit 16d87a615b1ffc91a9568ceea7aac69807b077f7
Author: Enrico Forestieri <[email protected]>
Date: Mon Jun 3 12:32:13 2019 +0200
Some more tweaks to math autocorrect
In particular, make the '>' and '<' symbols followed by '*' cycle
through some sensible group of symbols.
---
lib/autocorrect | 26 ++++++++++++--------------
1 files changed, 12 insertions(+), 14 deletions(-)
diff --git a/lib/autocorrect b/lib/autocorrect
index 4509096..b7a0795 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(
