]> git.lyx.org Git - features.git/commitdiff
Use the new autocorrect feature
authorEnrico Forestieri <forenr@lyx.org>
Mon, 3 Jun 2019 08:21:40 +0000 (10:21 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:32 +0000 (15:48 +0200)
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

index af2b7cf0047168208dfeb397014e394e56428a92..35faa550849f951cb3cb8d91daf12e94c9c5afa8 100644 (file)
 #|   \|
 |                 *    \shortmid
 \shortmid         *    \varshortmid
-|                 |    \||
-\||               |    \interleave
-\||               *    \shortparallel
+|                 |    \|
+\|                |    \interleave
+\|                *    \shortparallel
 |                 -    \vdash
 \vdash            -    \longvdash
-\||               -    \Vdash
+\|                -    \Vdash
 \Vdash            -    \longVdash
 \interleave       -    \Vvdash
 \Vvdash           -    \longVvdash
 #
 
 #--|    \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
 #
 #>=*/*    \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
 # >***=    \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