Coverage Report

Created: 2025-11-16 06:41

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/tidy-html5/src/entities.c
Line
Count
Source
1
/* entities.c -- recognize HTML ISO entities
2
3
  (c) 1998-2008 (W3C) MIT, ERCIM, Keio University
4
  See tidy.h for the copyright notice.
5
6
  Entity handling can be static because there are no config or
7
  document-specific values.  Lookup table is 100% defined at 
8
  compile time.
9
10
*/
11
12
#include <stdio.h>
13
#include "entities.h"
14
#include "tidy-int.h"
15
#include "tmbstr.h"
16
17
struct _entity;
18
typedef struct _entity entity;
19
20
struct _entity
21
{
22
    ctmbstr name;
23
    uint    versions;
24
    uint    code;
25
};
26
27
#ifndef VERS_CHECK
28
#define VERS_CHECK VERS_HTML5
29
#endif
30
31
/*
32
** Issue #643 - list increased to
33
** 2032 known entities.
34
** Note also stuct /not/ padded to 
35
** keep source weight down, 79K vs 149K,
36
** and is strictly alphabetic to optimize 
37
** the searching.
38
** All new entities have been given VERS_CHECK
39
** This should be replaced if versioning can
40
** successfully be established.
41
*/
42
43
static const entity entities[] =
44
{
45
    { "AElig", VERS_ALL, 198 },
46
    { "AMP", VERS_CHECK, 38 },
47
    { "Aacute", VERS_ALL, 193 },
48
    { "Abreve", VERS_CHECK, 258 },
49
    { "Acirc", VERS_ALL, 194 },
50
    { "Acy", VERS_CHECK, 1040 },
51
    { "Afr", VERS_CHECK, 120068 },
52
    { "Agrave", VERS_ALL, 192 },
53
    { "Alpha", VERS_FROM40, 913 },
54
    { "Amacr", VERS_CHECK, 256 },
55
    { "And", VERS_CHECK, 10835 },
56
    { "Aogon", VERS_CHECK, 260 },
57
    { "Aopf", VERS_CHECK, 120120 },
58
    { "ApplyFunction", VERS_CHECK, 8289 },
59
    { "Aring", VERS_ALL, 197 },
60
    { "Ascr", VERS_CHECK, 119964 },
61
    { "Assign", VERS_CHECK, 8788 },
62
    { "Atilde", VERS_ALL, 195 },
63
    { "Auml", VERS_ALL, 196 },
64
    { "Backslash", VERS_CHECK, 8726 },
65
    { "Barv", VERS_CHECK, 10983 },
66
    { "Barwed", VERS_CHECK, 8966 },
67
    { "Bcy", VERS_CHECK, 1041 },
68
    { "Because", VERS_CHECK, 8757 },
69
    { "Bernoullis", VERS_CHECK, 8492 },
70
    { "Beta", VERS_FROM40, 914 },
71
    { "Bfr", VERS_CHECK, 120069 },
72
    { "Bopf", VERS_CHECK, 120121 },
73
    { "Breve", VERS_CHECK, 728 },
74
    { "Bscr", VERS_CHECK, 8492 },
75
    { "Bumpeq", VERS_CHECK, 8782 },
76
    { "CHcy", VERS_CHECK, 1063 },
77
    { "COPY", VERS_CHECK, 169 },
78
    { "Cacute", VERS_CHECK, 262 },
79
    { "Cap", VERS_CHECK, 8914 },
80
    { "CapitalDifferentialD", VERS_CHECK, 8517 },
81
    { "Cayleys", VERS_CHECK, 8493 },
82
    { "Ccaron", VERS_CHECK, 268 },
83
    { "Ccedil", VERS_ALL, 199 },
84
    { "Ccirc", VERS_CHECK, 264 },
85
    { "Cconint", VERS_CHECK, 8752 },
86
    { "Cdot", VERS_CHECK, 266 },
87
    { "Cedilla", VERS_CHECK, 184 },
88
    { "CenterDot", VERS_CHECK, 183 },
89
    { "Cfr", VERS_CHECK, 8493 },
90
    { "Chi", VERS_FROM40, 935 },
91
    { "CircleDot", VERS_CHECK, 8857 },
92
    { "CircleMinus", VERS_CHECK, 8854 },
93
    { "CirclePlus", VERS_CHECK, 8853 },
94
    { "CircleTimes", VERS_CHECK, 8855 },
95
    { "ClockwiseContourIntegral", VERS_CHECK, 8754 },
96
    { "CloseCurlyDoubleQuote", VERS_CHECK, 8221 },
97
    { "CloseCurlyQuote", VERS_CHECK, 8217 },
98
    { "Colon", VERS_CHECK, 8759 },
99
    { "Colone", VERS_CHECK, 10868 },
100
    { "Congruent", VERS_CHECK, 8801 },
101
    { "Conint", VERS_CHECK, 8751 },
102
    { "ContourIntegral", VERS_CHECK, 8750 },
103
    { "Copf", VERS_CHECK, 8450 },
104
    { "Coproduct", VERS_CHECK, 8720 },
105
    { "CounterClockwiseContourIntegral", VERS_CHECK, 8755 },
106
    { "Cross", VERS_CHECK, 10799 },
107
    { "Cscr", VERS_CHECK, 119966 },
108
    { "Cup", VERS_CHECK, 8915 },
109
    { "CupCap", VERS_CHECK, 8781 },
110
    { "DD", VERS_CHECK, 8517 },
111
    { "DDotrahd", VERS_CHECK, 10513 },
112
    { "DJcy", VERS_CHECK, 1026 },
113
    { "DScy", VERS_CHECK, 1029 },
114
    { "DZcy", VERS_CHECK, 1039 },
115
    { "Dagger", VERS_FROM40, 8225 },
116
    { "Darr", VERS_CHECK, 8609 },
117
    { "Dashv", VERS_CHECK, 10980 },
118
    { "Dcaron", VERS_CHECK, 270 },
119
    { "Dcy", VERS_CHECK, 1044 },
120
    { "Del", VERS_CHECK, 8711 },
121
    { "Delta", VERS_FROM40, 916 },
122
    { "Dfr", VERS_CHECK, 120071 },
123
    { "DiacriticalAcute", VERS_CHECK, 180 },
124
    { "DiacriticalDot", VERS_CHECK, 729 },
125
    { "DiacriticalDoubleAcute", VERS_CHECK, 733 },
126
    { "DiacriticalGrave", VERS_CHECK, 96 },
127
    { "DiacriticalTilde", VERS_CHECK, 732 },
128
    { "Diamond", VERS_CHECK, 8900 },
129
    { "DifferentialD", VERS_CHECK, 8518 },
130
    { "Dopf", VERS_CHECK, 120123 },
131
    { "Dot", VERS_CHECK, 168 },
132
    { "DotDot", VERS_CHECK, 8412 },
133
    { "DotEqual", VERS_CHECK, 8784 },
134
    { "DoubleContourIntegral", VERS_CHECK, 8751 },
135
    { "DoubleDot", VERS_CHECK, 168 },
136
    { "DoubleDownArrow", VERS_CHECK, 8659 },
137
    { "DoubleLeftArrow", VERS_CHECK, 8656 },
138
    { "DoubleLeftRightArrow", VERS_CHECK, 8660 },
139
    { "DoubleLeftTee", VERS_CHECK, 10980 },
140
    { "DoubleLongLeftArrow", VERS_CHECK, 10232 },
141
    { "DoubleLongLeftRightArrow", VERS_CHECK, 10234 },
142
    { "DoubleLongRightArrow", VERS_CHECK, 10233 },
143
    { "DoubleRightArrow", VERS_CHECK, 8658 },
144
    { "DoubleRightTee", VERS_CHECK, 8872 },
145
    { "DoubleUpArrow", VERS_CHECK, 8657 },
146
    { "DoubleUpDownArrow", VERS_CHECK, 8661 },
147
    { "DoubleVerticalBar", VERS_CHECK, 8741 },
148
    { "DownArrow", VERS_CHECK, 8595 },
149
    { "DownArrowBar", VERS_CHECK, 10515 },
150
    { "DownArrowUpArrow", VERS_CHECK, 8693 },
151
    { "DownBreve", VERS_CHECK, 785 },
152
    { "DownLeftRightVector", VERS_CHECK, 10576 },
153
    { "DownLeftTeeVector", VERS_CHECK, 10590 },
154
    { "DownLeftVector", VERS_CHECK, 8637 },
155
    { "DownLeftVectorBar", VERS_CHECK, 10582 },
156
    { "DownRightTeeVector", VERS_CHECK, 10591 },
157
    { "DownRightVector", VERS_CHECK, 8641 },
158
    { "DownRightVectorBar", VERS_CHECK, 10583 },
159
    { "DownTee", VERS_CHECK, 8868 },
160
    { "DownTeeArrow", VERS_CHECK, 8615 },
161
    { "Downarrow", VERS_CHECK, 8659 },
162
    { "Dscr", VERS_CHECK, 119967 },
163
    { "Dstrok", VERS_CHECK, 272 },
164
    { "ENG", VERS_CHECK, 330 },
165
    { "ETH", VERS_ALL, 208 },
166
    { "Eacute", VERS_ALL, 201 },
167
    { "Ecaron", VERS_CHECK, 282 },
168
    { "Ecirc", VERS_ALL, 202 },
169
    { "Ecy", VERS_CHECK, 1069 },
170
    { "Edot", VERS_CHECK, 278 },
171
    { "Efr", VERS_CHECK, 120072 },
172
    { "Egrave", VERS_ALL, 200 },
173
    { "Element", VERS_CHECK, 8712 },
174
    { "Emacr", VERS_CHECK, 274 },
175
    { "EmptySmallSquare", VERS_CHECK, 9723 },
176
    { "EmptyVerySmallSquare", VERS_CHECK, 9643 },
177
    { "Eogon", VERS_CHECK, 280 },
178
    { "Eopf", VERS_CHECK, 120124 },
179
    { "Epsilon", VERS_FROM40, 917 },
180
    { "Equal", VERS_CHECK, 10869 },
181
    { "EqualTilde", VERS_CHECK, 8770 },
182
    { "Equilibrium", VERS_CHECK, 8652 },
183
    { "Escr", VERS_CHECK, 8496 },
184
    { "Esim", VERS_CHECK, 10867 },
185
    { "Eta", VERS_FROM40, 919 },
186
    { "Euml", VERS_ALL, 203 },
187
    { "Exists", VERS_CHECK, 8707 },
188
    { "ExponentialE", VERS_CHECK, 8519 },
189
    { "Fcy", VERS_CHECK, 1060 },
190
    { "Ffr", VERS_CHECK, 120073 },
191
    { "FilledSmallSquare", VERS_CHECK, 9724 },
192
    { "FilledVerySmallSquare", VERS_CHECK, 9642 },
193
    { "Fopf", VERS_CHECK, 120125 },
194
    { "ForAll", VERS_CHECK, 8704 },
195
    { "Fouriertrf", VERS_CHECK, 8497 },
196
    { "Fscr", VERS_CHECK, 8497 },
197
    { "GJcy", VERS_CHECK, 1027 },
198
    { "GT", VERS_CHECK, 62 },
199
    { "Gamma", VERS_FROM40, 915 },
200
    { "Gammad", VERS_CHECK, 988 },
201
    { "Gbreve", VERS_CHECK, 286 },
202
    { "Gcedil", VERS_CHECK, 290 },
203
    { "Gcirc", VERS_CHECK, 284 },
204
    { "Gcy", VERS_CHECK, 1043 },
205
    { "Gdot", VERS_CHECK, 288 },
206
    { "Gfr", VERS_CHECK, 120074 },
207
    { "Gg", VERS_CHECK, 8921 },
208
    { "Gopf", VERS_CHECK, 120126 },
209
    { "GreaterEqual", VERS_CHECK, 8805 },
210
    { "GreaterEqualLess", VERS_CHECK, 8923 },
211
    { "GreaterFullEqual", VERS_CHECK, 8807 },
212
    { "GreaterGreater", VERS_CHECK, 10914 },
213
    { "GreaterLess", VERS_CHECK, 8823 },
214
    { "GreaterSlantEqual", VERS_CHECK, 10878 },
215
    { "GreaterTilde", VERS_CHECK, 8819 },
216
    { "Gscr", VERS_CHECK, 119970 },
217
    { "Gt", VERS_CHECK, 8811 },
218
    { "HARDcy", VERS_CHECK, 1066 },
219
    { "Hacek", VERS_CHECK, 711 },
220
    { "Hat", VERS_CHECK, 94 },
221
    { "Hcirc", VERS_CHECK, 292 },
222
    { "Hfr", VERS_CHECK, 8460 },
223
    { "HilbertSpace", VERS_CHECK, 8459 },
224
    { "Hopf", VERS_CHECK, 8461 },
225
    { "HorizontalLine", VERS_CHECK, 9472 },
226
    { "Hscr", VERS_CHECK, 8459 },
227
    { "Hstrok", VERS_CHECK, 294 },
228
    { "HumpDownHump", VERS_CHECK, 8782 },
229
    { "HumpEqual", VERS_CHECK, 8783 },
230
    { "IEcy", VERS_CHECK, 1045 },
231
    { "IJlig", VERS_CHECK, 306 },
232
    { "IOcy", VERS_CHECK, 1025 },
233
    { "Iacute", VERS_ALL, 205 },
234
    { "Icirc", VERS_ALL, 206 },
235
    { "Icy", VERS_CHECK, 1048 },
236
    { "Idot", VERS_CHECK, 304 },
237
    { "Ifr", VERS_CHECK, 8465 },
238
    { "Igrave", VERS_ALL, 204 },
239
    { "Im", VERS_CHECK, 8465 },
240
    { "Imacr", VERS_CHECK, 298 },
241
    { "ImaginaryI", VERS_CHECK, 8520 },
242
    { "Implies", VERS_CHECK, 8658 },
243
    { "Int", VERS_CHECK, 8748 },
244
    { "Integral", VERS_CHECK, 8747 },
245
    { "Intersection", VERS_CHECK, 8898 },
246
    { "InvisibleComma", VERS_CHECK, 8291 },
247
    { "InvisibleTimes", VERS_CHECK, 8290 },
248
    { "Iogon", VERS_CHECK, 302 },
249
    { "Iopf", VERS_CHECK, 120128 },
250
    { "Iota", VERS_FROM40, 921 },
251
    { "Iscr", VERS_CHECK, 8464 },
252
    { "Itilde", VERS_CHECK, 296 },
253
    { "Iukcy", VERS_CHECK, 1030 },
254
    { "Iuml", VERS_ALL, 207 },
255
    { "Jcirc", VERS_CHECK, 308 },
256
    { "Jcy", VERS_CHECK, 1049 },
257
    { "Jfr", VERS_CHECK, 120077 },
258
    { "Jopf", VERS_CHECK, 120129 },
259
    { "Jscr", VERS_CHECK, 119973 },
260
    { "Jsercy", VERS_CHECK, 1032 },
261
    { "Jukcy", VERS_CHECK, 1028 },
262
    { "KHcy", VERS_CHECK, 1061 },
263
    { "KJcy", VERS_CHECK, 1036 },
264
    { "Kappa", VERS_FROM40, 922 },
265
    { "Kcedil", VERS_CHECK, 310 },
266
    { "Kcy", VERS_CHECK, 1050 },
267
    { "Kfr", VERS_CHECK, 120078 },
268
    { "Kopf", VERS_CHECK, 120130 },
269
    { "Kscr", VERS_CHECK, 119974 },
270
    { "LJcy", VERS_CHECK, 1033 },
271
    { "LT", VERS_CHECK, 60 },
272
    { "Lacute", VERS_CHECK, 313 },
273
    { "Lambda", VERS_FROM40, 923 },
274
    { "Lang", VERS_CHECK, 10218 },
275
    { "Laplacetrf", VERS_CHECK, 8466 },
276
    { "Larr", VERS_CHECK, 8606 },
277
    { "Lcaron", VERS_CHECK, 317 },
278
    { "Lcedil", VERS_CHECK, 315 },
279
    { "Lcy", VERS_CHECK, 1051 },
280
    { "LeftAngleBracket", VERS_CHECK, 10216 },
281
    { "LeftArrow", VERS_CHECK, 8592 },
282
    { "LeftArrowBar", VERS_CHECK, 8676 },
283
    { "LeftArrowRightArrow", VERS_CHECK, 8646 },
284
    { "LeftCeiling", VERS_CHECK, 8968 },
285
    { "LeftDoubleBracket", VERS_CHECK, 10214 },
286
    { "LeftDownTeeVector", VERS_CHECK, 10593 },
287
    { "LeftDownVector", VERS_CHECK, 8643 },
288
    { "LeftDownVectorBar", VERS_CHECK, 10585 },
289
    { "LeftFloor", VERS_CHECK, 8970 },
290
    { "LeftRightArrow", VERS_CHECK, 8596 },
291
    { "LeftRightVector", VERS_CHECK, 10574 },
292
    { "LeftTee", VERS_CHECK, 8867 },
293
    { "LeftTeeArrow", VERS_CHECK, 8612 },
294
    { "LeftTeeVector", VERS_CHECK, 10586 },
295
    { "LeftTriangle", VERS_CHECK, 8882 },
296
    { "LeftTriangleBar", VERS_CHECK, 10703 },
297
    { "LeftTriangleEqual", VERS_CHECK, 8884 },
298
    { "LeftUpDownVector", VERS_CHECK, 10577 },
299
    { "LeftUpTeeVector", VERS_CHECK, 10592 },
300
    { "LeftUpVector", VERS_CHECK, 8639 },
301
    { "LeftUpVectorBar", VERS_CHECK, 10584 },
302
    { "LeftVector", VERS_CHECK, 8636 },
303
    { "LeftVectorBar", VERS_CHECK, 10578 },
304
    { "Leftarrow", VERS_CHECK, 8656 },
305
    { "Leftrightarrow", VERS_CHECK, 8660 },
306
    { "LessEqualGreater", VERS_CHECK, 8922 },
307
    { "LessFullEqual", VERS_CHECK, 8806 },
308
    { "LessGreater", VERS_CHECK, 8822 },
309
    { "LessLess", VERS_CHECK, 10913 },
310
    { "LessSlantEqual", VERS_CHECK, 10877 },
311
    { "LessTilde", VERS_CHECK, 8818 },
312
    { "Lfr", VERS_CHECK, 120079 },
313
    { "Ll", VERS_CHECK, 8920 },
314
    { "Lleftarrow", VERS_CHECK, 8666 },
315
    { "Lmidot", VERS_CHECK, 319 },
316
    { "LongLeftArrow", VERS_CHECK, 10229 },
317
    { "LongLeftRightArrow", VERS_CHECK, 10231 },
318
    { "LongRightArrow", VERS_CHECK, 10230 },
319
    { "Longleftarrow", VERS_CHECK, 10232 },
320
    { "Longleftrightarrow", VERS_CHECK, 10234 },
321
    { "Longrightarrow", VERS_CHECK, 10233 },
322
    { "Lopf", VERS_CHECK, 120131 },
323
    { "LowerLeftArrow", VERS_CHECK, 8601 },
324
    { "LowerRightArrow", VERS_CHECK, 8600 },
325
    { "Lscr", VERS_CHECK, 8466 },
326
    { "Lsh", VERS_CHECK, 8624 },
327
    { "Lstrok", VERS_CHECK, 321 },
328
    { "Lt", VERS_CHECK, 8810 },
329
    { "Map", VERS_CHECK, 10501 },
330
    { "Mcy", VERS_CHECK, 1052 },
331
    { "MediumSpace", VERS_CHECK, 8287 },
332
    { "Mellintrf", VERS_CHECK, 8499 },
333
    { "Mfr", VERS_CHECK, 120080 },
334
    { "MinusPlus", VERS_CHECK, 8723 },
335
    { "Mopf", VERS_CHECK, 120132 },
336
    { "Mscr", VERS_CHECK, 8499 },
337
    { "Mu", VERS_FROM40, 924 },
338
    { "NJcy", VERS_CHECK, 1034 },
339
    { "Nacute", VERS_CHECK, 323 },
340
    { "Ncaron", VERS_CHECK, 327 },
341
    { "Ncedil", VERS_CHECK, 325 },
342
    { "Ncy", VERS_CHECK, 1053 },
343
    { "NegativeMediumSpace", VERS_CHECK, 8203 },
344
    { "NegativeThickSpace", VERS_CHECK, 8203 },
345
    { "NegativeThinSpace", VERS_CHECK, 8203 },
346
    { "NegativeVeryThinSpace", VERS_CHECK, 8203 },
347
    { "NestedGreaterGreater", VERS_CHECK, 8811 },
348
    { "NestedLessLess", VERS_CHECK, 8810 },
349
    { "NewLine", VERS_CHECK, 10 },
350
    { "Nfr", VERS_CHECK, 120081 },
351
    { "NoBreak", VERS_CHECK, 8288 },
352
    { "NonBreakingSpace", VERS_CHECK, 160 },
353
    { "Nopf", VERS_CHECK, 8469 },
354
    { "Not", VERS_CHECK, 10988 },
355
    { "NotCongruent", VERS_CHECK, 8802 },
356
    { "NotCupCap", VERS_CHECK, 8813 },
357
    { "NotDoubleVerticalBar", VERS_CHECK, 8742 },
358
    { "NotElement", VERS_CHECK, 8713 },
359
    { "NotEqual", VERS_CHECK, 8800 },
360
    { "NotExists", VERS_CHECK, 8708 },
361
    { "NotGreater", VERS_CHECK, 8815 },
362
    { "NotGreaterEqual", VERS_CHECK, 8817 },
363
    { "NotGreaterLess", VERS_CHECK, 8825 },
364
    { "NotGreaterTilde", VERS_CHECK, 8821 },
365
    { "NotLeftTriangle", VERS_CHECK, 8938 },
366
    { "NotLeftTriangleEqual", VERS_CHECK, 8940 },
367
    { "NotLess", VERS_CHECK, 8814 },
368
    { "NotLessEqual", VERS_CHECK, 8816 },
369
    { "NotLessGreater", VERS_CHECK, 8824 },
370
    { "NotLessTilde", VERS_CHECK, 8820 },
371
    { "NotPrecedes", VERS_CHECK, 8832 },
372
    { "NotPrecedesSlantEqual", VERS_CHECK, 8928 },
373
    { "NotReverseElement", VERS_CHECK, 8716 },
374
    { "NotRightTriangle", VERS_CHECK, 8939 },
375
    { "NotRightTriangleEqual", VERS_CHECK, 8941 },
376
    { "NotSquareSubsetEqual", VERS_CHECK, 8930 },
377
    { "NotSquareSupersetEqual", VERS_CHECK, 8931 },
378
    { "NotSubsetEqual", VERS_CHECK, 8840 },
379
    { "NotSucceeds", VERS_CHECK, 8833 },
380
    { "NotSucceedsSlantEqual", VERS_CHECK, 8929 },
381
    { "NotSupersetEqual", VERS_CHECK, 8841 },
382
    { "NotTilde", VERS_CHECK, 8769 },
383
    { "NotTildeEqual", VERS_CHECK, 8772 },
384
    { "NotTildeFullEqual", VERS_CHECK, 8775 },
385
    { "NotTildeTilde", VERS_CHECK, 8777 },
386
    { "NotVerticalBar", VERS_CHECK, 8740 },
387
    { "Nscr", VERS_CHECK, 119977 },
388
    { "Ntilde", VERS_ALL, 209 },
389
    { "Nu", VERS_FROM40, 925 },
390
    { "OElig", VERS_FROM40, 338 },
391
    { "Oacute", VERS_ALL, 211 },
392
    { "Ocirc", VERS_ALL, 212 },
393
    { "Ocy", VERS_CHECK, 1054 },
394
    { "Odblac", VERS_CHECK, 336 },
395
    { "Ofr", VERS_CHECK, 120082 },
396
    { "Ograve", VERS_ALL, 210 },
397
    { "Omacr", VERS_CHECK, 332 },
398
    { "Omega", VERS_FROM40, 937 },
399
    { "Omicron", VERS_FROM40, 927 },
400
    { "Oopf", VERS_CHECK, 120134 },
401
    { "OpenCurlyDoubleQuote", VERS_CHECK, 8220 },
402
    { "OpenCurlyQuote", VERS_CHECK, 8216 },
403
    { "Or", VERS_CHECK, 10836 },
404
    { "Oscr", VERS_CHECK, 119978 },
405
    { "Oslash", VERS_ALL, 216 },
406
    { "Otilde", VERS_ALL, 213 },
407
    { "Otimes", VERS_CHECK, 10807 },
408
    { "Ouml", VERS_ALL, 214 },
409
    { "OverBar", VERS_CHECK, 8254 },
410
    { "OverBrace", VERS_CHECK, 9182 },
411
    { "OverBracket", VERS_CHECK, 9140 },
412
    { "OverParenthesis", VERS_CHECK, 9180 },
413
    { "PartialD", VERS_CHECK, 8706 },
414
    { "Pcy", VERS_CHECK, 1055 },
415
    { "Pfr", VERS_CHECK, 120083 },
416
    { "Phi", VERS_FROM40, 934 },
417
    { "Pi", VERS_FROM40, 928 },
418
    { "PlusMinus", VERS_CHECK, 177 },
419
    { "Poincareplane", VERS_CHECK, 8460 },
420
    { "Popf", VERS_CHECK, 8473 },
421
    { "Pr", VERS_CHECK, 10939 },
422
    { "Precedes", VERS_CHECK, 8826 },
423
    { "PrecedesEqual", VERS_CHECK, 10927 },
424
    { "PrecedesSlantEqual", VERS_CHECK, 8828 },
425
    { "PrecedesTilde", VERS_CHECK, 8830 },
426
    { "Prime", VERS_FROM40, 8243 },
427
    { "Product", VERS_CHECK, 8719 },
428
    { "Proportion", VERS_CHECK, 8759 },
429
    { "Proportional", VERS_CHECK, 8733 },
430
    { "Pscr", VERS_CHECK, 119979 },
431
    { "Psi", VERS_FROM40, 936 },
432
    { "QUOT", VERS_CHECK, 34 },
433
    { "Qfr", VERS_CHECK, 120084 },
434
    { "Qopf", VERS_CHECK, 8474 },
435
    { "Qscr", VERS_CHECK, 119980 },
436
    { "RBarr", VERS_CHECK, 10512 },
437
    { "REG", VERS_CHECK, 174 },
438
    { "Racute", VERS_CHECK, 340 },
439
    { "Rang", VERS_CHECK, 10219 },
440
    { "Rarr", VERS_CHECK, 8608 },
441
    { "Rarrtl", VERS_CHECK, 10518 },
442
    { "Rcaron", VERS_CHECK, 344 },
443
    { "Rcedil", VERS_CHECK, 342 },
444
    { "Rcy", VERS_CHECK, 1056 },
445
    { "Re", VERS_CHECK, 8476 },
446
    { "ReverseElement", VERS_CHECK, 8715 },
447
    { "ReverseEquilibrium", VERS_CHECK, 8651 },
448
    { "ReverseUpEquilibrium", VERS_CHECK, 10607 },
449
    { "Rfr", VERS_CHECK, 8476 },
450
    { "Rho", VERS_FROM40, 929 },
451
    { "RightAngleBracket", VERS_CHECK, 10217 },
452
    { "RightArrow", VERS_CHECK, 8594 },
453
    { "RightArrowBar", VERS_CHECK, 8677 },
454
    { "RightArrowLeftArrow", VERS_CHECK, 8644 },
455
    { "RightCeiling", VERS_CHECK, 8969 },
456
    { "RightDoubleBracket", VERS_CHECK, 10215 },
457
    { "RightDownTeeVector", VERS_CHECK, 10589 },
458
    { "RightDownVector", VERS_CHECK, 8642 },
459
    { "RightDownVectorBar", VERS_CHECK, 10581 },
460
    { "RightFloor", VERS_CHECK, 8971 },
461
    { "RightTee", VERS_CHECK, 8866 },
462
    { "RightTeeArrow", VERS_CHECK, 8614 },
463
    { "RightTeeVector", VERS_CHECK, 10587 },
464
    { "RightTriangle", VERS_CHECK, 8883 },
465
    { "RightTriangleBar", VERS_CHECK, 10704 },
466
    { "RightTriangleEqual", VERS_CHECK, 8885 },
467
    { "RightUpDownVector", VERS_CHECK, 10575 },
468
    { "RightUpTeeVector", VERS_CHECK, 10588 },
469
    { "RightUpVector", VERS_CHECK, 8638 },
470
    { "RightUpVectorBar", VERS_CHECK, 10580 },
471
    { "RightVector", VERS_CHECK, 8640 },
472
    { "RightVectorBar", VERS_CHECK, 10579 },
473
    { "Rightarrow", VERS_CHECK, 8658 },
474
    { "Ropf", VERS_CHECK, 8477 },
475
    { "RoundImplies", VERS_CHECK, 10608 },
476
    { "Rrightarrow", VERS_CHECK, 8667 },
477
    { "Rscr", VERS_CHECK, 8475 },
478
    { "Rsh", VERS_CHECK, 8625 },
479
    { "RuleDelayed", VERS_CHECK, 10740 },
480
    { "SHCHcy", VERS_CHECK, 1065 },
481
    { "SHcy", VERS_CHECK, 1064 },
482
    { "SOFTcy", VERS_CHECK, 1068 },
483
    { "Sacute", VERS_CHECK, 346 },
484
    { "Sc", VERS_CHECK, 10940 },
485
    { "Scaron", VERS_FROM40, 352 },
486
    { "Scedil", VERS_CHECK, 350 },
487
    { "Scirc", VERS_CHECK, 348 },
488
    { "Scy", VERS_CHECK, 1057 },
489
    { "Sfr", VERS_CHECK, 120086 },
490
    { "ShortDownArrow", VERS_CHECK, 8595 },
491
    { "ShortLeftArrow", VERS_CHECK, 8592 },
492
    { "ShortRightArrow", VERS_CHECK, 8594 },
493
    { "ShortUpArrow", VERS_CHECK, 8593 },
494
    { "Sigma", VERS_FROM40, 931 },
495
    { "SmallCircle", VERS_CHECK, 8728 },
496
    { "Sopf", VERS_CHECK, 120138 },
497
    { "Sqrt", VERS_CHECK, 8730 },
498
    { "Square", VERS_CHECK, 9633 },
499
    { "SquareIntersection", VERS_CHECK, 8851 },
500
    { "SquareSubset", VERS_CHECK, 8847 },
501
    { "SquareSubsetEqual", VERS_CHECK, 8849 },
502
    { "SquareSuperset", VERS_CHECK, 8848 },
503
    { "SquareSupersetEqual", VERS_CHECK, 8850 },
504
    { "SquareUnion", VERS_CHECK, 8852 },
505
    { "Sscr", VERS_CHECK, 119982 },
506
    { "Star", VERS_CHECK, 8902 },
507
    { "Sub", VERS_CHECK, 8912 },
508
    { "Subset", VERS_CHECK, 8912 },
509
    { "SubsetEqual", VERS_CHECK, 8838 },
510
    { "Succeeds", VERS_CHECK, 8827 },
511
    { "SucceedsEqual", VERS_CHECK, 10928 },
512
    { "SucceedsSlantEqual", VERS_CHECK, 8829 },
513
    { "SucceedsTilde", VERS_CHECK, 8831 },
514
    { "SuchThat", VERS_CHECK, 8715 },
515
    { "Sum", VERS_CHECK, 8721 },
516
    { "Sup", VERS_CHECK, 8913 },
517
    { "Superset", VERS_CHECK, 8835 },
518
    { "SupersetEqual", VERS_CHECK, 8839 },
519
    { "Supset", VERS_CHECK, 8913 },
520
    { "THORN", VERS_ALL, 222 },
521
    { "TRADE", VERS_CHECK, 8482 },
522
    { "TSHcy", VERS_CHECK, 1035 },
523
    { "TScy", VERS_CHECK, 1062 },
524
    { "Tab", VERS_CHECK, 9 },
525
    { "Tau", VERS_FROM40, 932 },
526
    { "Tcaron", VERS_CHECK, 356 },
527
    { "Tcedil", VERS_CHECK, 354 },
528
    { "Tcy", VERS_CHECK, 1058 },
529
    { "Tfr", VERS_CHECK, 120087 },
530
    { "Therefore", VERS_CHECK, 8756 },
531
    { "Theta", VERS_FROM40, 920 },
532
    { "ThinSpace", VERS_CHECK, 8201 },
533
    { "Tilde", VERS_CHECK, 8764 },
534
    { "TildeEqual", VERS_CHECK, 8771 },
535
    { "TildeFullEqual", VERS_CHECK, 8773 },
536
    { "TildeTilde", VERS_CHECK, 8776 },
537
    { "Topf", VERS_CHECK, 120139 },
538
    { "TripleDot", VERS_CHECK, 8411 },
539
    { "Tscr", VERS_CHECK, 119983 },
540
    { "Tstrok", VERS_CHECK, 358 },
541
    { "Uacute", VERS_ALL, 218 },
542
    { "Uarr", VERS_CHECK, 8607 },
543
    { "Uarrocir", VERS_CHECK, 10569 },
544
    { "Ubrcy", VERS_CHECK, 1038 },
545
    { "Ubreve", VERS_CHECK, 364 },
546
    { "Ucirc", VERS_ALL, 219 },
547
    { "Ucy", VERS_CHECK, 1059 },
548
    { "Udblac", VERS_CHECK, 368 },
549
    { "Ufr", VERS_CHECK, 120088 },
550
    { "Ugrave", VERS_ALL, 217 },
551
    { "Umacr", VERS_CHECK, 362 },
552
    { "UnderBar", VERS_CHECK, 95 },
553
    { "UnderBrace", VERS_CHECK, 9183 },
554
    { "UnderBracket", VERS_CHECK, 9141 },
555
    { "UnderParenthesis", VERS_CHECK, 9181 },
556
    { "Union", VERS_CHECK, 8899 },
557
    { "UnionPlus", VERS_CHECK, 8846 },
558
    { "Uogon", VERS_CHECK, 370 },
559
    { "Uopf", VERS_CHECK, 120140 },
560
    { "UpArrow", VERS_CHECK, 8593 },
561
    { "UpArrowBar", VERS_CHECK, 10514 },
562
    { "UpArrowDownArrow", VERS_CHECK, 8645 },
563
    { "UpDownArrow", VERS_CHECK, 8597 },
564
    { "UpEquilibrium", VERS_CHECK, 10606 },
565
    { "UpTee", VERS_CHECK, 8869 },
566
    { "UpTeeArrow", VERS_CHECK, 8613 },
567
    { "Uparrow", VERS_CHECK, 8657 },
568
    { "Updownarrow", VERS_CHECK, 8661 },
569
    { "UpperLeftArrow", VERS_CHECK, 8598 },
570
    { "UpperRightArrow", VERS_CHECK, 8599 },
571
    { "Upsi", VERS_CHECK, 978 },
572
    { "Upsilon", VERS_FROM40, 933 },
573
    { "Uring", VERS_CHECK, 366 },
574
    { "Uscr", VERS_CHECK, 119984 },
575
    { "Utilde", VERS_CHECK, 360 },
576
    { "Uuml", VERS_ALL, 220 },
577
    { "VDash", VERS_CHECK, 8875 },
578
    { "Vbar", VERS_CHECK, 10987 },
579
    { "Vcy", VERS_CHECK, 1042 },
580
    { "Vdash", VERS_CHECK, 8873 },
581
    { "Vdashl", VERS_CHECK, 10982 },
582
    { "Vee", VERS_CHECK, 8897 },
583
    { "Verbar", VERS_CHECK, 8214 },
584
    { "Vert", VERS_CHECK, 8214 },
585
    { "VerticalBar", VERS_CHECK, 8739 },
586
    { "VerticalLine", VERS_CHECK, 124 },
587
    { "VerticalSeparator", VERS_CHECK, 10072 },
588
    { "VerticalTilde", VERS_CHECK, 8768 },
589
    { "VeryThinSpace", VERS_CHECK, 8202 },
590
    { "Vfr", VERS_CHECK, 120089 },
591
    { "Vopf", VERS_CHECK, 120141 },
592
    { "Vscr", VERS_CHECK, 119985 },
593
    { "Vvdash", VERS_CHECK, 8874 },
594
    { "Wcirc", VERS_CHECK, 372 },
595
    { "Wedge", VERS_CHECK, 8896 },
596
    { "Wfr", VERS_CHECK, 120090 },
597
    { "Wopf", VERS_CHECK, 120142 },
598
    { "Wscr", VERS_CHECK, 119986 },
599
    { "Xfr", VERS_CHECK, 120091 },
600
    { "Xi", VERS_FROM40, 926 },
601
    { "Xopf", VERS_CHECK, 120143 },
602
    { "Xscr", VERS_CHECK, 119987 },
603
    { "YAcy", VERS_CHECK, 1071 },
604
    { "YIcy", VERS_CHECK, 1031 },
605
    { "YUcy", VERS_CHECK, 1070 },
606
    { "Yacute", VERS_ALL, 221 },
607
    { "Ycirc", VERS_CHECK, 374 },
608
    { "Ycy", VERS_CHECK, 1067 },
609
    { "Yfr", VERS_CHECK, 120092 },
610
    { "Yopf", VERS_CHECK, 120144 },
611
    { "Yscr", VERS_CHECK, 119988 },
612
    { "Yuml", VERS_FROM40, 376 },
613
    { "ZHcy", VERS_CHECK, 1046 },
614
    { "Zacute", VERS_CHECK, 377 },
615
    { "Zcaron", VERS_CHECK, 381 },
616
    { "Zcy", VERS_CHECK, 1047 },
617
    { "Zdot", VERS_CHECK, 379 },
618
    { "ZeroWidthSpace", VERS_CHECK, 8203 },
619
    { "Zeta", VERS_FROM40, 918 },
620
    { "Zfr", VERS_CHECK, 8488 },
621
    { "Zopf", VERS_CHECK, 8484 },
622
    { "Zscr", VERS_CHECK, 119989 },
623
    { "aacute", VERS_ALL, 225 },
624
    { "abreve", VERS_CHECK, 259 },
625
    { "ac", VERS_CHECK, 8766 },
626
    { "acd", VERS_CHECK, 8767 },
627
    { "acirc", VERS_ALL, 226 },
628
    { "acute", VERS_ALL, 180 },
629
    { "acy", VERS_CHECK, 1072 },
630
    { "aelig", VERS_ALL, 230 },
631
    { "af", VERS_CHECK, 8289 },
632
    { "afr", VERS_CHECK, 120094 },
633
    { "agrave", VERS_ALL, 224 },
634
    { "alefsym", VERS_FROM40, 8501 },
635
    { "aleph", VERS_CHECK, 8501 },
636
    { "alpha", VERS_FROM40, 945 },
637
    { "amacr", VERS_CHECK, 257 },
638
    { "amalg", VERS_CHECK, 10815 },
639
    { "amp", VERS_ALL | VERS_XML, 38 },
640
    { "and", VERS_FROM40, 8743 },
641
    { "andand", VERS_CHECK, 10837 },
642
    { "andd", VERS_CHECK, 10844 },
643
    { "andslope", VERS_CHECK, 10840 },
644
    { "andv", VERS_CHECK, 10842 },
645
    { "ang", VERS_FROM40, 8736 },
646
    { "ange", VERS_CHECK, 10660 },
647
    { "angle", VERS_CHECK, 8736 },
648
    { "angmsd", VERS_CHECK, 8737 },
649
    { "angmsdaa", VERS_CHECK, 10664 },
650
    { "angmsdab", VERS_CHECK, 10665 },
651
    { "angmsdac", VERS_CHECK, 10666 },
652
    { "angmsdad", VERS_CHECK, 10667 },
653
    { "angmsdae", VERS_CHECK, 10668 },
654
    { "angmsdaf", VERS_CHECK, 10669 },
655
    { "angmsdag", VERS_CHECK, 10670 },
656
    { "angmsdah", VERS_CHECK, 10671 },
657
    { "angrt", VERS_CHECK, 8735 },
658
    { "angrtvb", VERS_CHECK, 8894 },
659
    { "angrtvbd", VERS_CHECK, 10653 },
660
    { "angsph", VERS_CHECK, 8738 },
661
    { "angst", VERS_CHECK, 197 },
662
    { "angzarr", VERS_CHECK, 9084 },
663
    { "aogon", VERS_CHECK, 261 },
664
    { "aopf", VERS_CHECK, 120146 },
665
    { "ap", VERS_CHECK, 8776 },
666
    { "apE", VERS_CHECK, 10864 },
667
    { "apacir", VERS_CHECK, 10863 },
668
    { "ape", VERS_CHECK, 8778 },
669
    { "apid", VERS_CHECK, 8779 },
670
    { "apos", VERS_FROM40 | VERS_XML, 39 },
671
    { "approx", VERS_CHECK, 8776 },
672
    { "approxeq", VERS_CHECK, 8778 },
673
    { "aring", VERS_ALL, 229 },
674
    { "ascr", VERS_CHECK, 119990 },
675
    { "ast", VERS_CHECK, 42 },
676
    { "asymp", VERS_FROM40, 8776 },
677
    { "asympeq", VERS_CHECK, 8781 },
678
    { "atilde", VERS_ALL, 227 },
679
    { "auml", VERS_ALL, 228 },
680
    { "awconint", VERS_CHECK, 8755 },
681
    { "awint", VERS_CHECK, 10769 },
682
    { "bNot", VERS_CHECK, 10989 },
683
    { "backcong", VERS_CHECK, 8780 },
684
    { "backepsilon", VERS_CHECK, 1014 },
685
    { "backprime", VERS_CHECK, 8245 },
686
    { "backsim", VERS_CHECK, 8765 },
687
    { "backsimeq", VERS_CHECK, 8909 },
688
    { "barvee", VERS_CHECK, 8893 },
689
    { "barwed", VERS_CHECK, 8965 },
690
    { "barwedge", VERS_CHECK, 8965 },
691
    { "bbrk", VERS_CHECK, 9141 },
692
    { "bbrktbrk", VERS_CHECK, 9142 },
693
    { "bcong", VERS_CHECK, 8780 },
694
    { "bcy", VERS_CHECK, 1073 },
695
    { "bdquo", VERS_FROM40, 8222 },
696
    { "becaus", VERS_CHECK, 8757 },
697
    { "because", VERS_CHECK, 8757 },
698
    { "bemptyv", VERS_CHECK, 10672 },
699
    { "bepsi", VERS_CHECK, 1014 },
700
    { "bernou", VERS_CHECK, 8492 },
701
    { "beta", VERS_FROM40, 946 },
702
    { "beth", VERS_CHECK, 8502 },
703
    { "between", VERS_CHECK, 8812 },
704
    { "bfr", VERS_CHECK, 120095 },
705
    { "bigcap", VERS_CHECK, 8898 },
706
    { "bigcirc", VERS_CHECK, 9711 },
707
    { "bigcup", VERS_CHECK, 8899 },
708
    { "bigodot", VERS_CHECK, 10752 },
709
    { "bigoplus", VERS_CHECK, 10753 },
710
    { "bigotimes", VERS_CHECK, 10754 },
711
    { "bigsqcup", VERS_CHECK, 10758 },
712
    { "bigstar", VERS_CHECK, 9733 },
713
    { "bigtriangledown", VERS_CHECK, 9661 },
714
    { "bigtriangleup", VERS_CHECK, 9651 },
715
    { "biguplus", VERS_CHECK, 10756 },
716
    { "bigvee", VERS_CHECK, 8897 },
717
    { "bigwedge", VERS_CHECK, 8896 },
718
    { "bkarow", VERS_CHECK, 10509 },
719
    { "blacklozenge", VERS_CHECK, 10731 },
720
    { "blacksquare", VERS_CHECK, 9642 },
721
    { "blacktriangle", VERS_CHECK, 9652 },
722
    { "blacktriangledown", VERS_CHECK, 9662 },
723
    { "blacktriangleleft", VERS_CHECK, 9666 },
724
    { "blacktriangleright", VERS_CHECK, 9656 },
725
    { "blank", VERS_CHECK, 9251 },
726
    { "blk12", VERS_CHECK, 9618 },
727
    { "blk14", VERS_CHECK, 9617 },
728
    { "blk34", VERS_CHECK, 9619 },
729
    { "block", VERS_CHECK, 9608 },
730
    { "bnot", VERS_CHECK, 8976 },
731
    { "bopf", VERS_CHECK, 120147 },
732
    { "bot", VERS_CHECK, 8869 },
733
    { "bottom", VERS_CHECK, 8869 },
734
    { "bowtie", VERS_CHECK, 8904 },
735
    { "boxDL", VERS_CHECK, 9559 },
736
    { "boxDR", VERS_CHECK, 9556 },
737
    { "boxDl", VERS_CHECK, 9558 },
738
    { "boxDr", VERS_CHECK, 9555 },
739
    { "boxH", VERS_CHECK, 9552 },
740
    { "boxHD", VERS_CHECK, 9574 },
741
    { "boxHU", VERS_CHECK, 9577 },
742
    { "boxHd", VERS_CHECK, 9572 },
743
    { "boxHu", VERS_CHECK, 9575 },
744
    { "boxUL", VERS_CHECK, 9565 },
745
    { "boxUR", VERS_CHECK, 9562 },
746
    { "boxUl", VERS_CHECK, 9564 },
747
    { "boxUr", VERS_CHECK, 9561 },
748
    { "boxV", VERS_CHECK, 9553 },
749
    { "boxVH", VERS_CHECK, 9580 },
750
    { "boxVL", VERS_CHECK, 9571 },
751
    { "boxVR", VERS_CHECK, 9568 },
752
    { "boxVh", VERS_CHECK, 9579 },
753
    { "boxVl", VERS_CHECK, 9570 },
754
    { "boxVr", VERS_CHECK, 9567 },
755
    { "boxbox", VERS_CHECK, 10697 },
756
    { "boxdL", VERS_CHECK, 9557 },
757
    { "boxdR", VERS_CHECK, 9554 },
758
    { "boxdl", VERS_CHECK, 9488 },
759
    { "boxdr", VERS_CHECK, 9484 },
760
    { "boxh", VERS_CHECK, 9472 },
761
    { "boxhD", VERS_CHECK, 9573 },
762
    { "boxhU", VERS_CHECK, 9576 },
763
    { "boxhd", VERS_CHECK, 9516 },
764
    { "boxhu", VERS_CHECK, 9524 },
765
    { "boxminus", VERS_CHECK, 8863 },
766
    { "boxplus", VERS_CHECK, 8862 },
767
    { "boxtimes", VERS_CHECK, 8864 },
768
    { "boxuL", VERS_CHECK, 9563 },
769
    { "boxuR", VERS_CHECK, 9560 },
770
    { "boxul", VERS_CHECK, 9496 },
771
    { "boxur", VERS_CHECK, 9492 },
772
    { "boxv", VERS_CHECK, 9474 },
773
    { "boxvH", VERS_CHECK, 9578 },
774
    { "boxvL", VERS_CHECK, 9569 },
775
    { "boxvR", VERS_CHECK, 9566 },
776
    { "boxvh", VERS_CHECK, 9532 },
777
    { "boxvl", VERS_CHECK, 9508 },
778
    { "boxvr", VERS_CHECK, 9500 },
779
    { "bprime", VERS_CHECK, 8245 },
780
    { "breve", VERS_CHECK, 728 },
781
    { "brvbar", VERS_ALL, 166 },
782
    { "bscr", VERS_CHECK, 119991 },
783
    { "bsemi", VERS_CHECK, 8271 },
784
    { "bsim", VERS_CHECK, 8765 },
785
    { "bsime", VERS_CHECK, 8909 },
786
    { "bsol", VERS_CHECK, 92 },
787
    { "bsolb", VERS_CHECK, 10693 },
788
    { "bsolhsub", VERS_CHECK, 10184 },
789
    { "bull", VERS_FROM40, 8226 },
790
    { "bullet", VERS_CHECK, 8226 },
791
    { "bump", VERS_CHECK, 8782 },
792
    { "bumpE", VERS_CHECK, 10926 },
793
    { "bumpe", VERS_CHECK, 8783 },
794
    { "bumpeq", VERS_CHECK, 8783 },
795
    { "cacute", VERS_CHECK, 263 },
796
    { "cap", VERS_FROM40, 8745 },
797
    { "capand", VERS_CHECK, 10820 },
798
    { "capbrcup", VERS_CHECK, 10825 },
799
    { "capcap", VERS_CHECK, 10827 },
800
    { "capcup", VERS_CHECK, 10823 },
801
    { "capdot", VERS_CHECK, 10816 },
802
    { "caret", VERS_CHECK, 8257 },
803
    { "caron", VERS_CHECK, 711 },
804
    { "ccaps", VERS_CHECK, 10829 },
805
    { "ccaron", VERS_CHECK, 269 },
806
    { "ccedil", VERS_ALL, 231 },
807
    { "ccirc", VERS_CHECK, 265 },
808
    { "ccups", VERS_CHECK, 10828 },
809
    { "ccupssm", VERS_CHECK, 10832 },
810
    { "cdot", VERS_CHECK, 267 },
811
    { "cedil", VERS_ALL, 184 },
812
    { "cemptyv", VERS_CHECK, 10674 },
813
    { "cent", VERS_ALL, 162 },
814
    { "centerdot", VERS_CHECK, 183 },
815
    { "cfr", VERS_CHECK, 120096 },
816
    { "chcy", VERS_CHECK, 1095 },
817
    { "check", VERS_CHECK, 10003 },
818
    { "checkmark", VERS_CHECK, 10003 },
819
    { "chi", VERS_FROM40, 967 },
820
    { "cir", VERS_CHECK, 9675 },
821
    { "cirE", VERS_CHECK, 10691 },
822
    { "circ", VERS_FROM40, 710 },
823
    { "circeq", VERS_CHECK, 8791 },
824
    { "circlearrowleft", VERS_CHECK, 8634 },
825
    { "circlearrowright", VERS_CHECK, 8635 },
826
    { "circledR", VERS_CHECK, 174 },
827
    { "circledS", VERS_CHECK, 9416 },
828
    { "circledast", VERS_CHECK, 8859 },
829
    { "circledcirc", VERS_CHECK, 8858 },
830
    { "circleddash", VERS_CHECK, 8861 },
831
    { "cire", VERS_CHECK, 8791 },
832
    { "cirfnint", VERS_CHECK, 10768 },
833
    { "cirmid", VERS_CHECK, 10991 },
834
    { "cirscir", VERS_CHECK, 10690 },
835
    { "clubs", VERS_FROM40, 9827 },
836
    { "clubsuit", VERS_CHECK, 9827 },
837
    { "colon", VERS_CHECK, 58 },
838
    { "colone", VERS_CHECK, 8788 },
839
    { "coloneq", VERS_CHECK, 8788 },
840
    { "comma", VERS_CHECK, 44 },
841
    { "commat", VERS_CHECK, 64 },
842
    { "comp", VERS_CHECK, 8705 },
843
    { "compfn", VERS_CHECK, 8728 },
844
    { "complement", VERS_CHECK, 8705 },
845
    { "complexes", VERS_CHECK, 8450 },
846
    { "cong", VERS_FROM40, 8773 },
847
    { "congdot", VERS_CHECK, 10861 },
848
    { "conint", VERS_CHECK, 8750 },
849
    { "copf", VERS_CHECK, 120148 },
850
    { "coprod", VERS_CHECK, 8720 },
851
    { "copy", VERS_ALL, 169 },
852
    { "copysr", VERS_CHECK, 8471 },
853
    { "crarr", VERS_FROM40, 8629 },
854
    { "cross", VERS_CHECK, 10007 },
855
    { "cscr", VERS_CHECK, 119992 },
856
    { "csub", VERS_CHECK, 10959 },
857
    { "csube", VERS_CHECK, 10961 },
858
    { "csup", VERS_CHECK, 10960 },
859
    { "csupe", VERS_CHECK, 10962 },
860
    { "ctdot", VERS_CHECK, 8943 },
861
    { "cudarrl", VERS_CHECK, 10552 },
862
    { "cudarrr", VERS_CHECK, 10549 },
863
    { "cuepr", VERS_CHECK, 8926 },
864
    { "cuesc", VERS_CHECK, 8927 },
865
    { "cularr", VERS_CHECK, 8630 },
866
    { "cularrp", VERS_CHECK, 10557 },
867
    { "cup", VERS_FROM40, 8746 },
868
    { "cupbrcap", VERS_CHECK, 10824 },
869
    { "cupcap", VERS_CHECK, 10822 },
870
    { "cupcup", VERS_CHECK, 10826 },
871
    { "cupdot", VERS_CHECK, 8845 },
872
    { "cupor", VERS_CHECK, 10821 },
873
    { "curarr", VERS_CHECK, 8631 },
874
    { "curarrm", VERS_CHECK, 10556 },
875
    { "curlyeqprec", VERS_CHECK, 8926 },
876
    { "curlyeqsucc", VERS_CHECK, 8927 },
877
    { "curlyvee", VERS_CHECK, 8910 },
878
    { "curlywedge", VERS_CHECK, 8911 },
879
    { "curren", VERS_ALL, 164 },
880
    { "curvearrowleft", VERS_CHECK, 8630 },
881
    { "curvearrowright", VERS_CHECK, 8631 },
882
    { "cuvee", VERS_CHECK, 8910 },
883
    { "cuwed", VERS_CHECK, 8911 },
884
    { "cwconint", VERS_CHECK, 8754 },
885
    { "cwint", VERS_CHECK, 8753 },
886
    { "cylcty", VERS_CHECK, 9005 },
887
    { "dArr", VERS_FROM40, 8659 },
888
    { "dHar", VERS_CHECK, 10597 },
889
    { "dagger", VERS_FROM40, 8224 },
890
    { "daleth", VERS_CHECK, 8504 },
891
    { "darr", VERS_FROM40, 8595 },
892
    { "dash", VERS_CHECK, 8208 },
893
    { "dashv", VERS_CHECK, 8867 },
894
    { "dbkarow", VERS_CHECK, 10511 },
895
    { "dblac", VERS_CHECK, 733 },
896
    { "dcaron", VERS_CHECK, 271 },
897
    { "dcy", VERS_CHECK, 1076 },
898
    { "dd", VERS_CHECK, 8518 },
899
    { "ddagger", VERS_CHECK, 8225 },
900
    { "ddarr", VERS_CHECK, 8650 },
901
    { "ddotseq", VERS_CHECK, 10871 },
902
    { "deg", VERS_ALL, 176 },
903
    { "delta", VERS_FROM40, 948 },
904
    { "demptyv", VERS_CHECK, 10673 },
905
    { "dfisht", VERS_CHECK, 10623 },
906
    { "dfr", VERS_CHECK, 120097 },
907
    { "dharl", VERS_CHECK, 8643 },
908
    { "dharr", VERS_CHECK, 8642 },
909
    { "diam", VERS_CHECK, 8900 },
910
    { "diamond", VERS_CHECK, 8900 },
911
    { "diamondsuit", VERS_CHECK, 9830 },
912
    { "diams", VERS_FROM40, 9830 },
913
    { "die", VERS_CHECK, 168 },
914
    { "digamma", VERS_CHECK, 989 },
915
    { "disin", VERS_CHECK, 8946 },
916
    { "div", VERS_CHECK, 247 },
917
    { "divide", VERS_ALL, 247 },
918
    { "divideontimes", VERS_CHECK, 8903 },
919
    { "divonx", VERS_CHECK, 8903 },
920
    { "djcy", VERS_CHECK, 1106 },
921
    { "dlcorn", VERS_CHECK, 8990 },
922
    { "dlcrop", VERS_CHECK, 8973 },
923
    { "dollar", VERS_CHECK, 36 },
924
    { "dopf", VERS_CHECK, 120149 },
925
    { "dot", VERS_CHECK, 729 },
926
    { "doteq", VERS_CHECK, 8784 },
927
    { "doteqdot", VERS_CHECK, 8785 },
928
    { "dotminus", VERS_CHECK, 8760 },
929
    { "dotplus", VERS_CHECK, 8724 },
930
    { "dotsquare", VERS_CHECK, 8865 },
931
    { "doublebarwedge", VERS_CHECK, 8966 },
932
    { "downarrow", VERS_CHECK, 8595 },
933
    { "downdownarrows", VERS_CHECK, 8650 },
934
    { "downharpoonleft", VERS_CHECK, 8643 },
935
    { "downharpoonright", VERS_CHECK, 8642 },
936
    { "drbkarow", VERS_CHECK, 10512 },
937
    { "drcorn", VERS_CHECK, 8991 },
938
    { "drcrop", VERS_CHECK, 8972 },
939
    { "dscr", VERS_CHECK, 119993 },
940
    { "dscy", VERS_CHECK, 1109 },
941
    { "dsol", VERS_CHECK, 10742 },
942
    { "dstrok", VERS_CHECK, 273 },
943
    { "dtdot", VERS_CHECK, 8945 },
944
    { "dtri", VERS_CHECK, 9663 },
945
    { "dtrif", VERS_CHECK, 9662 },
946
    { "duarr", VERS_CHECK, 8693 },
947
    { "duhar", VERS_CHECK, 10607 },
948
    { "dwangle", VERS_CHECK, 10662 },
949
    { "dzcy", VERS_CHECK, 1119 },
950
    { "dzigrarr", VERS_CHECK, 10239 },
951
    { "eDDot", VERS_CHECK, 10871 },
952
    { "eDot", VERS_CHECK, 8785 },
953
    { "eacute", VERS_ALL, 233 },
954
    { "easter", VERS_CHECK, 10862 },
955
    { "ecaron", VERS_CHECK, 283 },
956
    { "ecir", VERS_CHECK, 8790 },
957
    { "ecirc", VERS_ALL, 234 },
958
    { "ecolon", VERS_CHECK, 8789 },
959
    { "ecy", VERS_CHECK, 1101 },
960
    { "edot", VERS_CHECK, 279 },
961
    { "ee", VERS_CHECK, 8519 },
962
    { "efDot", VERS_CHECK, 8786 },
963
    { "efr", VERS_CHECK, 120098 },
964
    { "eg", VERS_CHECK, 10906 },
965
    { "egrave", VERS_ALL, 232 },
966
    { "egs", VERS_CHECK, 10902 },
967
    { "egsdot", VERS_CHECK, 10904 },
968
    { "el", VERS_CHECK, 10905 },
969
    { "elinters", VERS_CHECK, 9191 },
970
    { "ell", VERS_CHECK, 8467 },
971
    { "els", VERS_CHECK, 10901 },
972
    { "elsdot", VERS_CHECK, 10903 },
973
    { "emacr", VERS_CHECK, 275 },
974
    { "empty", VERS_FROM40, 8709 },
975
    { "emptyset", VERS_CHECK, 8709 },
976
    { "emptyv", VERS_CHECK, 8709 },
977
    { "emsp", VERS_FROM40, 8195 },
978
    { "emsp13", VERS_CHECK, 8196 },
979
    { "emsp14", VERS_CHECK, 8197 },
980
    { "eng", VERS_CHECK, 331 },
981
    { "ensp", VERS_FROM40, 8194 },
982
    { "eogon", VERS_CHECK, 281 },
983
    { "eopf", VERS_CHECK, 120150 },
984
    { "epar", VERS_CHECK, 8917 },
985
    { "eparsl", VERS_CHECK, 10723 },
986
    { "eplus", VERS_CHECK, 10865 },
987
    { "epsi", VERS_CHECK, 949 },
988
    { "epsilon", VERS_FROM40, 949 },
989
    { "epsiv", VERS_CHECK, 1013 },
990
    { "eqcirc", VERS_CHECK, 8790 },
991
    { "eqcolon", VERS_CHECK, 8789 },
992
    { "eqsim", VERS_CHECK, 8770 },
993
    { "eqslantgtr", VERS_CHECK, 10902 },
994
    { "eqslantless", VERS_CHECK, 10901 },
995
    { "equals", VERS_CHECK, 61 },
996
    { "equest", VERS_CHECK, 8799 },
997
    { "equiv", VERS_FROM40, 8801 },
998
    { "equivDD", VERS_CHECK, 10872 },
999
    { "eqvparsl", VERS_CHECK, 10725 },
1000
    { "erDot", VERS_CHECK, 8787 },
1001
    { "erarr", VERS_CHECK, 10609 },
1002
    { "escr", VERS_CHECK, 8495 },
1003
    { "esdot", VERS_CHECK, 8784 },
1004
    { "esim", VERS_CHECK, 8770 },
1005
    { "eta", VERS_FROM40, 951 },
1006
    { "eth", VERS_ALL, 240 },
1007
    { "euml", VERS_ALL, 235 },
1008
    { "euro", VERS_FROM40, 8364 },
1009
    { "excl", VERS_CHECK, 33 },
1010
    { "exist", VERS_FROM40, 8707 },
1011
    { "expectation", VERS_CHECK, 8496 },
1012
    { "exponentiale", VERS_CHECK, 8519 },
1013
    { "fallingdotseq", VERS_CHECK, 8786 },
1014
    { "fcy", VERS_CHECK, 1092 },
1015
    { "female", VERS_CHECK, 9792 },
1016
    { "ffilig", VERS_CHECK, 64259 },
1017
    { "fflig", VERS_CHECK, 64256 },
1018
    { "ffllig", VERS_CHECK, 64260 },
1019
    { "ffr", VERS_CHECK, 120099 },
1020
    { "filig", VERS_CHECK, 64257 },
1021
    { "flat", VERS_CHECK, 9837 },
1022
    { "fllig", VERS_CHECK, 64258 },
1023
    { "fltns", VERS_CHECK, 9649 },
1024
    { "fnof", VERS_FROM40, 402 },
1025
    { "fopf", VERS_CHECK, 120151 },
1026
    { "forall", VERS_FROM40, 8704 },
1027
    { "fork", VERS_CHECK, 8916 },
1028
    { "forkv", VERS_CHECK, 10969 },
1029
    { "fpartint", VERS_CHECK, 10765 },
1030
    { "frac12", VERS_ALL, 189 },
1031
    { "frac13", VERS_CHECK, 8531 },
1032
    { "frac14", VERS_ALL, 188 },
1033
    { "frac15", VERS_CHECK, 8533 },
1034
    { "frac16", VERS_CHECK, 8537 },
1035
    { "frac18", VERS_CHECK, 8539 },
1036
    { "frac23", VERS_CHECK, 8532 },
1037
    { "frac25", VERS_CHECK, 8534 },
1038
    { "frac34", VERS_ALL, 190 },
1039
    { "frac35", VERS_CHECK, 8535 },
1040
    { "frac38", VERS_CHECK, 8540 },
1041
    { "frac45", VERS_CHECK, 8536 },
1042
    { "frac56", VERS_CHECK, 8538 },
1043
    { "frac58", VERS_CHECK, 8541 },
1044
    { "frac78", VERS_CHECK, 8542 },
1045
    { "frasl", VERS_FROM40, 8260 },
1046
    { "frown", VERS_CHECK, 8994 },
1047
    { "fscr", VERS_CHECK, 119995 },
1048
    { "gE", VERS_CHECK, 8807 },
1049
    { "gEl", VERS_CHECK, 10892 },
1050
    { "gacute", VERS_CHECK, 501 },
1051
    { "gamma", VERS_FROM40, 947 },
1052
    { "gammad", VERS_CHECK, 989 },
1053
    { "gap", VERS_CHECK, 10886 },
1054
    { "gbreve", VERS_CHECK, 287 },
1055
    { "gcirc", VERS_CHECK, 285 },
1056
    { "gcy", VERS_CHECK, 1075 },
1057
    { "gdot", VERS_CHECK, 289 },
1058
    { "ge", VERS_FROM40, 8805 },
1059
    { "gel", VERS_CHECK, 8923 },
1060
    { "geq", VERS_CHECK, 8805 },
1061
    { "geqq", VERS_CHECK, 8807 },
1062
    { "geqslant", VERS_CHECK, 10878 },
1063
    { "ges", VERS_CHECK, 10878 },
1064
    { "gescc", VERS_CHECK, 10921 },
1065
    { "gesdot", VERS_CHECK, 10880 },
1066
    { "gesdoto", VERS_CHECK, 10882 },
1067
    { "gesdotol", VERS_CHECK, 10884 },
1068
    { "gesles", VERS_CHECK, 10900 },
1069
    { "gfr", VERS_CHECK, 120100 },
1070
    { "gg", VERS_CHECK, 8811 },
1071
    { "ggg", VERS_CHECK, 8921 },
1072
    { "gimel", VERS_CHECK, 8503 },
1073
    { "gjcy", VERS_CHECK, 1107 },
1074
    { "gl", VERS_CHECK, 8823 },
1075
    { "glE", VERS_CHECK, 10898 },
1076
    { "gla", VERS_CHECK, 10917 },
1077
    { "glj", VERS_CHECK, 10916 },
1078
    { "gnE", VERS_CHECK, 8809 },
1079
    { "gnap", VERS_CHECK, 10890 },
1080
    { "gnapprox", VERS_CHECK, 10890 },
1081
    { "gne", VERS_CHECK, 10888 },
1082
    { "gneq", VERS_CHECK, 10888 },
1083
    { "gneqq", VERS_CHECK, 8809 },
1084
    { "gnsim", VERS_CHECK, 8935 },
1085
    { "gopf", VERS_CHECK, 120152 },
1086
    { "grave", VERS_CHECK, 96 },
1087
    { "gscr", VERS_CHECK, 8458 },
1088
    { "gsim", VERS_CHECK, 8819 },
1089
    { "gsime", VERS_CHECK, 10894 },
1090
    { "gsiml", VERS_CHECK, 10896 },
1091
    { "gt", VERS_ALL | VERS_XML, 62 },
1092
    { "gtcc", VERS_CHECK, 10919 },
1093
    { "gtcir", VERS_CHECK, 10874 },
1094
    { "gtdot", VERS_CHECK, 8919 },
1095
    { "gtlPar", VERS_CHECK, 10645 },
1096
    { "gtquest", VERS_CHECK, 10876 },
1097
    { "gtrapprox", VERS_CHECK, 10886 },
1098
    { "gtrarr", VERS_CHECK, 10616 },
1099
    { "gtrdot", VERS_CHECK, 8919 },
1100
    { "gtreqless", VERS_CHECK, 8923 },
1101
    { "gtreqqless", VERS_CHECK, 10892 },
1102
    { "gtrless", VERS_CHECK, 8823 },
1103
    { "gtrsim", VERS_CHECK, 8819 },
1104
    { "hArr", VERS_FROM40, 8660 },
1105
    { "hairsp", VERS_CHECK, 8202 },
1106
    { "half", VERS_CHECK, 189 },
1107
    { "hamilt", VERS_CHECK, 8459 },
1108
    { "hardcy", VERS_CHECK, 1098 },
1109
    { "harr", VERS_FROM40, 8596 },
1110
    { "harrcir", VERS_CHECK, 10568 },
1111
    { "harrw", VERS_CHECK, 8621 },
1112
    { "hbar", VERS_CHECK, 8463 },
1113
    { "hcirc", VERS_CHECK, 293 },
1114
    { "hearts", VERS_FROM40, 9829 },
1115
    { "heartsuit", VERS_CHECK, 9829 },
1116
    { "hellip", VERS_FROM40, 8230 },
1117
    { "hercon", VERS_CHECK, 8889 },
1118
    { "hfr", VERS_CHECK, 120101 },
1119
    { "hksearow", VERS_CHECK, 10533 },
1120
    { "hkswarow", VERS_CHECK, 10534 },
1121
    { "hoarr", VERS_CHECK, 8703 },
1122
    { "homtht", VERS_CHECK, 8763 },
1123
    { "hookleftarrow", VERS_CHECK, 8617 },
1124
    { "hookrightarrow", VERS_CHECK, 8618 },
1125
    { "hopf", VERS_CHECK, 120153 },
1126
    { "horbar", VERS_CHECK, 8213 },
1127
    { "hscr", VERS_CHECK, 119997 },
1128
    { "hslash", VERS_CHECK, 8463 },
1129
    { "hstrok", VERS_CHECK, 295 },
1130
    { "hybull", VERS_CHECK, 8259 },
1131
    { "hyphen", VERS_CHECK, 8208 },
1132
    { "iacute", VERS_ALL, 237 },
1133
    { "ic", VERS_CHECK, 8291 },
1134
    { "icirc", VERS_ALL, 238 },
1135
    { "icy", VERS_CHECK, 1080 },
1136
    { "iecy", VERS_CHECK, 1077 },
1137
    { "iexcl", VERS_ALL, 161 },
1138
    { "iff", VERS_CHECK, 8660 },
1139
    { "ifr", VERS_CHECK, 120102 },
1140
    { "igrave", VERS_ALL, 236 },
1141
    { "ii", VERS_CHECK, 8520 },
1142
    { "iiiint", VERS_CHECK, 10764 },
1143
    { "iiint", VERS_CHECK, 8749 },
1144
    { "iinfin", VERS_CHECK, 10716 },
1145
    { "iiota", VERS_CHECK, 8489 },
1146
    { "ijlig", VERS_CHECK, 307 },
1147
    { "imacr", VERS_CHECK, 299 },
1148
    { "image", VERS_FROM40, 8465 },
1149
    { "imagline", VERS_CHECK, 8464 },
1150
    { "imagpart", VERS_CHECK, 8465 },
1151
    { "imath", VERS_CHECK, 305 },
1152
    { "imof", VERS_CHECK, 8887 },
1153
    { "imped", VERS_CHECK, 437 },
1154
    { "in", VERS_CHECK, 8712 },
1155
    { "incare", VERS_CHECK, 8453 },
1156
    { "infin", VERS_FROM40, 8734 },
1157
    { "infintie", VERS_CHECK, 10717 },
1158
    { "inodot", VERS_CHECK, 305 },
1159
    { "int", VERS_FROM40, 8747 },
1160
    { "intcal", VERS_CHECK, 8890 },
1161
    { "integers", VERS_CHECK, 8484 },
1162
    { "intercal", VERS_CHECK, 8890 },
1163
    { "intlarhk", VERS_CHECK, 10775 },
1164
    { "intprod", VERS_CHECK, 10812 },
1165
    { "iocy", VERS_CHECK, 1105 },
1166
    { "iogon", VERS_CHECK, 303 },
1167
    { "iopf", VERS_CHECK, 120154 },
1168
    { "iota", VERS_FROM40, 953 },
1169
    { "iprod", VERS_CHECK, 10812 },
1170
    { "iquest", VERS_ALL, 191 },
1171
    { "iscr", VERS_CHECK, 119998 },
1172
    { "isin", VERS_FROM40, 8712 },
1173
    { "isinE", VERS_CHECK, 8953 },
1174
    { "isindot", VERS_CHECK, 8949 },
1175
    { "isins", VERS_CHECK, 8948 },
1176
    { "isinsv", VERS_CHECK, 8947 },
1177
    { "isinv", VERS_CHECK, 8712 },
1178
    { "it", VERS_CHECK, 8290 },
1179
    { "itilde", VERS_CHECK, 297 },
1180
    { "iukcy", VERS_CHECK, 1110 },
1181
    { "iuml", VERS_ALL, 239 },
1182
    { "jcirc", VERS_CHECK, 309 },
1183
    { "jcy", VERS_CHECK, 1081 },
1184
    { "jfr", VERS_CHECK, 120103 },
1185
    { "jmath", VERS_CHECK, 567 },
1186
    { "jopf", VERS_CHECK, 120155 },
1187
    { "jscr", VERS_CHECK, 119999 },
1188
    { "jsercy", VERS_CHECK, 1112 },
1189
    { "jukcy", VERS_CHECK, 1108 },
1190
    { "kappa", VERS_FROM40, 954 },
1191
    { "kappav", VERS_CHECK, 1008 },
1192
    { "kcedil", VERS_CHECK, 311 },
1193
    { "kcy", VERS_CHECK, 1082 },
1194
    { "kfr", VERS_CHECK, 120104 },
1195
    { "kgreen", VERS_CHECK, 312 },
1196
    { "khcy", VERS_CHECK, 1093 },
1197
    { "kjcy", VERS_CHECK, 1116 },
1198
    { "kopf", VERS_CHECK, 120156 },
1199
    { "kscr", VERS_CHECK, 120000 },
1200
    { "lAarr", VERS_CHECK, 8666 },
1201
    { "lArr", VERS_FROM40, 8656 },
1202
    { "lAtail", VERS_CHECK, 10523 },
1203
    { "lBarr", VERS_CHECK, 10510 },
1204
    { "lE", VERS_CHECK, 8806 },
1205
    { "lEg", VERS_CHECK, 10891 },
1206
    { "lHar", VERS_CHECK, 10594 },
1207
    { "lacute", VERS_CHECK, 314 },
1208
    { "laemptyv", VERS_CHECK, 10676 },
1209
    { "lagran", VERS_CHECK, 8466 },
1210
    { "lambda", VERS_FROM40, 955 },
1211
    { "lang", VERS_FROM40, 10216 },
1212
    { "langd", VERS_CHECK, 10641 },
1213
    { "langle", VERS_CHECK, 10216 },
1214
    { "lap", VERS_CHECK, 10885 },
1215
    { "laquo", VERS_ALL, 171 },
1216
    { "larr", VERS_FROM40, 8592 },
1217
    { "larrb", VERS_CHECK, 8676 },
1218
    { "larrbfs", VERS_CHECK, 10527 },
1219
    { "larrfs", VERS_CHECK, 10525 },
1220
    { "larrhk", VERS_CHECK, 8617 },
1221
    { "larrlp", VERS_CHECK, 8619 },
1222
    { "larrpl", VERS_CHECK, 10553 },
1223
    { "larrsim", VERS_CHECK, 10611 },
1224
    { "larrtl", VERS_CHECK, 8610 },
1225
    { "lat", VERS_CHECK, 10923 },
1226
    { "latail", VERS_CHECK, 10521 },
1227
    { "late", VERS_CHECK, 10925 },
1228
    { "lbarr", VERS_CHECK, 10508 },
1229
    { "lbbrk", VERS_CHECK, 10098 },
1230
    { "lbrace", VERS_CHECK, 123 },
1231
    { "lbrack", VERS_CHECK, 91 },
1232
    { "lbrke", VERS_CHECK, 10635 },
1233
    { "lbrksld", VERS_CHECK, 10639 },
1234
    { "lbrkslu", VERS_CHECK, 10637 },
1235
    { "lcaron", VERS_CHECK, 318 },
1236
    { "lcedil", VERS_CHECK, 316 },
1237
    { "lceil", VERS_FROM40, 8968 },
1238
    { "lcub", VERS_CHECK, 123 },
1239
    { "lcy", VERS_CHECK, 1083 },
1240
    { "ldca", VERS_CHECK, 10550 },
1241
    { "ldquo", VERS_FROM40, 8220 },
1242
    { "ldquor", VERS_CHECK, 8222 },
1243
    { "ldrdhar", VERS_CHECK, 10599 },
1244
    { "ldrushar", VERS_CHECK, 10571 },
1245
    { "ldsh", VERS_CHECK, 8626 },
1246
    { "le", VERS_FROM40, 8804 },
1247
    { "leftarrow", VERS_CHECK, 8592 },
1248
    { "leftarrowtail", VERS_CHECK, 8610 },
1249
    { "leftharpoondown", VERS_CHECK, 8637 },
1250
    { "leftharpoonup", VERS_CHECK, 8636 },
1251
    { "leftleftarrows", VERS_CHECK, 8647 },
1252
    { "leftrightarrow", VERS_CHECK, 8596 },
1253
    { "leftrightarrows", VERS_CHECK, 8646 },
1254
    { "leftrightharpoons", VERS_CHECK, 8651 },
1255
    { "leftrightsquigarrow", VERS_CHECK, 8621 },
1256
    { "leftthreetimes", VERS_CHECK, 8907 },
1257
    { "leg", VERS_CHECK, 8922 },
1258
    { "leq", VERS_CHECK, 8804 },
1259
    { "leqq", VERS_CHECK, 8806 },
1260
    { "leqslant", VERS_CHECK, 10877 },
1261
    { "les", VERS_CHECK, 10877 },
1262
    { "lescc", VERS_CHECK, 10920 },
1263
    { "lesdot", VERS_CHECK, 10879 },
1264
    { "lesdoto", VERS_CHECK, 10881 },
1265
    { "lesdotor", VERS_CHECK, 10883 },
1266
    { "lesges", VERS_CHECK, 10899 },
1267
    { "lessapprox", VERS_CHECK, 10885 },
1268
    { "lessdot", VERS_CHECK, 8918 },
1269
    { "lesseqgtr", VERS_CHECK, 8922 },
1270
    { "lesseqqgtr", VERS_CHECK, 10891 },
1271
    { "lessgtr", VERS_CHECK, 8822 },
1272
    { "lesssim", VERS_CHECK, 8818 },
1273
    { "lfisht", VERS_CHECK, 10620 },
1274
    { "lfloor", VERS_FROM40, 8970 },
1275
    { "lfr", VERS_CHECK, 120105 },
1276
    { "lg", VERS_CHECK, 8822 },
1277
    { "lgE", VERS_CHECK, 10897 },
1278
    { "lhard", VERS_CHECK, 8637 },
1279
    { "lharu", VERS_CHECK, 8636 },
1280
    { "lharul", VERS_CHECK, 10602 },
1281
    { "lhblk", VERS_CHECK, 9604 },
1282
    { "ljcy", VERS_CHECK, 1113 },
1283
    { "ll", VERS_CHECK, 8810 },
1284
    { "llarr", VERS_CHECK, 8647 },
1285
    { "llcorner", VERS_CHECK, 8990 },
1286
    { "llhard", VERS_CHECK, 10603 },
1287
    { "lltri", VERS_CHECK, 9722 },
1288
    { "lmidot", VERS_CHECK, 320 },
1289
    { "lmoust", VERS_CHECK, 9136 },
1290
    { "lmoustache", VERS_CHECK, 9136 },
1291
    { "lnE", VERS_CHECK, 8808 },
1292
    { "lnap", VERS_CHECK, 10889 },
1293
    { "lnapprox", VERS_CHECK, 10889 },
1294
    { "lne", VERS_CHECK, 10887 },
1295
    { "lneq", VERS_CHECK, 10887 },
1296
    { "lneqq", VERS_CHECK, 8808 },
1297
    { "lnsim", VERS_CHECK, 8934 },
1298
    { "loang", VERS_CHECK, 10220 },
1299
    { "loarr", VERS_CHECK, 8701 },
1300
    { "lobrk", VERS_CHECK, 10214 },
1301
    { "longleftarrow", VERS_CHECK, 10229 },
1302
    { "longleftrightarrow", VERS_CHECK, 10231 },
1303
    { "longmapsto", VERS_CHECK, 10236 },
1304
    { "longrightarrow", VERS_CHECK, 10230 },
1305
    { "looparrowleft", VERS_CHECK, 8619 },
1306
    { "looparrowright", VERS_CHECK, 8620 },
1307
    { "lopar", VERS_CHECK, 10629 },
1308
    { "lopf", VERS_CHECK, 120157 },
1309
    { "loplus", VERS_CHECK, 10797 },
1310
    { "lotimes", VERS_CHECK, 10804 },
1311
    { "lowast", VERS_FROM40, 8727 },
1312
    { "lowbar", VERS_CHECK, 95 },
1313
    { "loz", VERS_FROM40, 9674 },
1314
    { "lozenge", VERS_CHECK, 9674 },
1315
    { "lozf", VERS_CHECK, 10731 },
1316
    { "lpar", VERS_CHECK, 40 },
1317
    { "lparlt", VERS_CHECK, 10643 },
1318
    { "lrarr", VERS_CHECK, 8646 },
1319
    { "lrcorner", VERS_CHECK, 8991 },
1320
    { "lrhar", VERS_CHECK, 8651 },
1321
    { "lrhard", VERS_CHECK, 10605 },
1322
    { "lrm", VERS_FROM40, 8206 },
1323
    { "lrtri", VERS_CHECK, 8895 },
1324
    { "lsaquo", VERS_FROM40, 8249 },
1325
    { "lscr", VERS_CHECK, 120001 },
1326
    { "lsh", VERS_CHECK, 8624 },
1327
    { "lsim", VERS_CHECK, 8818 },
1328
    { "lsime", VERS_CHECK, 10893 },
1329
    { "lsimg", VERS_CHECK, 10895 },
1330
    { "lsqb", VERS_CHECK, 91 },
1331
    { "lsquo", VERS_FROM40, 8216 },
1332
    { "lsquor", VERS_CHECK, 8218 },
1333
    { "lstrok", VERS_CHECK, 322 },
1334
    { "lt", VERS_ALL | VERS_XML, 60 },
1335
    { "ltcc", VERS_CHECK, 10918 },
1336
    { "ltcir", VERS_CHECK, 10873 },
1337
    { "ltdot", VERS_CHECK, 8918 },
1338
    { "lthree", VERS_CHECK, 8907 },
1339
    { "ltimes", VERS_CHECK, 8905 },
1340
    { "ltlarr", VERS_CHECK, 10614 },
1341
    { "ltquest", VERS_CHECK, 10875 },
1342
    { "ltrPar", VERS_CHECK, 10646 },
1343
    { "ltri", VERS_CHECK, 9667 },
1344
    { "ltrie", VERS_CHECK, 8884 },
1345
    { "ltrif", VERS_CHECK, 9666 },
1346
    { "lurdshar", VERS_CHECK, 10570 },
1347
    { "luruhar", VERS_CHECK, 10598 },
1348
    { "mDDot", VERS_CHECK, 8762 },
1349
    { "macr", VERS_ALL, 175 },
1350
    { "male", VERS_CHECK, 9794 },
1351
    { "malt", VERS_CHECK, 10016 },
1352
    { "maltese", VERS_CHECK, 10016 },
1353
    { "map", VERS_CHECK, 8614 },
1354
    { "mapsto", VERS_CHECK, 8614 },
1355
    { "mapstodown", VERS_CHECK, 8615 },
1356
    { "mapstoleft", VERS_CHECK, 8612 },
1357
    { "mapstoup", VERS_CHECK, 8613 },
1358
    { "marker", VERS_CHECK, 9646 },
1359
    { "mcomma", VERS_CHECK, 10793 },
1360
    { "mcy", VERS_CHECK, 1084 },
1361
    { "mdash", VERS_FROM40, 8212 },
1362
    { "measuredangle", VERS_CHECK, 8737 },
1363
    { "mfr", VERS_CHECK, 120106 },
1364
    { "mho", VERS_CHECK, 8487 },
1365
    { "micro", VERS_ALL, 181 },
1366
    { "mid", VERS_CHECK, 8739 },
1367
    { "midast", VERS_CHECK, 42 },
1368
    { "midcir", VERS_CHECK, 10992 },
1369
    { "middot", VERS_ALL, 183 },
1370
    { "minus", VERS_FROM40, 8722 },
1371
    { "minusb", VERS_CHECK, 8863 },
1372
    { "minusd", VERS_CHECK, 8760 },
1373
    { "minusdu", VERS_CHECK, 10794 },
1374
    { "mlcp", VERS_CHECK, 10971 },
1375
    { "mldr", VERS_CHECK, 8230 },
1376
    { "mnplus", VERS_CHECK, 8723 },
1377
    { "models", VERS_CHECK, 8871 },
1378
    { "mopf", VERS_CHECK, 120158 },
1379
    { "mp", VERS_CHECK, 8723 },
1380
    { "mscr", VERS_CHECK, 120002 },
1381
    { "mstpos", VERS_CHECK, 8766 },
1382
    { "mu", VERS_FROM40, 956 },
1383
    { "multimap", VERS_CHECK, 8888 },
1384
    { "mumap", VERS_CHECK, 8888 },
1385
    { "nLeftarrow", VERS_CHECK, 8653 },
1386
    { "nLeftrightarrow", VERS_CHECK, 8654 },
1387
    { "nRightarrow", VERS_CHECK, 8655 },
1388
    { "nVDash", VERS_CHECK, 8879 },
1389
    { "nVdash", VERS_CHECK, 8878 },
1390
    { "nabla", VERS_FROM40, 8711 },
1391
    { "nacute", VERS_CHECK, 324 },
1392
    { "nap", VERS_CHECK, 8777 },
1393
    { "napos", VERS_CHECK, 329 },
1394
    { "napprox", VERS_CHECK, 8777 },
1395
    { "natur", VERS_CHECK, 9838 },
1396
    { "natural", VERS_CHECK, 9838 },
1397
    { "naturals", VERS_CHECK, 8469 },
1398
    { "nbsp", VERS_ALL, 160 },
1399
    { "ncap", VERS_CHECK, 10819 },
1400
    { "ncaron", VERS_CHECK, 328 },
1401
    { "ncedil", VERS_CHECK, 326 },
1402
    { "ncong", VERS_CHECK, 8775 },
1403
    { "ncup", VERS_CHECK, 10818 },
1404
    { "ncy", VERS_CHECK, 1085 },
1405
    { "ndash", VERS_FROM40, 8211 },
1406
    { "ne", VERS_FROM40, 8800 },
1407
    { "neArr", VERS_CHECK, 8663 },
1408
    { "nearhk", VERS_CHECK, 10532 },
1409
    { "nearr", VERS_CHECK, 8599 },
1410
    { "nearrow", VERS_CHECK, 8599 },
1411
    { "nequiv", VERS_CHECK, 8802 },
1412
    { "nesear", VERS_CHECK, 10536 },
1413
    { "nexist", VERS_CHECK, 8708 },
1414
    { "nexists", VERS_CHECK, 8708 },
1415
    { "nfr", VERS_CHECK, 120107 },
1416
    { "nge", VERS_CHECK, 8817 },
1417
    { "ngeq", VERS_CHECK, 8817 },
1418
    { "ngsim", VERS_CHECK, 8821 },
1419
    { "ngt", VERS_CHECK, 8815 },
1420
    { "ngtr", VERS_CHECK, 8815 },
1421
    { "nhArr", VERS_CHECK, 8654 },
1422
    { "nharr", VERS_CHECK, 8622 },
1423
    { "nhpar", VERS_CHECK, 10994 },
1424
    { "ni", VERS_FROM40, 8715 },
1425
    { "nis", VERS_CHECK, 8956 },
1426
    { "nisd", VERS_CHECK, 8954 },
1427
    { "niv", VERS_CHECK, 8715 },
1428
    { "njcy", VERS_CHECK, 1114 },
1429
    { "nlArr", VERS_CHECK, 8653 },
1430
    { "nlarr", VERS_CHECK, 8602 },
1431
    { "nldr", VERS_CHECK, 8229 },
1432
    { "nle", VERS_CHECK, 8816 },
1433
    { "nleftarrow", VERS_CHECK, 8602 },
1434
    { "nleftrightarrow", VERS_CHECK, 8622 },
1435
    { "nleq", VERS_CHECK, 8816 },
1436
    { "nless", VERS_CHECK, 8814 },
1437
    { "nlsim", VERS_CHECK, 8820 },
1438
    { "nlt", VERS_CHECK, 8814 },
1439
    { "nltri", VERS_CHECK, 8938 },
1440
    { "nltrie", VERS_CHECK, 8940 },
1441
    { "nmid", VERS_CHECK, 8740 },
1442
    { "nopf", VERS_CHECK, 120159 },
1443
    { "not", VERS_ALL, 172 },
1444
    { "notin", VERS_FROM40, 8713 },
1445
    { "notinva", VERS_CHECK, 8713 },
1446
    { "notinvb", VERS_CHECK, 8951 },
1447
    { "notinvc", VERS_CHECK, 8950 },
1448
    { "notni", VERS_CHECK, 8716 },
1449
    { "notniva", VERS_CHECK, 8716 },
1450
    { "notnivb", VERS_CHECK, 8958 },
1451
    { "notnivc", VERS_CHECK, 8957 },
1452
    { "npar", VERS_CHECK, 8742 },
1453
    { "nparallel", VERS_CHECK, 8742 },
1454
    { "npolint", VERS_CHECK, 10772 },
1455
    { "npr", VERS_CHECK, 8832 },
1456
    { "nprcue", VERS_CHECK, 8928 },
1457
    { "nprec", VERS_CHECK, 8832 },
1458
    { "nrArr", VERS_CHECK, 8655 },
1459
    { "nrarr", VERS_CHECK, 8603 },
1460
    { "nrightarrow", VERS_CHECK, 8603 },
1461
    { "nrtri", VERS_CHECK, 8939 },
1462
    { "nrtrie", VERS_CHECK, 8941 },
1463
    { "nsc", VERS_CHECK, 8833 },
1464
    { "nsccue", VERS_CHECK, 8929 },
1465
    { "nscr", VERS_CHECK, 120003 },
1466
    { "nshortmid", VERS_CHECK, 8740 },
1467
    { "nshortparallel", VERS_CHECK, 8742 },
1468
    { "nsim", VERS_CHECK, 8769 },
1469
    { "nsime", VERS_CHECK, 8772 },
1470
    { "nsimeq", VERS_CHECK, 8772 },
1471
    { "nsmid", VERS_CHECK, 8740 },
1472
    { "nspar", VERS_CHECK, 8742 },
1473
    { "nsqsube", VERS_CHECK, 8930 },
1474
    { "nsqsupe", VERS_CHECK, 8931 },
1475
    { "nsub", VERS_FROM40, 8836 },
1476
    { "nsube", VERS_CHECK, 8840 },
1477
    { "nsubseteq", VERS_CHECK, 8840 },
1478
    { "nsucc", VERS_CHECK, 8833 },
1479
    { "nsup", VERS_CHECK, 8837 },
1480
    { "nsupe", VERS_CHECK, 8841 },
1481
    { "nsupseteq", VERS_CHECK, 8841 },
1482
    { "ntgl", VERS_CHECK, 8825 },
1483
    { "ntilde", VERS_ALL, 241 },
1484
    { "ntlg", VERS_CHECK, 8824 },
1485
    { "ntriangleleft", VERS_CHECK, 8938 },
1486
    { "ntrianglelefteq", VERS_CHECK, 8940 },
1487
    { "ntriangleright", VERS_CHECK, 8939 },
1488
    { "ntrianglerighteq", VERS_CHECK, 8941 },
1489
    { "nu", VERS_FROM40, 957 },
1490
    { "num", VERS_CHECK, 35 },
1491
    { "numero", VERS_CHECK, 8470 },
1492
    { "numsp", VERS_CHECK, 8199 },
1493
    { "nvDash", VERS_CHECK, 8877 },
1494
    { "nvHarr", VERS_CHECK, 10500 },
1495
    { "nvdash", VERS_CHECK, 8876 },
1496
    { "nvinfin", VERS_CHECK, 10718 },
1497
    { "nvlArr", VERS_CHECK, 10498 },
1498
    { "nvrArr", VERS_CHECK, 10499 },
1499
    { "nwArr", VERS_CHECK, 8662 },
1500
    { "nwarhk", VERS_CHECK, 10531 },
1501
    { "nwarr", VERS_CHECK, 8598 },
1502
    { "nwarrow", VERS_CHECK, 8598 },
1503
    { "nwnear", VERS_CHECK, 10535 },
1504
    { "oS", VERS_CHECK, 9416 },
1505
    { "oacute", VERS_ALL, 243 },
1506
    { "oast", VERS_CHECK, 8859 },
1507
    { "ocir", VERS_CHECK, 8858 },
1508
    { "ocirc", VERS_ALL, 244 },
1509
    { "ocy", VERS_CHECK, 1086 },
1510
    { "odash", VERS_CHECK, 8861 },
1511
    { "odblac", VERS_CHECK, 337 },
1512
    { "odiv", VERS_CHECK, 10808 },
1513
    { "odot", VERS_CHECK, 8857 },
1514
    { "odsold", VERS_CHECK, 10684 },
1515
    { "oelig", VERS_FROM40, 339 },
1516
    { "ofcir", VERS_CHECK, 10687 },
1517
    { "ofr", VERS_CHECK, 120108 },
1518
    { "ogon", VERS_CHECK, 731 },
1519
    { "ograve", VERS_ALL, 242 },
1520
    { "ogt", VERS_CHECK, 10689 },
1521
    { "ohbar", VERS_CHECK, 10677 },
1522
    { "ohm", VERS_CHECK, 937 },
1523
    { "oint", VERS_CHECK, 8750 },
1524
    { "olarr", VERS_CHECK, 8634 },
1525
    { "olcir", VERS_CHECK, 10686 },
1526
    { "olcross", VERS_CHECK, 10683 },
1527
    { "oline", VERS_FROM40, 8254 },
1528
    { "olt", VERS_CHECK, 10688 },
1529
    { "omacr", VERS_CHECK, 333 },
1530
    { "omega", VERS_FROM40, 969 },
1531
    { "omicron", VERS_FROM40, 959 },
1532
    { "omid", VERS_CHECK, 10678 },
1533
    { "ominus", VERS_CHECK, 8854 },
1534
    { "oopf", VERS_CHECK, 120160 },
1535
    { "opar", VERS_CHECK, 10679 },
1536
    { "operp", VERS_CHECK, 10681 },
1537
    { "oplus", VERS_FROM40, 8853 },
1538
    { "or", VERS_FROM40, 8744 },
1539
    { "orarr", VERS_CHECK, 8635 },
1540
    { "ord", VERS_CHECK, 10845 },
1541
    { "order", VERS_CHECK, 8500 },
1542
    { "orderof", VERS_CHECK, 8500 },
1543
    { "ordf", VERS_ALL, 170 },
1544
    { "ordm", VERS_ALL, 186 },
1545
    { "origof", VERS_CHECK, 8886 },
1546
    { "oror", VERS_CHECK, 10838 },
1547
    { "orslope", VERS_CHECK, 10839 },
1548
    { "orv", VERS_CHECK, 10843 },
1549
    { "oscr", VERS_CHECK, 8500 },
1550
    { "oslash", VERS_ALL, 248 },
1551
    { "osol", VERS_CHECK, 8856 },
1552
    { "otilde", VERS_ALL, 245 },
1553
    { "otimes", VERS_FROM40, 8855 },
1554
    { "otimesas", VERS_CHECK, 10806 },
1555
    { "ouml", VERS_ALL, 246 },
1556
    { "ovbar", VERS_CHECK, 9021 },
1557
    { "par", VERS_CHECK, 8741 },
1558
    { "para", VERS_ALL, 182 },
1559
    { "parallel", VERS_CHECK, 8741 },
1560
    { "parsim", VERS_CHECK, 10995 },
1561
    { "parsl", VERS_CHECK, 11005 },
1562
    { "part", VERS_FROM40, 8706 },
1563
    { "pcy", VERS_CHECK, 1087 },
1564
    { "percnt", VERS_CHECK, 37 },
1565
    { "period", VERS_CHECK, 46 },
1566
    { "permil", VERS_FROM40, 8240 },
1567
    { "perp", VERS_FROM40, 8869 },
1568
    { "pertenk", VERS_CHECK, 8241 },
1569
    { "pfr", VERS_CHECK, 120109 },
1570
    { "phi", VERS_FROM40, 966 },
1571
    { "phiv", VERS_CHECK, 981 },
1572
    { "phmmat", VERS_CHECK, 8499 },
1573
    { "phone", VERS_CHECK, 9742 },
1574
    { "pi", VERS_FROM40, 960 },
1575
    { "pitchfork", VERS_CHECK, 8916 },
1576
    { "piv", VERS_FROM40, 982 },
1577
    { "planck", VERS_CHECK, 8463 },
1578
    { "planckh", VERS_CHECK, 8462 },
1579
    { "plankv", VERS_CHECK, 8463 },
1580
    { "plus", VERS_CHECK, 43 },
1581
    { "plusacir", VERS_CHECK, 10787 },
1582
    { "plusb", VERS_CHECK, 8862 },
1583
    { "pluscir", VERS_CHECK, 10786 },
1584
    { "plusdo", VERS_CHECK, 8724 },
1585
    { "plusdu", VERS_CHECK, 10789 },
1586
    { "pluse", VERS_CHECK, 10866 },
1587
    { "plusmn", VERS_ALL, 177 },
1588
    { "plussim", VERS_CHECK, 10790 },
1589
    { "plustwo", VERS_CHECK, 10791 },
1590
    { "pm", VERS_CHECK, 177 },
1591
    { "pointint", VERS_CHECK, 10773 },
1592
    { "popf", VERS_CHECK, 120161 },
1593
    { "pound", VERS_ALL, 163 },
1594
    { "pr", VERS_CHECK, 8826 },
1595
    { "prE", VERS_CHECK, 10931 },
1596
    { "prap", VERS_CHECK, 10935 },
1597
    { "prcue", VERS_CHECK, 8828 },
1598
    { "pre", VERS_CHECK, 10927 },
1599
    { "prec", VERS_CHECK, 8826 },
1600
    { "precapprox", VERS_CHECK, 10935 },
1601
    { "preccurlyeq", VERS_CHECK, 8828 },
1602
    { "preceq", VERS_CHECK, 10927 },
1603
    { "precnapprox", VERS_CHECK, 10937 },
1604
    { "precneqq", VERS_CHECK, 10933 },
1605
    { "precnsim", VERS_CHECK, 8936 },
1606
    { "precsim", VERS_CHECK, 8830 },
1607
    { "prime", VERS_FROM40, 8242 },
1608
    { "primes", VERS_CHECK, 8473 },
1609
    { "prnE", VERS_CHECK, 10933 },
1610
    { "prnap", VERS_CHECK, 10937 },
1611
    { "prnsim", VERS_CHECK, 8936 },
1612
    { "prod", VERS_FROM40, 8719 },
1613
    { "profalar", VERS_CHECK, 9006 },
1614
    { "profline", VERS_CHECK, 8978 },
1615
    { "profsurf", VERS_CHECK, 8979 },
1616
    { "prop", VERS_FROM40, 8733 },
1617
    { "propto", VERS_CHECK, 8733 },
1618
    { "prsim", VERS_CHECK, 8830 },
1619
    { "prurel", VERS_CHECK, 8880 },
1620
    { "pscr", VERS_CHECK, 120005 },
1621
    { "psi", VERS_FROM40, 968 },
1622
    { "puncsp", VERS_CHECK, 8200 },
1623
    { "qfr", VERS_CHECK, 120110 },
1624
    { "qint", VERS_CHECK, 10764 },
1625
    { "qopf", VERS_CHECK, 120162 },
1626
    { "qprime", VERS_CHECK, 8279 },
1627
    { "qscr", VERS_CHECK, 120006 },
1628
    { "quaternions", VERS_CHECK, 8461 },
1629
    { "quatint", VERS_CHECK, 10774 },
1630
    { "quest", VERS_CHECK, 63 },
1631
    { "questeq", VERS_CHECK, 8799 },
1632
    { "quot", VERS_ALL | VERS_XML, 34 },
1633
    { "rAarr", VERS_CHECK, 8667 },
1634
    { "rArr", VERS_FROM40, 8658 },
1635
    { "rAtail", VERS_CHECK, 10524 },
1636
    { "rBarr", VERS_CHECK, 10511 },
1637
    { "rHar", VERS_CHECK, 10596 },
1638
    { "racute", VERS_CHECK, 341 },
1639
    { "radic", VERS_FROM40, 8730 },
1640
    { "raemptyv", VERS_CHECK, 10675 },
1641
    { "rang", VERS_FROM40, 10217 },
1642
    { "rangd", VERS_CHECK, 10642 },
1643
    { "range", VERS_CHECK, 10661 },
1644
    { "rangle", VERS_CHECK, 10217 },
1645
    { "raquo", VERS_ALL, 187 },
1646
    { "rarr", VERS_FROM40, 8594 },
1647
    { "rarrap", VERS_CHECK, 10613 },
1648
    { "rarrb", VERS_CHECK, 8677 },
1649
    { "rarrbfs", VERS_CHECK, 10528 },
1650
    { "rarrc", VERS_CHECK, 10547 },
1651
    { "rarrfs", VERS_CHECK, 10526 },
1652
    { "rarrhk", VERS_CHECK, 8618 },
1653
    { "rarrlp", VERS_CHECK, 8620 },
1654
    { "rarrpl", VERS_CHECK, 10565 },
1655
    { "rarrsim", VERS_CHECK, 10612 },
1656
    { "rarrtl", VERS_CHECK, 8611 },
1657
    { "rarrw", VERS_CHECK, 8605 },
1658
    { "ratail", VERS_CHECK, 10522 },
1659
    { "ratio", VERS_CHECK, 8758 },
1660
    { "rationals", VERS_CHECK, 8474 },
1661
    { "rbarr", VERS_CHECK, 10509 },
1662
    { "rbbrk", VERS_CHECK, 10099 },
1663
    { "rbrace", VERS_CHECK, 125 },
1664
    { "rbrack", VERS_CHECK, 93 },
1665
    { "rbrke", VERS_CHECK, 10636 },
1666
    { "rbrksld", VERS_CHECK, 10638 },
1667
    { "rbrkslu", VERS_CHECK, 10640 },
1668
    { "rcaron", VERS_CHECK, 345 },
1669
    { "rcedil", VERS_CHECK, 343 },
1670
    { "rceil", VERS_FROM40, 8969 },
1671
    { "rcub", VERS_CHECK, 125 },
1672
    { "rcy", VERS_CHECK, 1088 },
1673
    { "rdca", VERS_CHECK, 10551 },
1674
    { "rdldhar", VERS_CHECK, 10601 },
1675
    { "rdquo", VERS_FROM40, 8221 },
1676
    { "rdquor", VERS_CHECK, 8221 },
1677
    { "rdsh", VERS_CHECK, 8627 },
1678
    { "real", VERS_FROM40, 8476 },
1679
    { "realine", VERS_CHECK, 8475 },
1680
    { "realpart", VERS_CHECK, 8476 },
1681
    { "reals", VERS_CHECK, 8477 },
1682
    { "rect", VERS_CHECK, 9645 },
1683
    { "reg", VERS_ALL, 174 },
1684
    { "rfisht", VERS_CHECK, 10621 },
1685
    { "rfloor", VERS_FROM40, 8971 },
1686
    { "rfr", VERS_CHECK, 120111 },
1687
    { "rhard", VERS_CHECK, 8641 },
1688
    { "rharu", VERS_CHECK, 8640 },
1689
    { "rharul", VERS_CHECK, 10604 },
1690
    { "rho", VERS_FROM40, 961 },
1691
    { "rhov", VERS_CHECK, 1009 },
1692
    { "rightarrow", VERS_CHECK, 8594 },
1693
    { "rightarrowtail", VERS_CHECK, 8611 },
1694
    { "rightharpoondown", VERS_CHECK, 8641 },
1695
    { "rightharpoonup", VERS_CHECK, 8640 },
1696
    { "rightleftarrows", VERS_CHECK, 8644 },
1697
    { "rightleftharpoons", VERS_CHECK, 8652 },
1698
    { "rightrightarrows", VERS_CHECK, 8649 },
1699
    { "rightsquigarrow", VERS_CHECK, 8605 },
1700
    { "rightthreetimes", VERS_CHECK, 8908 },
1701
    { "ring", VERS_CHECK, 730 },
1702
    { "risingdotseq", VERS_CHECK, 8787 },
1703
    { "rlarr", VERS_CHECK, 8644 },
1704
    { "rlhar", VERS_CHECK, 8652 },
1705
    { "rlm", VERS_FROM40, 8207 },
1706
    { "rmoust", VERS_CHECK, 9137 },
1707
    { "rmoustache", VERS_CHECK, 9137 },
1708
    { "rnmid", VERS_CHECK, 10990 },
1709
    { "roang", VERS_CHECK, 10221 },
1710
    { "roarr", VERS_CHECK, 8702 },
1711
    { "robrk", VERS_CHECK, 10215 },
1712
    { "ropar", VERS_CHECK, 10630 },
1713
    { "ropf", VERS_CHECK, 120163 },
1714
    { "roplus", VERS_CHECK, 10798 },
1715
    { "rotimes", VERS_CHECK, 10805 },
1716
    { "rpar", VERS_CHECK, 41 },
1717
    { "rpargt", VERS_CHECK, 10644 },
1718
    { "rppolint", VERS_CHECK, 10770 },
1719
    { "rrarr", VERS_CHECK, 8649 },
1720
    { "rsaquo", VERS_FROM40, 8250 },
1721
    { "rscr", VERS_CHECK, 120007 },
1722
    { "rsh", VERS_CHECK, 8625 },
1723
    { "rsqb", VERS_CHECK, 93 },
1724
    { "rsquo", VERS_FROM40, 8217 },
1725
    { "rsquor", VERS_CHECK, 8217 },
1726
    { "rthree", VERS_CHECK, 8908 },
1727
    { "rtimes", VERS_CHECK, 8906 },
1728
    { "rtri", VERS_CHECK, 9657 },
1729
    { "rtrie", VERS_CHECK, 8885 },
1730
    { "rtrif", VERS_CHECK, 9656 },
1731
    { "rtriltri", VERS_CHECK, 10702 },
1732
    { "ruluhar", VERS_CHECK, 10600 },
1733
    { "rx", VERS_CHECK, 8478 },
1734
    { "sacute", VERS_CHECK, 347 },
1735
    { "sbquo", VERS_FROM40, 8218 },
1736
    { "sc", VERS_CHECK, 8827 },
1737
    { "scE", VERS_CHECK, 10932 },
1738
    { "scap", VERS_CHECK, 10936 },
1739
    { "scaron", VERS_FROM40, 353 },
1740
    { "sccue", VERS_CHECK, 8829 },
1741
    { "sce", VERS_CHECK, 10928 },
1742
    { "scedil", VERS_CHECK, 351 },
1743
    { "scirc", VERS_CHECK, 349 },
1744
    { "scnE", VERS_CHECK, 10934 },
1745
    { "scnap", VERS_CHECK, 10938 },
1746
    { "scnsim", VERS_CHECK, 8937 },
1747
    { "scpolint", VERS_CHECK, 10771 },
1748
    { "scsim", VERS_CHECK, 8831 },
1749
    { "scy", VERS_CHECK, 1089 },
1750
    { "sdot", VERS_FROM40, 8901 },
1751
    { "sdotb", VERS_CHECK, 8865 },
1752
    { "sdote", VERS_CHECK, 10854 },
1753
    { "seArr", VERS_CHECK, 8664 },
1754
    { "searhk", VERS_CHECK, 10533 },
1755
    { "searr", VERS_CHECK, 8600 },
1756
    { "searrow", VERS_CHECK, 8600 },
1757
    { "sect", VERS_ALL, 167 },
1758
    { "semi", VERS_CHECK, 59 },
1759
    { "seswar", VERS_CHECK, 10537 },
1760
    { "setminus", VERS_CHECK, 8726 },
1761
    { "setmn", VERS_CHECK, 8726 },
1762
    { "sext", VERS_CHECK, 10038 },
1763
    { "sfr", VERS_CHECK, 120112 },
1764
    { "sfrown", VERS_CHECK, 8994 },
1765
    { "sharp", VERS_CHECK, 9839 },
1766
    { "shchcy", VERS_CHECK, 1097 },
1767
    { "shcy", VERS_CHECK, 1096 },
1768
    { "shortmid", VERS_CHECK, 8739 },
1769
    { "shortparallel", VERS_CHECK, 8741 },
1770
    { "shy", VERS_ALL, 173 },
1771
    { "sigma", VERS_FROM40, 963 },
1772
    { "sigmaf", VERS_FROM40, 962 },
1773
    { "sigmav", VERS_CHECK, 962 },
1774
    { "sim", VERS_FROM40, 8764 },
1775
    { "simdot", VERS_CHECK, 10858 },
1776
    { "sime", VERS_CHECK, 8771 },
1777
    { "simeq", VERS_CHECK, 8771 },
1778
    { "simg", VERS_CHECK, 10910 },
1779
    { "simgE", VERS_CHECK, 10912 },
1780
    { "siml", VERS_CHECK, 10909 },
1781
    { "simlE", VERS_CHECK, 10911 },
1782
    { "simne", VERS_CHECK, 8774 },
1783
    { "simplus", VERS_CHECK, 10788 },
1784
    { "simrarr", VERS_CHECK, 10610 },
1785
    { "slarr", VERS_CHECK, 8592 },
1786
    { "smallsetminus", VERS_CHECK, 8726 },
1787
    { "smashp", VERS_CHECK, 10803 },
1788
    { "smeparsl", VERS_CHECK, 10724 },
1789
    { "smid", VERS_CHECK, 8739 },
1790
    { "smile", VERS_CHECK, 8995 },
1791
    { "smt", VERS_CHECK, 10922 },
1792
    { "smte", VERS_CHECK, 10924 },
1793
    { "softcy", VERS_CHECK, 1100 },
1794
    { "sol", VERS_CHECK, 47 },
1795
    { "solb", VERS_CHECK, 10692 },
1796
    { "solbar", VERS_CHECK, 9023 },
1797
    { "sopf", VERS_CHECK, 120164 },
1798
    { "spades", VERS_FROM40, 9824 },
1799
    { "spadesuit", VERS_CHECK, 9824 },
1800
    { "spar", VERS_CHECK, 8741 },
1801
    { "sqcap", VERS_CHECK, 8851 },
1802
    { "sqcup", VERS_CHECK, 8852 },
1803
    { "sqsub", VERS_CHECK, 8847 },
1804
    { "sqsube", VERS_CHECK, 8849 },
1805
    { "sqsubset", VERS_CHECK, 8847 },
1806
    { "sqsubseteq", VERS_CHECK, 8849 },
1807
    { "sqsup", VERS_CHECK, 8848 },
1808
    { "sqsupe", VERS_CHECK, 8850 },
1809
    { "sqsupset", VERS_CHECK, 8848 },
1810
    { "sqsupseteq", VERS_CHECK, 8850 },
1811
    { "squ", VERS_CHECK, 9633 },
1812
    { "square", VERS_CHECK, 9633 },
1813
    { "squarf", VERS_CHECK, 9642 },
1814
    { "squf", VERS_CHECK, 9642 },
1815
    { "srarr", VERS_CHECK, 8594 },
1816
    { "sscr", VERS_CHECK, 120008 },
1817
    { "ssetmn", VERS_CHECK, 8726 },
1818
    { "ssmile", VERS_CHECK, 8995 },
1819
    { "sstarf", VERS_CHECK, 8902 },
1820
    { "star", VERS_CHECK, 9734 },
1821
    { "starf", VERS_CHECK, 9733 },
1822
    { "straightepsilon", VERS_CHECK, 1013 },
1823
    { "straightphi", VERS_CHECK, 981 },
1824
    { "strns", VERS_CHECK, 175 },
1825
    { "sub", VERS_FROM40, 8834 },
1826
    { "subE", VERS_CHECK, 10949 },
1827
    { "subdot", VERS_CHECK, 10941 },
1828
    { "sube", VERS_FROM40, 8838 },
1829
    { "subedot", VERS_CHECK, 10947 },
1830
    { "submult", VERS_CHECK, 10945 },
1831
    { "subnE", VERS_CHECK, 10955 },
1832
    { "subne", VERS_CHECK, 8842 },
1833
    { "subplus", VERS_CHECK, 10943 },
1834
    { "subrarr", VERS_CHECK, 10617 },
1835
    { "subset", VERS_CHECK, 8834 },
1836
    { "subseteq", VERS_CHECK, 8838 },
1837
    { "subseteqq", VERS_CHECK, 10949 },
1838
    { "subsetneq", VERS_CHECK, 8842 },
1839
    { "subsetneqq", VERS_CHECK, 10955 },
1840
    { "subsim", VERS_CHECK, 10951 },
1841
    { "subsub", VERS_CHECK, 10965 },
1842
    { "subsup", VERS_CHECK, 10963 },
1843
    { "succ", VERS_CHECK, 8827 },
1844
    { "succapprox", VERS_CHECK, 10936 },
1845
    { "succcurlyeq", VERS_CHECK, 8829 },
1846
    { "succeq", VERS_CHECK, 10928 },
1847
    { "succnapprox", VERS_CHECK, 10938 },
1848
    { "succneqq", VERS_CHECK, 10934 },
1849
    { "succnsim", VERS_CHECK, 8937 },
1850
    { "succsim", VERS_CHECK, 8831 },
1851
    { "sum", VERS_FROM40, 8721 },
1852
    { "sung", VERS_CHECK, 9834 },
1853
    { "sup", VERS_FROM40, 8835 },
1854
    { "sup1", VERS_ALL, 185 },
1855
    { "sup2", VERS_ALL, 178 },
1856
    { "sup3", VERS_ALL, 179 },
1857
    { "supE", VERS_CHECK, 10950 },
1858
    { "supdot", VERS_CHECK, 10942 },
1859
    { "supdsub", VERS_CHECK, 10968 },
1860
    { "supe", VERS_FROM40, 8839 },
1861
    { "supedot", VERS_CHECK, 10948 },
1862
    { "suphsol", VERS_CHECK, 10185 },
1863
    { "suphsub", VERS_CHECK, 10967 },
1864
    { "suplarr", VERS_CHECK, 10619 },
1865
    { "supmult", VERS_CHECK, 10946 },
1866
    { "supnE", VERS_CHECK, 10956 },
1867
    { "supne", VERS_CHECK, 8843 },
1868
    { "supplus", VERS_CHECK, 10944 },
1869
    { "supset", VERS_CHECK, 8835 },
1870
    { "supseteq", VERS_CHECK, 8839 },
1871
    { "supseteqq", VERS_CHECK, 10950 },
1872
    { "supsetneq", VERS_CHECK, 8843 },
1873
    { "supsetneqq", VERS_CHECK, 10956 },
1874
    { "supsim", VERS_CHECK, 10952 },
1875
    { "supsub", VERS_CHECK, 10964 },
1876
    { "supsup", VERS_CHECK, 10966 },
1877
    { "swArr", VERS_CHECK, 8665 },
1878
    { "swarhk", VERS_CHECK, 10534 },
1879
    { "swarr", VERS_CHECK, 8601 },
1880
    { "swarrow", VERS_CHECK, 8601 },
1881
    { "swnwar", VERS_CHECK, 10538 },
1882
    { "szlig", VERS_ALL, 223 },
1883
    { "target", VERS_CHECK, 8982 },
1884
    { "tau", VERS_FROM40, 964 },
1885
    { "tbrk", VERS_CHECK, 9140 },
1886
    { "tcaron", VERS_CHECK, 357 },
1887
    { "tcedil", VERS_CHECK, 355 },
1888
    { "tcy", VERS_CHECK, 1090 },
1889
    { "tdot", VERS_CHECK, 8411 },
1890
    { "telrec", VERS_CHECK, 8981 },
1891
    { "tfr", VERS_CHECK, 120113 },
1892
    { "there4", VERS_FROM40, 8756 },
1893
    { "therefore", VERS_CHECK, 8756 },
1894
    { "theta", VERS_FROM40, 952 },
1895
    { "thetasym", VERS_FROM40, 977 },
1896
    { "thetav", VERS_CHECK, 977 },
1897
    { "thickapprox", VERS_CHECK, 8776 },
1898
    { "thicksim", VERS_CHECK, 8764 },
1899
    { "thinsp", VERS_FROM40, 8201 },
1900
    { "thkap", VERS_CHECK, 8776 },
1901
    { "thksim", VERS_CHECK, 8764 },
1902
    { "thorn", VERS_ALL, 254 },
1903
    { "tilde", VERS_FROM40, 732 },
1904
    { "times", VERS_ALL, 215 },
1905
    { "timesb", VERS_CHECK, 8864 },
1906
    { "timesbar", VERS_CHECK, 10801 },
1907
    { "timesd", VERS_CHECK, 10800 },
1908
    { "tint", VERS_CHECK, 8749 },
1909
    { "toea", VERS_CHECK, 10536 },
1910
    { "top", VERS_CHECK, 8868 },
1911
    { "topbot", VERS_CHECK, 9014 },
1912
    { "topcir", VERS_CHECK, 10993 },
1913
    { "topf", VERS_CHECK, 120165 },
1914
    { "topfork", VERS_CHECK, 10970 },
1915
    { "tosa", VERS_CHECK, 10537 },
1916
    { "tprime", VERS_CHECK, 8244 },
1917
    { "trade", VERS_FROM40, 8482 },
1918
    { "triangle", VERS_CHECK, 9653 },
1919
    { "triangledown", VERS_CHECK, 9663 },
1920
    { "triangleleft", VERS_CHECK, 9667 },
1921
    { "trianglelefteq", VERS_CHECK, 8884 },
1922
    { "triangleq", VERS_CHECK, 8796 },
1923
    { "triangleright", VERS_CHECK, 9657 },
1924
    { "trianglerighteq", VERS_CHECK, 8885 },
1925
    { "tridot", VERS_CHECK, 9708 },
1926
    { "trie", VERS_CHECK, 8796 },
1927
    { "triminus", VERS_CHECK, 10810 },
1928
    { "triplus", VERS_CHECK, 10809 },
1929
    { "trisb", VERS_CHECK, 10701 },
1930
    { "tritime", VERS_CHECK, 10811 },
1931
    { "trpezium", VERS_CHECK, 9186 },
1932
    { "tscr", VERS_CHECK, 120009 },
1933
    { "tscy", VERS_CHECK, 1094 },
1934
    { "tshcy", VERS_CHECK, 1115 },
1935
    { "tstrok", VERS_CHECK, 359 },
1936
    { "twixt", VERS_CHECK, 8812 },
1937
    { "twoheadleftarrow", VERS_CHECK, 8606 },
1938
    { "twoheadrightarrow", VERS_CHECK, 8608 },
1939
    { "uArr", VERS_FROM40, 8657 },
1940
    { "uHar", VERS_CHECK, 10595 },
1941
    { "uacute", VERS_ALL, 250 },
1942
    { "uarr", VERS_FROM40, 8593 },
1943
    { "ubrcy", VERS_CHECK, 1118 },
1944
    { "ubreve", VERS_CHECK, 365 },
1945
    { "ucirc", VERS_ALL, 251 },
1946
    { "ucy", VERS_CHECK, 1091 },
1947
    { "udarr", VERS_CHECK, 8645 },
1948
    { "udblac", VERS_CHECK, 369 },
1949
    { "udhar", VERS_CHECK, 10606 },
1950
    { "ufisht", VERS_CHECK, 10622 },
1951
    { "ufr", VERS_CHECK, 120114 },
1952
    { "ugrave", VERS_ALL, 249 },
1953
    { "uharl", VERS_CHECK, 8639 },
1954
    { "uharr", VERS_CHECK, 8638 },
1955
    { "uhblk", VERS_CHECK, 9600 },
1956
    { "ulcorn", VERS_CHECK, 8988 },
1957
    { "ulcorner", VERS_CHECK, 8988 },
1958
    { "ulcrop", VERS_CHECK, 8975 },
1959
    { "ultri", VERS_CHECK, 9720 },
1960
    { "umacr", VERS_CHECK, 363 },
1961
    { "uml", VERS_ALL, 168 },
1962
    { "uogon", VERS_CHECK, 371 },
1963
    { "uopf", VERS_CHECK, 120166 },
1964
    { "uparrow", VERS_CHECK, 8593 },
1965
    { "updownarrow", VERS_CHECK, 8597 },
1966
    { "upharpoonleft", VERS_CHECK, 8639 },
1967
    { "upharpoonright", VERS_CHECK, 8638 },
1968
    { "uplus", VERS_CHECK, 8846 },
1969
    { "upsi", VERS_CHECK, 965 },
1970
    { "upsih", VERS_FROM40, 978 },
1971
    { "upsilon", VERS_FROM40, 965 },
1972
    { "upuparrows", VERS_CHECK, 8648 },
1973
    { "urcorn", VERS_CHECK, 8989 },
1974
    { "urcorner", VERS_CHECK, 8989 },
1975
    { "urcrop", VERS_CHECK, 8974 },
1976
    { "uring", VERS_CHECK, 367 },
1977
    { "urtri", VERS_CHECK, 9721 },
1978
    { "uscr", VERS_CHECK, 120010 },
1979
    { "utdot", VERS_CHECK, 8944 },
1980
    { "utilde", VERS_CHECK, 361 },
1981
    { "utri", VERS_CHECK, 9653 },
1982
    { "utrif", VERS_CHECK, 9652 },
1983
    { "uuarr", VERS_CHECK, 8648 },
1984
    { "uuml", VERS_ALL, 252 },
1985
    { "uwangle", VERS_CHECK, 10663 },
1986
    { "vArr", VERS_CHECK, 8661 },
1987
    { "vBar", VERS_CHECK, 10984 },
1988
    { "vBarv", VERS_CHECK, 10985 },
1989
    { "vDash", VERS_CHECK, 8872 },
1990
    { "vangrt", VERS_CHECK, 10652 },
1991
    { "varepsilon", VERS_CHECK, 1013 },
1992
    { "varkappa", VERS_CHECK, 1008 },
1993
    { "varnothing", VERS_CHECK, 8709 },
1994
    { "varphi", VERS_CHECK, 981 },
1995
    { "varpi", VERS_CHECK, 982 },
1996
    { "varpropto", VERS_CHECK, 8733 },
1997
    { "varr", VERS_CHECK, 8597 },
1998
    { "varrho", VERS_CHECK, 1009 },
1999
    { "varsigma", VERS_CHECK, 962 },
2000
    { "vartheta", VERS_CHECK, 977 },
2001
    { "vartriangleleft", VERS_CHECK, 8882 },
2002
    { "vartriangleright", VERS_CHECK, 8883 },
2003
    { "vcy", VERS_CHECK, 1074 },
2004
    { "vdash", VERS_CHECK, 8866 },
2005
    { "vee", VERS_CHECK, 8744 },
2006
    { "veebar", VERS_CHECK, 8891 },
2007
    { "veeeq", VERS_CHECK, 8794 },
2008
    { "vellip", VERS_CHECK, 8942 },
2009
    { "verbar", VERS_CHECK, 124 },
2010
    { "vert", VERS_CHECK, 124 },
2011
    { "vfr", VERS_CHECK, 120115 },
2012
    { "vltri", VERS_CHECK, 8882 },
2013
    { "vopf", VERS_CHECK, 120167 },
2014
    { "vprop", VERS_CHECK, 8733 },
2015
    { "vrtri", VERS_CHECK, 8883 },
2016
    { "vscr", VERS_CHECK, 120011 },
2017
    { "vzigzag", VERS_CHECK, 10650 },
2018
    { "wcirc", VERS_CHECK, 373 },
2019
    { "wedbar", VERS_CHECK, 10847 },
2020
    { "wedge", VERS_CHECK, 8743 },
2021
    { "wedgeq", VERS_CHECK, 8793 },
2022
    { "weierp", VERS_FROM40, 8472 },
2023
    { "wfr", VERS_CHECK, 120116 },
2024
    { "wopf", VERS_CHECK, 120168 },
2025
    { "wp", VERS_CHECK, 8472 },
2026
    { "wr", VERS_CHECK, 8768 },
2027
    { "wreath", VERS_CHECK, 8768 },
2028
    { "wscr", VERS_CHECK, 120012 },
2029
    { "xcap", VERS_CHECK, 8898 },
2030
    { "xcirc", VERS_CHECK, 9711 },
2031
    { "xcup", VERS_CHECK, 8899 },
2032
    { "xdtri", VERS_CHECK, 9661 },
2033
    { "xfr", VERS_CHECK, 120117 },
2034
    { "xhArr", VERS_CHECK, 10234 },
2035
    { "xharr", VERS_CHECK, 10231 },
2036
    { "xi", VERS_FROM40, 958 },
2037
    { "xlArr", VERS_CHECK, 10232 },
2038
    { "xlarr", VERS_CHECK, 10229 },
2039
    { "xmap", VERS_CHECK, 10236 },
2040
    { "xnis", VERS_CHECK, 8955 },
2041
    { "xodot", VERS_CHECK, 10752 },
2042
    { "xopf", VERS_CHECK, 120169 },
2043
    { "xoplus", VERS_CHECK, 10753 },
2044
    { "xotime", VERS_CHECK, 10754 },
2045
    { "xrArr", VERS_CHECK, 10233 },
2046
    { "xrarr", VERS_CHECK, 10230 },
2047
    { "xscr", VERS_CHECK, 120013 },
2048
    { "xsqcup", VERS_CHECK, 10758 },
2049
    { "xuplus", VERS_CHECK, 10756 },
2050
    { "xutri", VERS_CHECK, 9651 },
2051
    { "xvee", VERS_CHECK, 8897 },
2052
    { "xwedge", VERS_CHECK, 8896 },
2053
    { "yacute", VERS_ALL, 253 },
2054
    { "yacy", VERS_CHECK, 1103 },
2055
    { "ycirc", VERS_CHECK, 375 },
2056
    { "ycy", VERS_CHECK, 1099 },
2057
    { "yen", VERS_ALL, 165 },
2058
    { "yfr", VERS_CHECK, 120118 },
2059
    { "yicy", VERS_CHECK, 1111 },
2060
    { "yopf", VERS_CHECK, 120170 },
2061
    { "yscr", VERS_CHECK, 120014 },
2062
    { "yucy", VERS_CHECK, 1102 },
2063
    { "yuml", VERS_ALL, 255 },
2064
    { "zacute", VERS_CHECK, 378 },
2065
    { "zcaron", VERS_CHECK, 382 },
2066
    { "zcy", VERS_CHECK, 1079 },
2067
    { "zdot", VERS_CHECK, 380 },
2068
    { "zeetrf", VERS_CHECK, 8488 },
2069
    { "zeta", VERS_FROM40, 950 },
2070
    { "zfr", VERS_CHECK, 120119 },
2071
    { "zhcy", VERS_CHECK, 1078 },
2072
    { "zigrarr", VERS_CHECK, 8669 },
2073
    { "zopf", VERS_CHECK, 120171 },
2074
    { "zscr", VERS_CHECK, 120015 },
2075
    { "zwj", VERS_FROM40, 8205 },
2076
    { "zwnj", VERS_FROM40, 8204 },
2077
    { NULL, VERS_UNKNOWN, 0 },
2078
};
2079
2080
/* 
2081
** Pure static implementation.  Trades off lookup speed
2082
** for faster setup time (well, none actually).
2083
** Optimization of comparing 1st character buys enough
2084
** speed that hash doesn't improve things without > 500
2085
** items in list.
2086
** Issue #643 - Keep list fully alphabetic for more 
2087
** optimization, now that the list has grown to 2031
2088
** entries. Perhaps hashing setup should be now considered.
2089
**
2090
*/
2091
static const entity* entitiesLookup( ctmbstr s )
2092
4.42k
{
2093
4.42k
    tmbchar ch = (tmbchar)( s ? *s : 0 );
2094
4.42k
    const entity *np = entities;
2095
4.42k
    if (ch == 0)
2096
3.03k
        return NULL;
2097
1.45M
    while (np->name)
2098
1.45M
    {
2099
1.45M
        if (ch == *np->name)
2100
1.08k
            break;  /* stop when first letter matches */
2101
1.45M
        np++;
2102
1.45M
    }
2103
46.1k
    while (np->name)
2104
45.8k
    {
2105
45.8k
        if (ch != *np->name)
2106
1.03k
            break;  /* stop when first letter does not match */
2107
44.8k
        if (TY_(tmbstrcmp)(s, np->name) == 0)
2108
47
            return np;
2109
44.7k
        np++;
2110
44.7k
    }
2111
1.34k
    return NULL;
2112
1.39k
}
2113
2114
Bool TY_(EntityInfo)( ctmbstr name, Bool isXml, uint* code, uint* versions )
2115
4.52k
{
2116
4.52k
    const entity* np;
2117
4.52k
    int res;
2118
4.52k
    assert( name && name[0] == '&' );
2119
4.52k
    assert( code != NULL );
2120
4.52k
    assert( versions != NULL );
2121
2122
    /* numeric entitity: name = "&#" followed by number */
2123
4.52k
    if ( name[1] == '#' )
2124
99
    {
2125
99
        uint c = 0;  /* zero on missing/bad number */
2126
2127
        /* 'x' prefix denotes hexadecimal number format */
2128
99
        if ( name[2] == 'x' || (!isXml && name[2] == 'X') )
2129
2
            res = sscanf( name+3, "%x", &c );
2130
97
        else
2131
97
            res = sscanf( name+2, "%u", &c );
2132
2133
        /*  Issue #373 - Null Char in XML result doc - sf905 2009 */
2134
99
        if ( res == 1 )
2135
2
        {
2136
2
            *code = c;
2137
2
            *versions = VERS_ALL;
2138
2
            return yes;
2139
2
        }
2140
97
        else
2141
97
        {
2142
97
            *code = 0;
2143
97
            *versions = ( isXml ? VERS_XML : VERS_PROPRIETARY );
2144
97
            return no;
2145
97
        }
2146
99
    }
2147
2148
    /* Named entity: name ="&" followed by a name */
2149
4.42k
    if ( NULL != (np = entitiesLookup(name+1)) )
2150
47
    {
2151
47
        *code = np->code;
2152
47
        *versions = np->versions;
2153
47
        return yes;
2154
47
    }
2155
2156
4.38k
    *code = 0;
2157
4.38k
    *versions = ( isXml ? VERS_XML : VERS_PROPRIETARY );
2158
4.38k
    return no;
2159
4.42k
}
2160
2161
/*
2162
**
2163
** Issue #643 - Now that the list has been enlarged to 
2164
** 2031 entries, including multiple case entries for some
2165
** like &amp; & &AMP;, the value can be repeated several
2166
** time, so this lookup will now only return the first.
2167
**
2168
*/
2169
ctmbstr TY_(EntityName)( uint ch, uint versions )
2170
0
{
2171
0
    ctmbstr entnam = NULL;
2172
0
    const entity *ep;
2173
2174
0
    for ( ep = entities; ep->name != NULL; ++ep )
2175
0
    {
2176
0
        if ( ep->code == ch )
2177
0
        {
2178
0
            if (ep->versions & versions)
2179
0
            {
2180
0
                entnam = ep->name;
2181
0
                break; /* Issue #643 - Found code and version. Stop search? */
2182
0
            }
2183
0
        }
2184
0
    }
2185
0
    return entnam;
2186
0
}
2187
2188
/*
2189
 * local variables:
2190
 * mode: c
2191
 * indent-tabs-mode: nil
2192
 * c-basic-offset: 4
2193
 * eval: (c-set-offset 'substatement-open 0)
2194
 * end:
2195
 */