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\iddots * \iddots 220\udots * \udots 221: = \assign 222+ = \plusassign 223- = \minusassign 224/ * \div 225* * \ast 226\ast * \times 227\times * \cdot 228 229< * \subset 230\subset * \in 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 353