-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMmlOperSpec.h
384 lines (374 loc) · 75.5 KB
/
MmlOperSpec.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
#ifndef MMLOPERSPEC_H
#define MMLOPERSPEC_H
#include <QString>
#include "Mml.h"
static const double g_mfrac_spacing = 0.05;
static const double g_mroot_base_margin = 0.1;
static const double g_mroot_base_line = 0.5;
static const double g_script_size_multiplier = 0.5;
static const char * g_subsup_spacing = "veryverythinmathspace";
static const double g_min_font_point_size = 8.0;
static const ushort g_radical = ( 0x22 << 8 ) | 0x1B;
static const int g_oper_spec_rows = 9;
struct MmlOperSpec
{
enum StretchDir { NoStretch, HStretch, VStretch, HVStretch };
QString name;
Mml::FormType form;
const char *attributes[g_oper_spec_rows];
StretchDir stretch_dir;
};
static const char *g_oper_spec_names[g_oper_spec_rows] =
{
"accent", "fence", "largeop", "lspace", "minsize", "movablelimits",
"rspace", "separator", "stretchy" /* stretchdir */
};
static const MmlOperSpec g_oper_spec_data[] =
{
// accent fence largeop lspace minsize movablelimits rspace separator stretchy
// -------- -------- -------- -------------------- ------- ------------- ------------------------ --------- --------
{ "!", Mml::PostfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "!"
{ "!!", Mml::PostfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "!!"
{ "!=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "!="
{ "⩓", Mml::InfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "mediummathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⩓"
{ "⁡", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "⁡"
{ "≔", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≔"
{ "∖", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "∖"
{ "∵", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∵"
{ "˘", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "˘"
{ "⋒", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋒"
{ "ⅅ", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "ⅅ"
{ "¸", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "¸"
{ "·", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "·"
{ "⊙", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊙"
{ "⊖", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊖"
{ "⊕", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊕"
{ "⊗", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊗"
{ "∲", Mml::PrefixForm, { 0, 0, "true", "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "∲"
{ "”", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "”"
{ "’", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "’"
{ "∷", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∷"
{ "≡", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≡"
{ "∮", Mml::PrefixForm, { 0, 0, "true", "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "∮"
{ "∐", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∐"
{ "∳", Mml::PrefixForm, { 0, 0, "true", "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "&CounterClockwiseContourInteg
{ "⨯", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⨯"
{ "⋓", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋓"
{ "≍", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≍"
{ "∇", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∇"
{ "´", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "´"
{ "˙", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "˙"
{ "˝", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "˝"
{ "`", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "`"
{ "&DiacriticalLeftArrow;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalLeftArrow;"
{ "&DiacriticalLeftRightArrow;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalLeftRightArrow;"
{ "&DiacriticalLeftRightVector;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalLeftRightVector;"
{ "&DiacriticalLeftVector;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalLeftVector;"
{ "&DiacriticalRightArrow;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalRightArrow;"
{ "&DiacriticalRightVector;", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&DiacriticalRightVector;"
{ "˜", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::NoStretch }, // "˜"
{ "⋄", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋄"
{ "ⅆ", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "ⅆ"
{ "≐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≐"
{ "∯", Mml::PrefixForm, { 0, 0, "true", "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "∯"
{ "¨", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "¨"
{ "⇓", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⇓"
{ "⇐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇐"
{ "⇔", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇔"
{ "⫤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⫤"
{ "⟸", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟸"
{ "⟺", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟺"
{ "⟹", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟹"
{ "⇒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇒"
{ "⊨", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊨"
{ "⇑", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⇑"
{ "⇕", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⇕"
{ "∥", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∥"
{ "↓", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "↓"
{ "⤓", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⤓"
{ "⇵", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⇵"
{ "̑", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "̑"
{ "⥐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥐"
{ "⥞", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥞"
{ "↽", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↽"
{ "⥖", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥖"
{ "⥟", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥟"
{ "⇁", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⇁"
{ "⥗", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥗"
{ "⊤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊤"
{ "↧", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "↧"
{ "∈", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∈"
{ "⩵", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⩵"
{ "≂", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≂"
{ "⇌", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇌"
{ "∃", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∃"
{ "∀", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∀"
{ "≥", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≥"
{ "⋛", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋛"
{ "≧", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≧"
{ "⪢", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪢"
{ "≷", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≷"
{ "⩾", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⩾"
{ "≳", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≳"
{ "ˇ", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::NoStretch }, // "ˇ"
{ "^", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "^"
{ "─", Mml::InfixForm, { 0, 0, 0, "0em", "0", 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "─"
{ "≎", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≎"
{ "≏", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≏"
{ "⇒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇒"
{ "∫", Mml::PrefixForm, { 0, 0, "true", "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "∫"
{ "⋂", Mml::PrefixForm, { 0, 0, "true", "0em", 0, "true", "thinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⋂"
{ "⁣", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "0em", "true", 0 }, MmlOperSpec::NoStretch }, // "⁣"
{ "⁢", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "⁢"
{ "⟨", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⟨"
{ "←", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "←"
{ "⇤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇤"
{ "⇆", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇆"
{ "&LeftBracketingBar;", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "&LeftBracketingBar;"
{ "⌈", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⌈"
{ "⟦", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⟦"
{ "&LeftDoubleBracketingBar;", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&LeftDoubleBracketingBar;"
{ "⥡", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥡"
{ "⇃", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⇃"
{ "⥙", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥙"
{ "⌊", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⌊"
{ "↔", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "↔"
{ "⥎", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⥎"
{ "&LeftSkeleton;", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "&LeftSkeleton;"
{ "⊣", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊣"
{ "↤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "↤"
{ "⥚", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⥚"
{ "⊲", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊲"
{ "⧏", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⧏"
{ "⊴", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊴"
{ "⥑", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥑"
{ "⥠", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥠"
{ "↿", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↿"
{ "⥘", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥘"
{ "↼", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "↼"
{ "⥒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⥒"
{ "⋚", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋚"
{ "≦", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≦"
{ "≶", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≶"
{ "⪡", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪡"
{ "⩽", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⩽"
{ "≲", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≲"
{ "⟵", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟵"
{ "⟷", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟷"
{ "⟶", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⟶"
{ "↙", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↙"
{ "↘", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↘"
{ "∓", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "veryverythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∓"
{ "≫", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≫"
{ "≪", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≪"
{ "⫬", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⫬"
{ "≢", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≢"
{ "≭", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≭"
{ "∦", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∦"
{ "∉", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∉"
{ "≠", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≠"
{ "≂̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≂̸"
{ "∄", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∄"
{ "≯", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≯"
{ "≱", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≱"
{ "≧̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≧̸"
{ "≫̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≫̸"
{ "≹", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≹"
{ "⩾̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⩾̸"
{ "≵", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≵"
{ "≎̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≎̸"
{ "≏̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≏̸"
{ "⋪", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋪"
{ "⧏̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⧏̸"
{ "⋬", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋬"
{ "≮", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≮"
{ "≰", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≰"
{ "&NotLessFullEqual;", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "&NotLessFullEqual;"
{ "≸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≸"
{ "≪̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≪̸"
{ "⩽̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⩽̸"
{ "≴", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≴"
{ "⪢̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪢̸"
{ "⪡̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪡̸"
{ "⊀", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊀"
{ "⪯̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪯̸"
{ "⋠", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋠"
{ "&NotPrecedesTilde;", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "&NotPrecedesTilde;"
{ "∌", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∌"
{ "⋫", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋫"
{ "⧐̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⧐̸"
{ "⋭", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋭"
{ "⊏̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊏̸"
{ "⋢", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋢"
{ "⊐̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊐̸"
{ "⋣", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋣"
{ "⊂⃒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊂⃒"
{ "⊈", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊈"
{ "⊁", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊁"
{ "⪰̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪰̸"
{ "⋡", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋡"
{ "≿̸", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≿̸"
{ "⊃⃒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊃⃒"
{ "⊉", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊉"
{ "≁", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≁"
{ "≄", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≄"
{ "≇", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≇"
{ "≉", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≉"
{ "∤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∤"
{ "“", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "“"
{ "‘", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "‘"
{ "⩔", Mml::InfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "mediummathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⩔"
{ "‾", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "‾"
{ "⏞", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⏞"
{ "⎴", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⎴"
{ "⏜", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⏜"
{ "∂", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∂"
{ "±", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "veryverythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "±"
{ "≺", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≺"
{ "⪯", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪯"
{ "≼", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≼"
{ "≾", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≾"
{ "∏", Mml::PrefixForm, { 0, 0, "true", "0em", 0, "true", "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∏"
{ "∷", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∷"
{ "∝", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∝"
{ "∋", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∋"
{ "⇋", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇋"
{ "⥯", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⥯"
{ "⟩", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⟩"
{ "→", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "→"
{ "⇥", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇥"
{ "⇄", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇄"
{ "&RightBracketingBar;", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "&RightBracketingBar;"
{ "⌉", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⌉"
{ "⟧", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⟧"
{ "&RightDoubleBracketingBar;", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "&RightDoubleBracketingBar;"
{ "⥝", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥝"
{ "⇂", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⇂"
{ "⥕", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥕"
{ "⌋", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "⌋"
{ "&RightSkeleton;", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "&RightSkeleton;"
{ "⊢", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊢"
{ "↦", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "↦"
{ "⥛", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⥛"
{ "⊳", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊳"
{ "⧐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⧐"
{ "⊵", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊵"
{ "⥏", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⥏"
{ "⥜", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥜"
{ "↾", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↾"
{ "⥔", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⥔"
{ "⇀", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⇀"
{ "⥓", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HStretch }, // "⥓"
{ "⥰", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⥰"
{ "↓", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "↓"
{ "←", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::HStretch }, // "←"
{ "→", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::HStretch }, // "→"
{ "↑", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::VStretch }, // "↑"
{ "∘", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∘"
{ "√", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "√"
{ "□", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "□"
{ "⊓", Mml::InfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "mediummathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⊓"
{ "⊏", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊏"
{ "⊑", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊑"
{ "⊐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊐"
{ "⊒", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊒"
{ "⊔", Mml::InfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "mediummathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⊔"
{ "⋆", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋆"
{ "⋐", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋐"
{ "⊆", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊆"
{ "≻", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≻"
{ "⪰", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⪰"
{ "≽", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≽"
{ "≿", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≿"
{ "∋", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∋"
{ "∑", Mml::PrefixForm, { 0, 0, "true", "0em", 0, "true", "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∑"
{ "⊃", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊃"
{ "⊇", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊇"
{ "∴", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∴"
{ "∼", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∼"
{ "≃", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≃"
{ "≅", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≅"
{ "≈", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≈"
{ "⃛", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "⃛"
{ "_", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "_"
{ "⏟", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⏟"
{ "⎵", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⎵"
{ "⏝", Mml::PostfixForm, { "true", 0, 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::HStretch }, // "⏝"
{ "⋃", Mml::PrefixForm, { 0, 0, "true", "0em", 0, "true", "thinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⋃"
{ "⊎", Mml::PrefixForm, { 0, 0, "true", "0em", 0, "true", "thinmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "⊎"
{ "↑", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "↑"
{ "⤒", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⤒"
{ "⇅", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⇅"
{ "↕", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "↕"
{ "⥮", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "⥮"
{ "⊥", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⊥"
{ "↥", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "↥"
{ "↖", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↖"
{ "↗", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::HVStretch }, // "↗"
{ "⋁", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋁"
{ "∣", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "∣"
{ "|", Mml::InfixForm, { 0, 0, 0, "0em", "0", 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "|"
{ "❘", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "❘"
{ "≀", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≀"
{ "⋀", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "⋀"
{ "&", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "&"
{ "&&", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "&&"
{ "≤", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "≤"
{ "<", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "<"
{ "<=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "<="
{ "<>", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "<>"
{ "'", Mml::PostfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "'"
{ "(", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "("
{ ")", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // ")"
{ "*", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "*"
{ "**", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "**"
{ "*=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "*="
{ "+", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "+"
{ "+", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "veryverythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "+"
{ "++", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "++"
{ "+=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "+="
{ ",", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "verythickmathspace", "true", 0 }, MmlOperSpec::NoStretch }, // ","
{ "-", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "-"
{ "-", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "veryverythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "-"
{ "--", Mml::PrefixForm, { 0, 0, 0, "0em", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "--"
{ "-=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "-="
{ "->", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "->"
{ ".", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "."
{ "..", Mml::PostfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // ".."
{ "...", Mml::PostfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // "..."
{ "/", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "/"
{ "//", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "//"
{ "/=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "/="
{ ":", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // ":"
{ ":=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // ":="
{ ";", Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "verythickmathspace", "true", 0 }, MmlOperSpec::NoStretch }, // ";"
{ ";", Mml::PostfixForm, { 0, 0, 0, "0em", 0, 0, "0em", "true", 0 }, MmlOperSpec::NoStretch }, // ";"
{ "=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "="
{ "==", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "=="
{ ">", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // ">"
{ ">=", Mml::InfixForm, { 0, 0, 0, "thickmathspace", 0, 0, "thickmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // ">="
{ "?", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "?"
{ "@", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "@"
{ "[", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "["
{ "]", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "]"
{ "^", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "^"
{ "_", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "_"
{ "lim", Mml::PrefixForm, { 0, 0, 0, "0em", 0, "true", "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "lim"
{ "max", Mml::PrefixForm, { 0, 0, 0, "0em", 0, "true", "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "max"
{ "min", Mml::PrefixForm, { 0, 0, 0, "0em", 0, "true", "thinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "min"
{ "{", Mml::PrefixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "{"
{ "|", Mml::InfixForm, { 0, 0, 0, "thinmathspace", 0, 0, "thinmathspace", 0, "true" }, MmlOperSpec::VStretch }, // "|"
{ "||", Mml::InfixForm, { 0, 0, 0, "mediummathspace", 0, 0, "mediummathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "||"
{ "}", Mml::PostfixForm, { 0, "true", 0, "0em", 0, 0, "0em", 0, "true" }, MmlOperSpec::VStretch }, // "}"
{ "~", Mml::InfixForm, { 0, 0, 0, "verythinmathspace", 0, 0, "verythinmathspace", 0, 0 }, MmlOperSpec::NoStretch }, // "~"
#if 1
{ QString( QChar( 0x64, 0x20 ) ), Mml::InfixForm, { 0, 0, 0, "0em", 0, 0, "0em", 0, 0 }, MmlOperSpec::NoStretch }, // Invisible addition
#endif
{ 0, Mml::InfixForm, { 0, 0, 0, 0, 0, 0, 0, 0, 0 }, MmlOperSpec::NoStretch }
};
static const MmlOperSpec g_oper_spec_defaults =
{
0, Mml::InfixForm, { "false", "false", "false", "thickmathspace", "1", "false", "thickmathspace", "false", "false" }, MmlOperSpec::NoStretch
};
static const int g_oper_spec_count = sizeof( g_oper_spec_data ) / sizeof( MmlOperSpec ) - 1;
#endif // MMLOPERSPEC_H