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