From 707e980c7e3873958ad0486fb3f35d71fbcea25c Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Mon, 3 Jun 2019 11:37:15 +0200 Subject: [PATCH] Close cycle and correct typo I think that the autocorrect file needs an overhaul. --- lib/autocorrect | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/autocorrect b/lib/autocorrect index 35faa55084..4509096c24 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -24,6 +24,7 @@ \vee * \curlyvee \curlyvee * \curlyveeuparrow \curlyveeuparrow * \curlyveedownarrow +\curlyveedownarrow * \vee < / \nless > / \ngtr @@ -327,7 +328,7 @@ EE w \wedge \wedge * \curlywedge \curlywedge * \curlywedgeuparrow \curlywedgeuparrow * \curlywedgedownarrow -\curlywedgedownarrow * \wedges +\curlywedgedownarrow * \wedge EE v \vee EE x \times -- 2.39.5