Fix bug #12711

Add a few missing autocorrect combinations.
2024-11-22 10:00:33 +00:00 · 2023-03-19 09:34:01 +01:00 · 2023-03-19 09:34:01 +01:00 · 0470082240
commit 0470082240
parent 1d637b8af0
1 changed files with 4 additions and 0 deletions
--- a/lib/autocorrect
+++ b/lib/autocorrect
@ -119,6 +119,10 @@
 \leftarrow        -    \longleftarrow
 \longleftarrow    >    \longleftrightarrow
 =                 >    \Rightarrow
+=                 <    \Leftarrow
+\Rightarrow       =    \Longrightarrow
+\Leftarrow        =    \Longleftarrow
+\Longleftarrow    >    \Longleftrightarrow


@                 *    \circ