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