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.
25 \curlyvee * \curlyveeuparrow
26 \curlyveeuparrow * \curlyveedownarrow
27 \curlyveedownarrow * \vee
33 \leqslant / \nleqslant
34 \geqslant / \ngeqslant
57 \leqslant . \lesseqdot
66 \preccurlyeq / \npreccurlyeq
67 \succcurlyeq / \nsucccurlyeq
68 \preccurlyeq * \preceq
69 \succcurlyeq * \succeq
75 \precprec * \precprecprec
77 \succsucc * \succsuccsucc
78 \precprec = \precpreceq
80 \precprecprec = \precprecpreceq
81 \succsucc = \succsucceq
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
103 \lesssim ~ \lessapprox
105 \precsim ~ \precapprox
117 \leftarrow > \leftrightarrow
118 \rightarrow - \longrightarrow
119 \leftarrow - \longleftarrow
120 \longleftarrow > \longleftrightarrow
133 \varnothing * \oslash
137 \circ > \ogreaterthan
156 \bullet * \blacksquare
161 \asympasymp * \simsim
170 \asympasymp / \nasympasymp
179 \shortmid * \varshortmid
187 \interleave - \Vvdash
188 \Vvdash - \longVvdash
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
234 \subseteq / \nsubseteq
235 \subseteq * \subseteqq
236 \sqsubset * \leftslice
239 \subseteqq / \nsubseteqq
240 \nsubseteqq * \subsetneq
241 \subsetneq * \varsubsetneq
242 \varsubsetneq * \subsetneqq
243 \subsetneqq * \varsubsetneqq
244 \subset + \subsetplus
245 \subsetplus = \subsetpluseq
246 \subseteq + \subsetpluseq
254 \supseteq / \nsupseteq
255 \supseteq * \supseteqq
256 \sqsupset * \rightslice
259 \supseteqq / \nsupseteqq
260 \supseteq / \supsetneq
261 \supsetneq * \nsupseteq
262 \supset + \supsetplus
263 \supsetplus = \supsetpluseq
264 \supseteq + \supsetpluseq
268 # The following is available in TeXMacs, but not (yet) in LyX
278 \shortmid / \nshortmid
279 \shortparallel / \nshortparallel
330 \curlywedge * \curlywedgeuparrow
331 \curlywedgeuparrow * \curlywedgedownarrow
332 \curlywedgedownarrow * \wedge
338 # <***=/ \nsqsubseteq
339 # >*=/** \varsupsetneq
341 # >*=*/** \varsupsetneqq
345 # >***=/ \nsqsupseteq