3 # Idea of "autocorrection" and parts of this file are shamelessly stolen
4 # from TeXMacs (they give vdhoeven@texmacs.org as contact)
6 # We do it a bit differently and allow corrections only to combine a symbol
7 # and a char to a new symbol. In other words the combination of the first column
8 # followed by the second column produces third column in the mathed.
26 \curlyvee * \curlyveeuparrow
27 \curlyveeuparrow * \curlyveedownarrow
28 \curlyveedownarrow * \vee
34 \leqslant / \nleqslant
35 \geqslant / \ngeqslant
58 \leqslant . \lesseqdot
67 \preccurlyeq / \npreccurlyeq
68 \succcurlyeq / \nsucccurlyeq
69 \preccurlyeq * \preceq
70 \succcurlyeq * \succeq
76 \precprec * \precprecprec
78 \succsucc * \succsuccsucc
79 \precprec = \precpreceq
81 \precprecprec = \precprecpreceq
82 \succsucc = \succsucceq
84 \succsuccsucc = \succsuccsucceq
85 \precprec / \nprecprec
86 \precprecprec / \nprecprecprec
87 \succsucc / \nsuccsucc
88 \succsuccsucc / \nsuccsuccsucc
89 \precpreceq / \nprecpreceq
90 \precprecpreceq / \nprecprecpreceq
91 \succsucceq / \nsuccsucceq
92 \succsuccsucceq / \nsuccsuccsucceq
104 \lesssim ~ \lessapprox
106 \precsim ~ \precapprox
118 \leftarrow > \leftrightarrow
119 \rightarrow - \longrightarrow
120 \leftarrow - \longleftarrow
121 \longleftarrow > \longleftrightarrow
124 \Rightarrow = \Longrightarrow
125 \Leftarrow > \Leftrightarrow
126 \Leftarrow = \Longleftarrow
127 \Longleftarrow > \Longleftrightarrow
129 \leftarrow * \longleftarrow
130 \longleftarrow * \longleftrightarrow
131 \longleftrightarrow * \leftrightarrow
132 \leftrightarrow * \leftarrow
133 \rightarrow * \longrightarrow
134 \longrightarrow * \longleftrightarrow
136 \Leftarrow * \Longleftarrow
137 \Longleftarrow * \Longleftrightarrow
138 \Longleftrightarrow * \Leftrightarrow
139 \Leftrightarrow * \Leftarrow
140 \Rightarrow * \Longrightarrow
141 \Longrightarrow * \Longleftrightarrow
152 \varnothing * \oslash
156 \circ > \ogreaterthan
175 \bullet * \blacksquare
180 \asympasymp * \simsim
189 \asympasymp / \nasympasymp
198 \shortmid * \varshortmid
206 \interleave - \Vvdash
207 \Vvdash - \longVvdash
211 \vartriangleleft * \blacktriangleleft
212 \vartriangleleft / \ntriangleleft
213 \vartriangleleft = \trianglelefteqslant
214 \trianglelefteqslant / \ntrianglelefteqslant
215 \trianglelefteqslant * \trianglelefteq
216 \trianglelefteq / \ntriangleqleft
217 | > \vartriangleright
218 \vartriangleright * \blacktriangleright
219 \vartriangleright / \ntriangleright
220 \vartriangleright = \trianglerighteq
221 \trianglerighteq / \ntriangleqright
222 \trianglerighteq * \trianglerighteqslant
223 \trianglerighteqslant / \ntrianglerighteqslant
253 \subseteq / \nsubseteq
254 \subseteq * \subseteqq
255 \sqsubset * \leftslice
258 \subseteqq / \nsubseteqq
259 \nsubseteqq * \subsetneq
260 \subsetneq * \varsubsetneq
261 \varsubsetneq * \subsetneqq
262 \subsetneqq * \varsubsetneqq
263 \subset + \subsetplus
264 \subsetplus = \subsetpluseq
265 \subseteq + \subsetpluseq
273 \supseteq / \nsupseteq
274 \supseteq * \supseteqq
275 \sqsupset * \rightslice
278 \supseteqq / \nsupseteqq
279 \supseteq / \supsetneq
280 \supsetneq * \nsupseteq
281 \supset + \supsetplus
282 \supsetplus = \supsetpluseq
283 \supseteq + \supsetpluseq
287 # The following is available in TeXMacs, but not (yet) in LyX
297 \shortmid / \nshortmid
298 \shortparallel / \nshortparallel
349 \curlywedge * \curlywedgeuparrow
350 \curlywedgeuparrow * \curlywedgedownarrow
351 \curlywedgedownarrow * \wedge
359 # <***=/ \nsqsubseteq
360 # >*=/** \varsupsetneq
362 # >*=*/** \varsupsetneqq
366 # >***=/ \nsqsupseteq