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        >    \Leftrightarrow
 125 \Leftarrow        =    \Longleftarrow
 126 \Longleftarrow    >    \Longleftrightarrow
 127
 128 \leftarrow        *    \longleftarrow
 129 \longleftarrow    *    \longleftrightarrow
 130 \longleftrightarrow *  \leftrightarrow
 131 \leftrightarrow   *    \leftarrow
 132 \rightarrow       *    \longrightarrow
 133 \longrightarrow   *    \longleftrightarrow
 134
 135 \Leftarrow        *    \Longleftarrow
 136 \Longleftarrow    *    \Longleftrightarrow
 137 \Longleftrightarrow *  \Leftrightarrow
 138 \Leftrightarrow   *    \Leftarrow
 139 \Rightarrow       *    \Longrightarrow
 140 \Longrightarrow   *    \Longleftrightarrow
 141
 142 @                 *    \circ
 143 \circ             /    \varnothing
 144 \circ             +    \oplus
 145 \circ             -    \ominus
 146 @                 x    \otimes
 147 \circ             :    \oover
 148 \circ             .    \odot
 149 @                 R    \circledR
 150 @                 S    \circledS
 151 \varnothing       *    \oslash
 152 @                 \    \obslash
 153 @                 @    \infty
 154 \circ             <    \olessthan
 155 \circ             >    \ogreaterthan
 156 \circ             &    \owedge
 157 \circ             |    \obar
 158 \obar             *    \ovee
 159 \circ             v    \ovee
 160 \circ             @    \infty
 161 @@                *    \varocircle
 162 -@                @    \infty
 163 \circ             *    \box
 164 \box              +    \boxplus
 165 \box              -    \boxminus
 166 \box              x    \boxtimes
 167 \box              .    \boxdot
 168 \box              /    \boxslash
 169 \box              \    \boxbslash
 170 \box              @    \boxcircle
 171 \boxcircle        *    \boxbox
 172 \box              |    \boxbar
 173 \box              *    \bullet
 174 \bullet           *    \blacksquare
 175
 176 =                 *    \asymp
 177 \asymp            *    \equiv
 178 \equiv            *    \asympasymp
 179 \asympasymp       *    \simsim
 180 ~                 *    \sim
 181 \sim              ~    \approx
 182 \approx           -    \approxeq
 183 \sim              -    \simeq
 184 \sim              =    \cong
 185 =                 /    \neq
 186 \asymp            /    \nasymp
 187 \equiv            /    \nequiv
 188 \asympasymp       /    \nasympasymp
 189 \simsim           /    \nsimsim
 190 \sim              /    \nsim
 191 \approx           /    \napprox
 192 \simeq            /    \nsimeq
 193 \cong             /    \ncong
 194
 195 #|   \|
 196 |                 *    \shortmid
 197 \shortmid         *    \varshortmid
 198 |                 |    \|
 199 \|                |    \interleave
 200 \|                *    \shortparallel
 201 |                 -    \vdash
 202 \vdash            -    \longvdash
 203 \|                -    \Vdash
 204 \Vdash            -    \longVdash
 205 \interleave       -    \Vvdash
 206 \Vvdash           -    \longVvdash
 207 -                 |    \dashv
 208
 209 <                 |    \vartriangleleft
 210 \vartriangleleft  *    \blacktriangleleft
 211 \vartriangleleft  /    \ntriangleleft
 212 \vartriangleleft  =    \trianglelefteqslant
 213 \trianglelefteqslant / \ntrianglelefteqslant
 214 \trianglelefteqslant * \trianglelefteq
 215 \trianglelefteq   /    \ntriangleqleft
 216 |                 >    \vartriangleright
 217 \vartriangleright *    \blacktriangleright
 218 \vartriangleright /    \ntriangleright
 219 \vartriangleright =    \trianglerighteq
 220 \trianglerighteq  /    \ntriangleqright
 221 \trianglerighteq  *    \trianglerighteqslant
 222 \trianglerighteqslant  /    \ntrianglerighteqslant
 223
 224 -                 *    \um
 225 +                 -    \pm
 226 \pm               *    \upm
 227 -                 +    \mp
 228 \mp               *    \ump
 229 @                 =    \circeq
 230 =                 @    \eqcirc
 231 -                 @    \multimap
 232 .                 =    \doteq
 233 ..                .    \ldots
 234 \ldots            *    \cdots
 235 \cdots            *    \vdots
 236 \vdots            *    \ddots
 237 \ddots            *    \iddots
 238 \iddots           *    \ldots
 239 :                 =    \assign
 240 +                 =    \plusassign
 241 -                 =    \minusassign
 242 /                 *    \div
 243 *                 *    \ast
 244 \ast              *    \times
 245 \times            *    \cdot
 246
 247 \prec             *    \langle
 248 \langle           *    \subset
 249 \subset           *    \in
 250 \in               *    \sqsubset
 251 \subset           =    \subseteq
 252 \subseteq         /    \nsubseteq
 253 \subseteq         *    \subseteqq
 254 \sqsubset         *    \leftslice
 255 \leftslice        *    <
 256
 257 \subseteqq        /    \nsubseteqq
 258 \nsubseteqq       *    \subsetneq
 259 \subsetneq        *    \varsubsetneq
 260 \varsubsetneq     *    \subsetneqq
 261 \subsetneqq       *    \varsubsetneqq
 262 \subset           +    \subsetplus
 263 \subsetplus       =    \subsetpluseq
 264 \subseteq         +    \subsetpluseq
 265 \in               /    \nin
 266
 267 \succ             *    \rangle
 268 \rangle           *    \supset
 269 \supset           *    \ni
 270 \ni               *    \sqsupset
 271 \supset           =    \supseteq
 272 \supseteq         /    \nsupseteq
 273 \supseteq         *    \supseteqq
 274 \sqsupset         *    \rightslice
 275 \rightslice       *    >
 276
 277 \supseteqq        /    \nsupseteqq
 278 \supseteq         /    \supsetneq
 279 \supsetneq        *    \nsupseteq
 280 \supset           +    \supsetplus
 281 \supsetplus       =    \supsetpluseq
 282 \supseteq         +    \supsetpluseq
 283 \ni               /    \nni
 284
 285 #
 286 # The following is available in TeXMacs, but not (yet) in LyX
 287 #
 288
 289 #--|    \longdashv
 290 |                 =    \vDash
 291 #\vDash      =    \longvDash
 292 #||=    \VDash
 293 #||==    \longVDash
 294 #|                /    \nmid
 295 \|                /    \nparallel
 296 \shortmid         /    \nshortmid
 297 \shortparallel    /    \nshortparallel
 298 \vdash            /    \nvdash
 299 ||-               /    \nVdash
 300 #-|/    \ndashv
 301 #-||/    \ndashV
 302 \vDash            /    \nvDash
 303 \nvDash           *    \nVDash
 304 #=|/    \nDashv
 305 #=||/    \nDashV
 306 #
 307 #<=**>    \lesseqqgtr
 308 #>=**<    \gtreqqless
 309 #<>/   \nlessgtr
 310 #></   \ngtrless
 311 #<~/   \nlesssim
 312 #<~/*    \lnsim
 313 #<~~/    \nlessapprox
 314 #<~~/*    \lnapprox
 315 #<*~/    \nprecsim
 316 #<*~/*    \precnsim
 317 #<*~~/    \nprecapprox
 318 #<*~~/*    \precnapprox
 319 #>~/   \ngtrsim
 320 #>~/*    \gnsim
 321 #>~~/    \ngtrapprox
 322 #>~~/*    \gnapprox
 323 #>*~/   \nsuccsim
 324 #>*~/*    \succnsim
 325 #>*~~/    \nsuccapprox
 326 #>*~~/*    \succnapprox
 327 #<=**/    \nleqq
 328 #>=**/    \ngeqq
 329 #<=*>/    \nlesseqgtr
 330 #>=*</    \ngtreqless
 331 #<=**>/    \nlesseqqgtr
 332 #>=**</    \ngtreqqless
 333 #<=*/*    \lneq
 334 #<=**/*    \lneqq
 335 #<=**/**    \lvertneqq
 336 #>=*/*    \gneq
 337 #>=**/*    \gneqq
 338 #>=**/**    \gvertneqq
 339 [[                *    \llbracket
 340 ]]                *    \rrbracket
 341 EE                a    \amalg
 342 EE                d    \partial
 343 EE                p    \wp
 344 EE                n    \cap
 345 EE                u    \cup
 346 EE                w    \wedge
 347 \wedge            *    \curlywedge
 348 \curlywedge       *    \curlywedgeuparrow
 349 \curlywedgeuparrow   * \curlywedgedownarrow
 350 \curlywedgedownarrow * \wedge
 351 EE                v    \vee
 352 EE                x    \times
 353 EE                V    \forall
 354 EE                E    \exists
 355
 356 # <***/    \nsqsubset
 357 # <***=    \sqsubseteq
 358 # <***=/    \nsqsubseteq
 359 # >*=/**    \varsupsetneq
 360 # >*=*/*    \supsetneqq
 361 # >*=*/**    \varsupsetneqq
 362 # >***    \sqsupset
 363 # >***/    \nsqsupset
 364 # >***=    \sqsupseteq
 365 # >***=/    \nsqsupseteq
 366
 367 (                 *    \bigl(
 368 \bigl(            *    \Bigl(
 369 \Bigl(            *    \biggl(
 370 \biggl(           *    \Biggl(
 371 \Biggl(           *    (
 372
 373 )                 *    \bigl)
 374 \bigl)            *    \Bigl)
 375 \Bigl)            *    \biggl)
 376 \biggl)           *    \Biggl)
 377 \Biggl)           *    )
 378
 379 [                 *    \bigl[
 380 \bigl[            *    \Bigl[
 381 \Bigl[            *    \biggl[
 382 \biggl[           *    \Biggl[
 383 \Biggl[           *    [
 384
 385 ]                 *    \bigl]
 386 \bigl]            *    \Bigl]
 387 \Bigl]            *    \biggl]
 388 \biggl]           *    \Biggl]
 389 \Biggl]           *    ]
 390
 391 ]                 *    \bigl]
 392 \bigl]            *    \Bigl]
 393 \Bigl]            *    \biggl]
 394 \biggl]           *    \Biggl]
 395 \Biggl]           *    ]
 396
 397 \{                *    \bigl\{
 398 \bigl\{           *    \Bigl\{
 399 \Bigl\{           *    \biggl\{
 400 \biggl\{          *    \Biggl\{
 401 \Biggl\{          *    \{
 402
 403 \}                *    \bigl\}
 404 \bigl\}           *    \Bigl\}
 405 \Bigl\}           *    \biggl\}
 406 \biggl\}          *    \Biggl\}
 407 \Biggl\}          *    \}
 408
 409 # EE                l    \bigl
 410 # EE                m    \bigm
 411 # EE                r    \bigr
 412 # EE                @    \bigop
 413 # EE                L    \int