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.
This commit is contained in:
Enrico Forestieri 2019-06-03 10:21:40 +02:00
parent f9bf53f35a
commit 9bf8c87315

View File

@ -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