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
32 \leqslant / \nleqslant
33 \geqslant / \ngeqslant
56 \leqslant . \lesseqdot
65 \preccurlyeq / \npreccurlyeq
66 \succcurlyeq / \nsucccurlyeq
67 \preccurlyeq * \preceq
68 \succcurlyeq * \succeq
74 \precprec * \precprecprec
76 \succsucc * \succsuccsucc
77 \precprec = \precpreceq
79 \precprecprec = \precprecpreceq
80 \succsucc = \succsucceq
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
102 \lesssim ~ \lessapprox
104 \precsim ~ \precapprox
116 \leftarrow > \leftrightarrow
117 \rightarrow - \longrightarrow
118 \leftarrow - \longleftarrow
119 \longleftarrow > \longleftrightarrow
132 \varnothing * \oslash
136 \circ > \ogreaterthan
155 \bullet * \blacksquare
160 \asympasymp * \simsim
169 \asympasymp / \nasympasymp
178 \shortmid * \varshortmid
186 \interleave - \Vvdash
187 \Vvdash - \longVvdash
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
234 \subseteq / \nsubseteq
235 \subseteq * \subseteqq
240 \subseteq / \nsubseteq
241 \subseteqq / \nsubseteqq
242 \nsubseteqq * \subsetneq
243 \subsetneq * \varsubsetneq
244 \varsubsetneq * \subsetneqq
245 \subsetneqq * \varsubsetneqq
246 \subset + \subsetplus
247 \subsetplus = \subsetpluseq
248 \subseteq + \subsetpluseq
253 \supseteq / \nsupseteq
254 \supseteq * \supseteqq
255 \supseteq / \nsupseteq
258 \supseteqq / \nsupseteqq
259 \supseteq / \supsetneq
260 \supset + \supsetplus
261 \supsetplus = \supsetpluseq
262 \supseteq + \supsetpluseq
267 # The following is available in TeXMacs, but not (yet) in LyX
278 #||*/ \nshortparallel
328 #\wedge * \curlywedge
329 #\curlywedge * \curlywedgeuparrow
330 #\curlywedgeuparrow * \curlywedgedownarrow
331 #\curlywedgedownarrow * \wedges
337 # <***=/ \nsqsubseteq
338 # >*=/** \varsupsetneq
340 # >*=*/** \varsupsetneqq
344 # >***=/ \nsqsupseteq
347 # \rangle * \rightslice