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            *    \vdots
 218 \vdots            *    \ddots
 219 \ddots            *    \iddots
 220 \iddots           *    \ldots
 221 :                 =    \assign
 222 +                 =    \plusassign
 223 -                 =    \minusassign
 224 /                 *    \div
 225 *                 *    \ast
 226 \ast              *    \times
 227 \times            *    \cdot
 228
 229 \prec             *    \langle
 230 \langle           *    \subset
 231 \subset           *    \in
 232 \in               *    \sqsubset
 233 \subset           =    \subseteq
 234 \subseteq         /    \nsubseteq
 235 \subseteq         *    \subseteqq
 236 \sqsubset         *    \leftslice
 237 \leftslice        *    <
 238
 239 \subseteqq        /    \nsubseteqq
 240 \nsubseteqq       *    \subsetneq
 241 \subsetneq        *    \varsubsetneq
 242 \varsubsetneq     *    \subsetneqq
 243 \subsetneqq       *    \varsubsetneqq
 244 \subset           +    \subsetplus
 245 \subsetplus       =    \subsetpluseq
 246 \subseteq         +    \subsetpluseq
 247 \in               /    \nin
 248
 249 \succ             *    \rangle
 250 \rangle           *    \supset
 251 \supset           *    \ni
 252 \ni               *    \sqsupset
 253 \supset           =    \supseteq
 254 \supseteq         /    \nsupseteq
 255 \supseteq         *    \supseteqq
 256 \sqsupset         *    \rightslice
 257 \rightslice       *    >
 258
 259 \supseteqq        /    \nsupseteqq
 260 \supseteq         /    \supsetneq
 261 \supsetneq        *    \nsupseteq
 262 \supset           +    \supsetplus
 263 \supsetplus       =    \supsetpluseq
 264 \supseteq         +    \supsetpluseq
 265 \ni               /    \nni
 266
 267 #
 268 # The following is available in TeXMacs, but not (yet) in LyX
 269 #
 270
 271 #--|    \longdashv
 272 |                 =    \vDash
 273 #\vDash      =    \longvDash
 274 #||=    \VDash
 275 #||==    \longVDash
 276 #|                /    \nmid
 277 \|                /    \nparallel
 278 \shortmid         /    \nshortmid
 279 \shortparallel    /    \nshortparallel
 280 \vdash            /    \nvdash
 281 ||-               /    \nVdash
 282 #-|/    \ndashv
 283 #-||/    \ndashV
 284 \vDash            /    \nvDash
 285 \nvDash           *    \nVDash
 286 #=|/    \nDashv
 287 #=||/    \nDashV
 288 #
 289 #<=**>    \lesseqqgtr
 290 #>=**<    \gtreqqless
 291 #<>/   \nlessgtr
 292 #></   \ngtrless
 293 #<~/   \nlesssim
 294 #<~/*    \lnsim
 295 #<~~/    \nlessapprox
 296 #<~~/*    \lnapprox
 297 #<*~/    \nprecsim
 298 #<*~/*    \precnsim
 299 #<*~~/    \nprecapprox
 300 #<*~~/*    \precnapprox
 301 #>~/   \ngtrsim
 302 #>~/*    \gnsim
 303 #>~~/    \ngtrapprox
 304 #>~~/*    \gnapprox
 305 #>*~/   \nsuccsim
 306 #>*~/*    \succnsim
 307 #>*~~/    \nsuccapprox
 308 #>*~~/*    \succnapprox
 309 #<=**/    \nleqq
 310 #>=**/    \ngeqq
 311 #<=*>/    \nlesseqgtr
 312 #>=*</    \ngtreqless
 313 #<=**>/    \nlesseqqgtr
 314 #>=**</    \ngtreqqless
 315 #<=*/*    \lneq
 316 #<=**/*    \lneqq
 317 #<=**/**    \lvertneqq
 318 #>=*/*    \gneq
 319 #>=**/*    \gneqq
 320 #>=**/**    \gvertneqq
 321 [[                *    \llbracket
 322 ]]                *    \rrbracket
 323 EE                a    \amalg
 324 EE                d    \partial
 325 EE                p    \wp
 326 EE                n    \cap
 327 EE                u    \cup
 328 EE                w    \wedge
 329 \wedge            *    \curlywedge
 330 \curlywedge       *    \curlywedgeuparrow
 331 \curlywedgeuparrow   * \curlywedgedownarrow
 332 \curlywedgedownarrow * \wedge
 333 EE                v    \vee
 334 EE                x    \times
 335
 336 # <***/    \nsqsubset
 337 # <***=    \sqsubseteq
 338 # <***=/    \nsqsubseteq
 339 # >*=/**    \varsupsetneq
 340 # >*=*/*    \supsetneqq
 341 # >*=*/**    \varsupsetneqq
 342 # >***    \sqsupset
 343 # >***/    \nsqsupset
 344 # >***=    \sqsupseteq
 345 # >***=/    \nsqsupseteq
 346
 347 (                 *    \bigl(
 348 \bigl(            *    \Bigl(
 349 \Bigl(            *    \biggl(
 350 \biggl(           *    \Biggl(
 351 \Biggl(           *    (
 352
 353 )                 *    \bigl)
 354 \bigl)            *    \Bigl)
 355 \Bigl)            *    \biggl)
 356 \biggl)           *    \Biggl)
 357 \Biggl)           *    )
 358
 359 [                 *    \bigl[
 360 \bigl[            *    \Bigl[
 361 \Bigl[            *    \biggl[
 362 \biggl[           *    \Biggl[
 363 \Biggl[           *    [
 364
 365 ]                 *    \bigl]
 366 \bigl]            *    \Bigl]
 367 \Bigl]            *    \biggl]
 368 \biggl]           *    \Biggl]
 369 \Biggl]           *    ]
 370
 371 ]                 *    \bigl]
 372 \bigl]            *    \Bigl]
 373 \Bigl]            *    \biggl]
 374 \biggl]           *    \Biggl]
 375 \Biggl]           *    ]
 376
 377 \{                *    \bigl\{
 378 \bigl\{           *    \Bigl\{
 379 \Bigl\{           *    \biggl\{
 380 \biggl\{          *    \Biggl\{
 381 \Biggl\{          *    \{
 382
 383 \}                *    \bigl\}
 384 \bigl\}           *    \Bigl\}
 385 \Bigl\}           *    \biggl\}
 386 \biggl\}          *    \Biggl\}
 387 \Biggl\}          *    \}
 388
 389 # EE                l    \bigl
 390 # EE                m    \bigm
 391 # EE                r    \bigr
 392 # EE                @    \bigop
 393 # EE                L    \int