| blob | 787e9f721b8b159497dfce7bb021be9a8835e91c |
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 #
11 | , \lfloor
12 \lfloor * |,
13 | ' \lceil
14 \lceil * |'
15 , | \rfloor
16 \rfloor * ,|
17 ' | \rceil
18 \rceil * '|
19 \llbracket * [[*
20 \rrbracket * ]]*
22 \cap * \sqcap
23 \cup * \sqcup
24 \vee * \curlyvee
25 \curlyvee * \curlyveeuparrow
26 \curlyveeuparrow * \curlyveedownarrow
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
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
92 \prec . \precdot
93 \succ . \dotsucc
94 \precdot . \preceqdot
95 \dotsucc . \dotsucceq
96 \precprec * \llangle
97 \succsucc * \rrangle
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
114 - > \rightarrow
115 < - \leftarrow
116 \leftarrow > \leftrightarrow
117 \rightarrow - \longrightarrow
118 \leftarrow - \longleftarrow
119 \longleftarrow > \longleftrightarrow
120 = > \Rightarrow
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
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
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
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
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
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
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
257 \supseteqq / \nsupseteqq
258 \supseteq / \supsetneq
259 \supset + \supsetplus
260 \supsetplus = \supsetpluseq
261 \supseteq + \supsetpluseq
262 \supset * \ni
263 \ni / \nni
265 #
266 # The following is available in TeXMacs, but not (yet) in LyX
267 #
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
334 # <***/ \nsqsubset
335 # <***= \sqsubseteq
336 # <***=/ \nsqsubseteq
337 # >*=/** \varsupsetneq
338 # >*=*/* \supsetneqq
339 # >*=*/** \varsupsetneqq
340 # >*** \sqsupset
341 # >***/ \nsqsupset
342 # >***= \sqsupseteq
343 # >***=/ \nsqsupseteq
345 # >**** \rangle
346 # \rangle * \rightslice
348 # EE l \bigl
349 # EE m \bigm
350 # EE r \bigr
351 # EE @ \bigop
352 # EE L \int