From 16d87a615b1ffc91a9568ceea7aac69807b077f7 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Mon, 3 Jun 2019 12:32:13 +0200 Subject: [PATCH] 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 file changed, 12 insertions(+), 14 deletions(-) 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( -- 2.39.5