| blob | 9eddc03f8b53a5c189d52a3582587571c2af4782 |
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 \iddots * \iddots
220 \udots * \udots
221 : = \assign
222 + = \plusassign
223 - = \minusassign
224 / * \div
225 * * \ast
226 \ast * \times
227 \times * \cdot
229 < * \subset
230 \subset * \in
231 \ / \nsubset
232 \in * \sqsubset
233 \subset = \subseteq
234 \subseteq / \nsubseteq
235 \subseteq * \subseteqq
236 \sqsubset * \langle
237 \langle * \leftslice
238 \leftslice * \subset
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
249 \in / \nin
250 > * \supset
251 \supset / \nsupset
252 \supset = \supseteq
253 \supseteq / \nsupseteq
254 \supseteq * \supseteqq
255 \supseteq / \nsupseteq
258 \supseteqq / \nsupseteqq
259 \supseteq / \supsetneq
260 \supset + \supsetplus
261 \supsetplus = \supsetpluseq
262 \supseteq + \supsetpluseq
263 \supset * \ni
264 \ni / \nni
266 #
267 # The following is available in TeXMacs, but not (yet) in LyX
268 #
270 #--| \longdashv
271 #| = \vDash
272 #\vDash = \longvDash
273 #||= \VDash
274 #||== \longVDash
275 #| / \nmid
276 #||/ \nparallel
277 #|*/ \nshortmid
278 #||*/ \nshortparallel
279 #|-/ \nvdash
280 #||-/ \nVdash
281 #-|/ \ndashv
282 #-||/ \ndashV
283 #|=/ \nvDash
284 #||=/ \nVDash
285 #=|/ \nDashv
286 #=||/ \nDashV
287 #
288 #<=**> \lesseqqgtr
289 #>=**< \gtreqqless
290 #<>/ \nlessgtr
291 #></ \ngtrless
292 #<~/ \nlesssim
293 #<~/* \lnsim
294 #<~~/ \nlessapprox
295 #<~~/* \lnapprox
296 #<*~/ \nprecsim
297 #<*~/* \precnsim
298 #<*~~/ \nprecapprox
299 #<*~~/* \precnapprox
300 #>~/ \ngtrsim
301 #>~/* \gnsim
302 #>~~/ \ngtrapprox
303 #>~~/* \gnapprox
304 #>*~/ \nsuccsim
305 #>*~/* \succnsim
306 #>*~~/ \nsuccapprox
307 #>*~~/* \succnapprox
308 #<=**/ \nleqq
309 #>=**/ \ngeqq
310 #<=*>/ \nlesseqgtr
311 #>=*</ \ngtreqless
312 #<=**>/ \nlesseqqgtr
313 #>=**</ \ngtreqqless
314 #<=*/* \lneq
315 #<=**/* \lneqq
316 #<=**/** \lvertneqq
317 #>=*/* \gneq
318 #>=**/* \gneqq
319 #>=**/** \gvertneqq
320 #[[ * \llbracket
321 #]] * \rrbracket
322 #EE a \amalg
323 #EE d \partial
324 #EE p \wp
325 #EE n \cap
326 #EE u \cup
327 #EE w \wedge
328 #\wedge * \curlywedge
329 #\curlywedge * \curlywedgeuparrow
330 #\curlywedgeuparrow * \curlywedgedownarrow
331 #\curlywedgedownarrow * \wedges
332 #EE v \vee
333 #EE x \times
335 # <***/ \nsqsubset
336 # <***= \sqsubseteq
337 # <***=/ \nsqsubseteq
338 # >*=/** \varsupsetneq
339 # >*=*/* \supsetneqq
340 # >*=*/** \varsupsetneqq
341 # >*** \sqsupset
342 # >***/ \nsqsupset
343 # >***= \sqsupseteq
344 # >***=/ \nsqsupseteq
346 # >**** \rangle
347 # \rangle * \rightslice
349 # EE l \bigl
350 # EE m \bigm
351 # EE r \bigr
352 # EE @ \bigop
353 # EE L \int