From 78e36eb6c49bd5135963d13373429fcc425e05ea Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Mon, 3 Jun 2019 10:21:40 +0200 Subject: [PATCH] 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 file changed, 72 insertions(+), 29 deletions(-) diff --git a/lib/autocorrect b/lib/autocorrect index af2b7cf004..35faa55084 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 -- 2.39.5