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