From c3be5d1709febd159a4b8c8de2b05920f3249655 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Sun, 19 Mar 2023 10:50:13 +0100 Subject: [PATCH] Amend 4384ac75 --- lib/autocorrect | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/lib/autocorrect b/lib/autocorrect index a1d6f31267..09833b440f 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -121,18 +121,21 @@ = > \Rightarrow = < \Leftarrow \Rightarrow = \Longrightarrow +\Leftarrow > \Leftrightarrow \Leftarrow = \Longleftarrow \Longleftarrow > \Longleftrightarrow \leftarrow * \longleftarrow \longleftarrow * \longleftrightarrow -\longleftrightarrow * \leftarrow +\longleftrightarrow * \leftrightarrow +\leftrightarrow * \leftarrow \rightarrow * \longrightarrow \longrightarrow * \longleftrightarrow \Leftarrow * \Longleftarrow \Longleftarrow * \Longleftrightarrow -\Longleftrightarrow * \Leftarrow +\Longleftrightarrow * \Leftrightarrow +\Leftrightarrow * \Leftarrow \Rightarrow * \Longrightarrow \Longrightarrow * \Longleftrightarrow -- 2.39.5