commit 1df3151b6a3bd3e3a25b74fa8d1a918fee67d924
Author: Enrico Forestieri <[email protected]>
Date: Mon Jun 3 16:54:28 2019 +0200
Math autocorret: cycle through dots
Also remove the unknown symbols \hdots and \udots.
---
lib/autocorrect | 11 +++++------
1 files changed, 5 insertions(+), 6 deletions(-)
diff --git a/lib/autocorrect b/lib/autocorrect
index b7a0795..a9c47e1 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -212,13 +212,12 @@
= @ \eqcirc
- @ \multimap
. = \doteq
-. . \ldots
+.. . \ldots
\ldots * \cdots
-\cdots * \hdots
-\hdots * \vdots
-\ddots * \ddots
-\iddots * \iddots
-\udots * \udots
+\cdots * \vdots
+\vdots * \ddots
+\ddots * \iddots
+\iddots * \ldots
: = \assign
+ = \plusassign
- = \minusassign
