lib/autocorrect

   1
   2 #
   3 # Idea of "autocorrection" and parts of this file are shamelessly stolen
   4 # from TeXMacs (they give vdhoeven@texmacs.org as contact)
   5 #
   6 # We do it a bit differently and allow corrections only to combine a symbol
   7 # and a char to a new symbol.
   8 #
   9 #
  10
  11 |                 ,    \lfloor
  12 \lfloor           *    |,
  13 |                 '    \lceil
  14 \lceil            *    |'
  15 ,                 |    \rfloor
  16 \rfloor           *    ,|
  17 '                 |    \rceil
  18 \rceil            *    '|
  19 \llbracket        *    [[*
  20 \rrbracket        *    ]]*
  21
  22 \cap              *    \sqcap
  23 \cup              *    \sqcup
  24 \vee              *    \curlyvee
  25 \curlyvee         *    \curlyveeuparrow
  26 \curlyveeuparrow  *    \curlyveedownarrow
  27 \curlyveedownarrow *   \vee
  28
  29 <                 /    \nless
  30 >                 /    \ngtr
  31 <                 =    \leqslant
  32 >                 =    \geqslant
  33 \leqslant         /    \nleqslant
  34 \geqslant         /    \ngeqslant
  35 \leqslant         *    \leq
  36 \geslant          *    \geq
  37 \leq              /    \nleq
  38 \geq              /    \ngeq
  39 <                 <    \ll
  40 \ll               <    \lll
  41 >                 >    \gg
  42 \gg               >    \ggg
  43 \ll               =    \lleq
  44 \lll              =    \llleq
  45 \gg               =    \ggeq
  46 \ggg              =    \gggeq
  47 \ll               /    \nll
  48 \lll              /    \nlll
  49 \gg               /    \ngg
  50 \ggg              /    \nggg
  51 \lleq             /    \nlleq
  52 \llleq            /    \nllleq
  53 \ggeq             /    \nggeq
  54 \gggeq            /    \ngggeq
  55 <                 .    \lessdot
  56 .                 >    \gtrdot
  57 \leqslant         .    \lesseqdot
  58 \gtrdot           =    \gtreqdot
  59
  60 <                 *    \prec
  61 >                 *    \succ
  62 \prec             /    \nprec
  63 \succ             /    \nsucc
  64 \prec             =    \preccurlyeq
  65 \succ             =    \succcurlyeq
  66 \preccurlyeq      /    \npreccurlyeq
  67 \succcurlyeq      /    \nsucccurlyeq
  68 \preccurlyeq      *    \preceq
  69 \succcurlyeq      *    \succeq
  70 \preceq           /    \npreceq
  71 \succeq           /    \nsucceq
  72 \npreceq          *    \precneqq
  73 \nsucceq          *    \succneqq
  74 \ll               *    \precprec
  75 \precprec         *    \precprecprec
  76 \gg               *    \succsucc
  77 \succsucc         *    \succsuccsucc
  78 \precprec         =    \precpreceq
  79 \lll              *    \precprecprec
  80 \precprecprec     =    \precprecpreceq
  81 \succsucc         =    \succsucceq
  82 \ggg              =    \succsuccsucc
  83 \succsuccsucc     =    \succsuccsucceq
  84 \precprec         /    \nprecprec
  85 \precprecprec     /    \nprecprecprec
  86 \succsucc         /    \nsuccsucc
  87 \succsuccsucc     /    \nsuccsuccsucc
  88 \precpreceq       /    \nprecpreceq
  89 \precprecpreceq   /    \nprecprecpreceq
  90 \succsucceq       /    \nsuccsucceq
  91 \succsuccsucceq   /    \nsuccsuccsucceq
  92
  93 \prec             .    \precdot
  94 \succ             .    \dotsucc
  95 \precdot          .    \preceqdot
  96 \dotsucc          .    \dotsucceq
  97 \precprec         *    \llangle
  98 \succsucc         *    \rrangle
  99
 100 <                 >    \lessgtr
 101 >                 <    \gtrless
 102 <                 ~    \lesssim
 103 \lesssim          ~    \lessapprox
 104 \prec             ~    \precsim
 105 \precsim          ~    \precapprox
 106 >                 ~    \gtrsim
 107 \gtrsim           ~    \gtrapprox
 108 \succ             ~    \gtrsim
 109 \gtrsim           ~    \gtrapprox
 110 \leq              *    \leqq
 111 \geq              *    \geqq
 112 \leq              >    \lesseqgtr
 113 \geq              <    \gtrqless
 114
 115 -                 >    \rightarrow
 116 <                 -    \leftarrow
 117 \leftarrow        >    \leftrightarrow
 118 \rightarrow       -    \longrightarrow
 119 \leftarrow        -    \longleftarrow
 120 \longleftarrow    >    \longleftrightarrow
 121 =                 >    \Rightarrow
 122 =                 <    \Leftarrow
 123 \Rightarrow       =    \Longrightarrow
 124 \Leftarrow        =    \Longleftarrow
 125 \Longleftarrow    >    \Longleftrightarrow
 126
 127 \leftarrow        *    \longleftarrow
 128 \longleftarrow    *    \longleftrightarrow
 129 \longleftrightarrow *  \leftarrow
 130 \rightarrow       *    \longrightarrow
 131 \longrightarrow   *    \longleftrightarrow
 132
 133 \Leftarrow        *    \Longleftarrow
 134 \Longleftarrow    *    \Longleftrightarrow
 135 \Longleftrightarrow *  \Leftarrow
 136 \Rightarrow       *    \Longrightarrow
 137 \Longrightarrow   *    \Longleftrightarrow
 138
 139 @                 *    \circ
 140 \circ             /    \varnothing
 141 \circ             +    \oplus
 142 \circ             -    \ominus
 143 @                 x    \otimes
 144 \circ             :    \oover
 145 \circ             .    \odot
 146 @                 R    \circledR
 147 @                 S    \circledS
 148 \varnothing       *    \oslash
 149 @                 \    \obslash
 150 @                 @    \infty
 151 \circ             <    \olessthan
 152 \circ             >    \ogreaterthan
 153 \circ             &    \owedge
 154 \circ             |    \obar
 155 \obar             *    \ovee
 156 \circ             v    \ovee
 157 \circ             @    \infty
 158 @@                *    \varocircle
 159 -@                @    \infty
 160 \circ             *    \box
 161 \box              +    \boxplus
 162 \box              -    \boxminus
 163 \box              x    \boxtimes
 164 \box              .    \boxdot
 165 \box              /    \boxslash
 166 \box              \    \boxbslash
 167 \box              @    \boxcircle
 168 \boxcircle        *    \boxbox
 169 \box              |    \boxbar
 170 \box              *    \bullet
 171 \bullet           *    \blacksquare
 172
 173 =                 *    \asymp
 174 \asymp            *    \equiv
 175 \equiv            *    \asympasymp
 176 \asympasymp       *    \simsim
 177 ~                 *    \sim
 178 \sim              ~    \approx
 179 \approx           -    \approxeq
 180 \sim              -    \simeq
 181 \sim              =    \cong
 182 =                 /    \neq
 183 \asymp            /    \nasymp
 184 \equiv            /    \nequiv
 185 \asympasymp       /    \nasympasymp
 186 \simsim           /    \nsimsim
 187 \sim              /    \nsim
 188 \approx           /    \napprox
 189 \simeq            /    \nsimeq
 190 \cong             /    \ncong
 191
 192 #|   \|
 193 |                 *    \shortmid
 194 \shortmid         *    \varshortmid
 195 |                 |    \|
 196 \|                |    \interleave
 197 \|                *    \shortparallel
 198 |                 -    \vdash
 199 \vdash            -    \longvdash
 200 \|                -    \Vdash
 201 \Vdash            -    \longVdash
 202 \interleave       -    \Vvdash
 203 \Vvdash           -    \longVvdash
 204 -                 |    \dashv
 205
 206 <                 |    \vartriangleleft
 207 \vartriangleleft  *    \blacktriangleleft
 208 \vartriangleleft  /    \ntriangleleft
 209 \vartriangleleft  =    \trianglelefteqslant
 210 \trianglelefteqslant / \ntrianglelefteqslant
 211 \trianglelefteqslant * \trianglelefteq
 212 \trianglelefteq   /    \ntriangleqleft
 213 |                 >    \vartriangleright
 214 \vartriangleright *    \blacktriangleright
 215 \vartriangleright /    \ntriangleright
 216 \vartriangleright =    \trianglerighteq
 217 \trianglerighteq  /    \ntriangleqright
 218 \trianglerighteq  *    \trianglerighteqslant
 219 \trianglerighteqslant  /    \ntrianglerighteqslant
 220
 221 -                 *    \um
 222 +                 -    \pm
 223 \pm               *    \upm
 224 -                 +    \mp
 225 \mp               *    \ump
 226 @                 =    \circeq
 227 =                 @    \eqcirc
 228 -                 @    \multimap
 229 .                 =    \doteq
 230 ..                .    \ldots
 231 \ldots            *    \cdots
 232 \cdots            *    \vdots
 233 \vdots            *    \ddots
 234 \ddots            *    \iddots
 235 \iddots           *    \ldots
 236 :                 =    \assign
 237 +                 =    \plusassign
 238 -                 =    \minusassign
 239 /                 *    \div
 240 *                 *    \ast
 241 \ast              *    \times
 242 \times            *    \cdot
 243
 244 \prec             *    \langle
 245 \langle           *    \subset
 246 \subset           *    \in
 247 \in               *    \sqsubset
 248 \subset           =    \subseteq
 249 \subseteq         /    \nsubseteq
 250 \subseteq         *    \subseteqq
 251 \sqsubset         *    \leftslice
 252 \leftslice        *    <
 253
 254 \subseteqq        /    \nsubseteqq
 255 \nsubseteqq       *    \subsetneq
 256 \subsetneq        *    \varsubsetneq
 257 \varsubsetneq     *    \subsetneqq
 258 \subsetneqq       *    \varsubsetneqq
 259 \subset           +    \subsetplus
 260 \subsetplus       =    \subsetpluseq
 261 \subseteq         +    \subsetpluseq
 262 \in               /    \nin
 263
 264 \succ             *    \rangle
 265 \rangle           *    \supset
 266 \supset           *    \ni
 267 \ni               *    \sqsupset
 268 \supset           =    \supseteq
 269 \supseteq         /    \nsupseteq
 270 \supseteq         *    \supseteqq
 271 \sqsupset         *    \rightslice
 272 \rightslice       *    >
 273
 274 \supseteqq        /    \nsupseteqq
 275 \supseteq         /    \supsetneq
 276 \supsetneq        *    \nsupseteq
 277 \supset           +    \supsetplus
 278 \supsetplus       =    \supsetpluseq
 279 \supseteq         +    \supsetpluseq
 280 \ni               /    \nni
 281
 282 #
 283 # The following is available in TeXMacs, but not (yet) in LyX
 284 #
 285
 286 #--|    \longdashv
 287 |                 =    \vDash
 288 #\vDash      =    \longvDash
 289 #||=    \VDash
 290 #||==    \longVDash
 291 #|                /    \nmid
 292 \|                /    \nparallel
 293 \shortmid         /    \nshortmid
 294 \shortparallel    /    \nshortparallel
 295 \vdash            /    \nvdash
 296 ||-               /    \nVdash
 297 #-|/    \ndashv
 298 #-||/    \ndashV
 299 \vDash            /    \nvDash
 300 \nvDash           *    \nVDash
 301 #=|/    \nDashv
 302 #=||/    \nDashV
 303 #
 304 #<=**>    \lesseqqgtr
 305 #>=**<    \gtreqqless
 306 #<>/   \nlessgtr
 307 #></   \ngtrless
 308 #<~/   \nlesssim
 309 #<~/*    \lnsim
 310 #<~~/    \nlessapprox
 311 #<~~/*    \lnapprox
 312 #<*~/    \nprecsim
 313 #<*~/*    \precnsim
 314 #<*~~/    \nprecapprox
 315 #<*~~/*    \precnapprox
 316 #>~/   \ngtrsim
 317 #>~/*    \gnsim
 318 #>~~/    \ngtrapprox
 319 #>~~/*    \gnapprox
 320 #>*~/   \nsuccsim
 321 #>*~/*    \succnsim
 322 #>*~~/    \nsuccapprox
 323 #>*~~/*    \succnapprox
 324 #<=**/    \nleqq
 325 #>=**/    \ngeqq
 326 #<=*>/    \nlesseqgtr
 327 #>=*</    \ngtreqless
 328 #<=**>/    \nlesseqqgtr
 329 #>=**</    \ngtreqqless
 330 #<=*/*    \lneq
 331 #<=**/*    \lneqq
 332 #<=**/**    \lvertneqq
 333 #>=*/*    \gneq
 334 #>=**/*    \gneqq
 335 #>=**/**    \gvertneqq
 336 [[                *    \llbracket
 337 ]]                *    \rrbracket
 338 EE                a    \amalg
 339 EE                d    \partial
 340 EE                p    \wp
 341 EE                n    \cap
 342 EE                u    \cup
 343 EE                w    \wedge
 344 \wedge            *    \curlywedge
 345 \curlywedge       *    \curlywedgeuparrow
 346 \curlywedgeuparrow   * \curlywedgedownarrow
 347 \curlywedgedownarrow * \wedge
 348 EE                v    \vee
 349 EE                x    \times
 350
 351 # <***/    \nsqsubset
 352 # <***=    \sqsubseteq
 353 # <***=/    \nsqsubseteq
 354 # >*=/**    \varsupsetneq
 355 # >*=*/*    \supsetneqq
 356 # >*=*/**    \varsupsetneqq
 357 # >***    \sqsupset
 358 # >***/    \nsqsupset
 359 # >***=    \sqsupseteq
 360 # >***=/    \nsqsupseteq
 361
 362 (                 *    \bigl(
 363 \bigl(            *    \Bigl(
 364 \Bigl(            *    \biggl(
 365 \biggl(           *    \Biggl(
 366 \Biggl(           *    (
 367
 368 )                 *    \bigl)
 369 \bigl)            *    \Bigl)
 370 \Bigl)            *    \biggl)
 371 \biggl)           *    \Biggl)
 372 \Biggl)           *    )
 373
 374 [                 *    \bigl[
 375 \bigl[            *    \Bigl[
 376 \Bigl[            *    \biggl[
 377 \biggl[           *    \Biggl[
 378 \Biggl[           *    [
 379
 380 ]                 *    \bigl]
 381 \bigl]            *    \Bigl]
 382 \Bigl]            *    \biggl]
 383 \biggl]           *    \Biggl]
 384 \Biggl]           *    ]
 385
 386 ]                 *    \bigl]
 387 \bigl]            *    \Bigl]
 388 \Bigl]            *    \biggl]
 389 \biggl]           *    \Biggl]
 390 \Biggl]           *    ]
 391
 392 \{                *    \bigl\{
 393 \bigl\{           *    \Bigl\{
 394 \Bigl\{           *    \biggl\{
 395 \biggl\{          *    \Biggl\{
 396 \Biggl\{          *    \{
 397
 398 \}                *    \bigl\}
 399 \bigl\}           *    \Bigl\}
 400 \Bigl\}           *    \biggl\}
 401 \biggl\}          *    \Biggl\}
 402 \Biggl\}          *    \}
 403
 404 # EE                l    \bigl
 405 # EE                m    \bigm
 406 # EE                r    \bigr
 407 # EE                @    \bigop
 408 # EE                L    \int