commit 9bf8c8731522cccd46032a3c83deb47bad41bedc
Author: Enrico Forestieri <[email protected]>
Date: Mon Jun 3 10:21:40 2019 +0200
Use the new autocorrect feature
Correct or activate some already present shortcuts, and add new ones
for easily obtaining the most common fixed size delimiters.
Pressing '*' after a delimiter will cycle through all sizes.
---
lib/autocorrect | 101 +++++++++++++++++++++++++++++++++++++++----------------
1 files changed, 72 insertions(+), 29 deletions(-)
diff --git a/lib/autocorrect b/lib/autocorrect
index af2b7cf..35faa55 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -176,12 +176,12 @@
#| \|
| * \shortmid
\shortmid * \varshortmid
-| | \||
-\|| | \interleave
-\|| * \shortparallel
+| | \|
+\| | \interleave
+\| * \shortparallel
| - \vdash
\vdash - \longvdash
-\|| - \Vdash
+\| - \Vdash
\Vdash - \longVdash
\interleave - \Vvdash
\Vvdash - \longVvdash
@@ -267,20 +267,20 @@
#
#--| \longdashv
-#| = \vDash
+| = \vDash
#\vDash = \longvDash
#||= \VDash
#||== \longVDash
-#| / \nmid
-#||/ \nparallel
-#|*/ \nshortmid
-#||*/ \nshortparallel
-#|-/ \nvdash
-#||-/ \nVdash
+#| / \nmid
+\| / \nparallel
+\shortmid / \nshortmid
+\shortparallel / \nshortparallel
+\vdash / \nvdash
+||- / \nVdash
#-|/ \ndashv
#-||/ \ndashV
-#|=/ \nvDash
-#||=/ \nVDash
+\vDash / \nvDash
+\nvDash * \nVDash
#=|/ \nDashv
#=||/ \nDashV
#
@@ -316,20 +316,20 @@
#>=*/* \gneq
#>=**/* \gneqq
#>=**/** \gvertneqq
-#[[ * \llbracket
-#]] * \rrbracket
-#EE a \amalg
-#EE d \partial
-#EE p \wp
-#EE n \cap
-#EE u \cup
-#EE w \wedge
-#\wedge * \curlywedge
-#\curlywedge * \curlywedgeuparrow
-#\curlywedgeuparrow * \curlywedgedownarrow
-#\curlywedgedownarrow * \wedges
-#EE v \vee
-#EE x \times
+[[ * \llbracket
+]] * \rrbracket
+EE a \amalg
+EE d \partial
+EE p \wp
+EE n \cap
+EE u \cup
+EE w \wedge
+\wedge * \curlywedge
+\curlywedge * \curlywedgeuparrow
+\curlywedgeuparrow * \curlywedgedownarrow
+\curlywedgedownarrow * \wedges
+EE v \vee
+EE x \times
# <***/ \nsqsubset
# <***= \sqsubseteq
@@ -342,8 +342,51 @@
# >***= \sqsupseteq
# >***=/ \nsqsupseteq
-# >**** \rangle
-# \rangle * \rightslice
+\succ * \rangle
+\rangle * \rightslice
+\rightslice * >
+
+( * \bigl(
+\bigl( * \Bigl(
+\Bigl( * \biggl(
+\biggl( * \Biggl(
+\Biggl( * (
+
+) * \bigl)
+\bigl) * \Bigl)
+\Bigl) * \biggl)
+\biggl) * \Biggl)
+\Biggl) * )
+
+[ * \bigl[
+\bigl[ * \Bigl[
+\Bigl[ * \biggl[
+\biggl[ * \Biggl[
+\Biggl[ * [
+
+] * \bigl]
+\bigl] * \Bigl]
+\Bigl] * \biggl]
+\biggl] * \Biggl]
+\Biggl] * ]
+
+] * \bigl]
+\bigl] * \Bigl]
+\Bigl] * \biggl]
+\biggl] * \Biggl]
+\Biggl] * ]
+
+\{ * \bigl\{
+\bigl\{ * \Bigl\{
+\Bigl\{ * \biggl\{
+\biggl\{ * \Biggl\{
+\Biggl\{ * \{
+
+\} * \bigl\}
+\bigl\} * \Bigl\}
+\Bigl\} * \biggl\}
+\biggl\} * \Biggl\}
+\Biggl\} * \}
# EE l \bigl
# EE m \bigm
