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
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
|
/*
* Copyright (C) 2015 Frederic Wang (fred.wang@free.fr). All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#include "config.h"
#include "MathMLOperatorDictionary.h"
#if ENABLE(MATHML)
namespace WebCore {
using namespace MathMLOperatorDictionary;
typedef std::pair<char32_t, Form> Key;
struct Entry {
char32_t character;
unsigned form : 2;
unsigned lspace : 3;
unsigned rspace : 3;
unsigned flags : 8;
};
static inline Key ExtractKey(const Entry* entry) { return Key(entry->character, static_cast<Form>(entry->form)); }
static inline char32_t ExtractChar(const Entry* entry) { return entry->character; }
static inline Property ExtractProperty(const Entry& entry)
{
Property property;
property.form = static_cast<Form>(entry.form);
property.leadingSpaceInMathUnit = entry.lspace;
property.trailingSpaceInMathUnit = entry.rspace;
property.flags = entry.flags;
return property;
}
// This table has been automatically generated from the Operator Dictionary of the MathML3 specification (appendix C).
// Some people use the binary operator "U+2225 PARALLEL TO" as an opening and closing delimiter, so we add the corresponding stretchy prefix and postfix forms.
static const unsigned dictionarySize = 1061;
static const Entry dictionary[dictionarySize] = {
{ 0x21, Postfix, 1, 0, 0}, // EXCLAMATION MARK
{ 0x22, Postfix, 1, 0, Accent}, // QUOTATION MARK
{ 0x25, Infix, 3, 3, 0}, // PERCENT SIGN
{ 0x26, Postfix, 0, 0, 0}, // AMPERSAND
{ 0x27, Postfix, 0, 0, Accent}, // APOSTROPHE
{ 0x28, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT PARENTHESIS
{ 0x29, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT PARENTHESIS
{ 0x2A, Infix, 3, 3, 0}, // ASTERISK
{ 0x2B, Infix, 4, 4, 0}, // PLUS SIGN
{ 0x2B, Prefix, 0, 1, 0}, // PLUS SIGN
{ 0x2C, Infix, 0, 3, Separator}, // COMMA
{ 0x2D, Infix, 4, 4, 0}, // HYPHEN-MINUS
{ 0x2D, Prefix, 0, 1, 0}, // HYPHEN-MINUS
{ 0x2E, Infix, 3, 3, 0}, // FULL STOP
{ 0x2F, Infix, 1, 1, 0}, // SOLIDUS
{ 0x3A, Infix, 1, 2, 0}, // COLON
{ 0x3B, Infix, 0, 3, Separator}, // SEMICOLON
{ 0x3C, Infix, 5, 5, 0}, // LESS-THAN SIGN
{ 0x3D, Infix, 5, 5, 0}, // EQUALS SIGN
{ 0x3E, Infix, 5, 5, 0}, // GREATER-THAN SIGN
{ 0x3F, Infix, 1, 1, 0}, // QUESTION MARK
{ 0x40, Infix, 1, 1, 0}, // COMMERCIAL AT
{ 0x5B, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT SQUARE BRACKET
{ 0x5C, Infix, 0, 0, 0}, // REVERSE SOLIDUS
{ 0x5D, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT SQUARE BRACKET
{ 0x5E, Postfix, 0, 0, Accent | Stretchy}, // CIRCUMFLEX ACCENT
{ 0x5E, Infix, 1, 1, 0}, // CIRCUMFLEX ACCENT
{ 0x5F, Postfix, 0, 0, Accent | Stretchy}, // LOW LINE
{ 0x5F, Infix, 1, 1, 0}, // LOW LINE
{ 0x60, Postfix, 0, 0, Accent}, // GRAVE ACCENT
{ 0x7B, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT CURLY BRACKET
{ 0x7C, Infix, 2, 2, Stretchy | Symmetric | Fence}, // VERTICAL LINE
{ 0x7C, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // VERTICAL LINE
{ 0x7C, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // VERTICAL LINE
{ 0x7D, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT CURLY BRACKET
{ 0x7E, Postfix, 0, 0, Accent | Stretchy}, // TILDE
{ 0xA8, Postfix, 0, 0, Accent}, // DIAERESIS
{ 0xAA, Postfix, 0, 0, Accent}, // FEMININE ORDINAL INDICATOR
{ 0xAC, Prefix, 2, 1, 0}, // NOT SIGN
{ 0xAF, Postfix, 0, 0, Accent | Stretchy}, // MACRON
{ 0xB0, Postfix, 0, 0, 0}, // DEGREE SIGN
{ 0xB1, Infix, 4, 4, 0}, // PLUS-MINUS SIGN
{ 0xB1, Prefix, 0, 1, 0}, // PLUS-MINUS SIGN
{ 0xB2, Postfix, 0, 0, Accent}, // SUPERSCRIPT TWO
{ 0xB3, Postfix, 0, 0, Accent}, // SUPERSCRIPT THREE
{ 0xB4, Postfix, 0, 0, Accent}, // ACUTE ACCENT
{ 0xB7, Infix, 4, 4, 0}, // MIDDLE DOT
{ 0xB8, Postfix, 0, 0, Accent}, // CEDILLA
{ 0xB9, Postfix, 0, 0, Accent}, // SUPERSCRIPT ONE
{ 0xBA, Postfix, 0, 0, Accent}, // MASCULINE ORDINAL INDICATOR
{ 0xD7, Infix, 4, 4, 0}, // MULTIPLICATION SIGN
{ 0xF7, Infix, 4, 4, 0}, // DIVISION SIGN
{ 0x2C6, Postfix, 0, 0, Accent | Stretchy}, // MODIFIER LETTER CIRCUMFLEX ACCENT
{ 0x2C7, Postfix, 0, 0, Accent | Stretchy}, // CARON
{ 0x2C9, Postfix, 0, 0, Accent | Stretchy}, // MODIFIER LETTER MACRON
{ 0x2CA, Postfix, 0, 0, Accent}, // MODIFIER LETTER ACUTE ACCENT
{ 0x2CB, Postfix, 0, 0, Accent}, // MODIFIER LETTER GRAVE ACCENT
{ 0x2CD, Postfix, 0, 0, Accent | Stretchy}, // MODIFIER LETTER LOW MACRON
{ 0x2D8, Postfix, 0, 0, Accent}, // BREVE
{ 0x2D9, Postfix, 0, 0, Accent}, // DOT ABOVE
{ 0x2DA, Postfix, 0, 0, Accent}, // RING ABOVE
{ 0x2DC, Postfix, 0, 0, Accent | Stretchy}, // SMALL TILDE
{ 0x2DD, Postfix, 0, 0, Accent}, // DOUBLE ACUTE ACCENT
{ 0x2F7, Postfix, 0, 0, Accent | Stretchy}, // MODIFIER LETTER LOW TILDE
{ 0x302, Postfix, 0, 0, Accent | Stretchy}, // COMBINING CIRCUMFLEX ACCENT
{ 0x311, Postfix, 0, 0, Accent}, // COMBINING INVERTED BREVE
{ 0x3F6, Infix, 5, 5, 0}, // GREEK REVERSED LUNATE EPSILON SYMBOL
{ 0x2016, Prefix, 0, 0, Fence | Stretchy}, // DOUBLE VERTICAL LINE
{ 0x2016, Postfix, 0, 0, Fence | Stretchy}, // DOUBLE VERTICAL LINE
{ 0x2018, Prefix, 0, 0, Fence}, // LEFT SINGLE QUOTATION MARK
{ 0x2019, Postfix, 0, 0, Fence}, // RIGHT SINGLE QUOTATION MARK
{ 0x201A, Postfix, 0, 0, Accent}, // SINGLE LOW-9 QUOTATION MARK
{ 0x201B, Postfix, 0, 0, Accent}, // SINGLE HIGH-REVERSED-9 QUOTATION MARK
{ 0x201C, Prefix, 0, 0, Fence}, // LEFT DOUBLE QUOTATION MARK
{ 0x201D, Postfix, 0, 0, Fence}, // RIGHT DOUBLE QUOTATION MARK
{ 0x201E, Postfix, 0, 0, Accent}, // DOUBLE HIGH-REVERSED-9 QUOTATION MARK
{ 0x201F, Postfix, 0, 0, Accent}, // DOUBLE LOW-9 QUOTATION MARK
{ 0x2022, Infix, 4, 4, 0}, // BULLET
{ 0x2026, Infix, 0, 0, 0}, // HORIZONTAL ELLIPSIS
{ 0x2032, Postfix, 0, 0, 0}, // PRIME
{ 0x2033, Postfix, 0, 0, Accent}, // DOUBLE PRIME
{ 0x2034, Postfix, 0, 0, Accent}, // TRIPLE PRIME
{ 0x2035, Postfix, 0, 0, Accent}, // REVERSED PRIME
{ 0x2036, Postfix, 0, 0, Accent}, // REVERSED DOUBLE PRIME
{ 0x2037, Postfix, 0, 0, Accent}, // REVERSED TRIPLE PRIME
{ 0x203E, Postfix, 0, 0, Accent | Stretchy}, // OVERLINE
{ 0x2044, Infix, 4, 4, Stretchy}, // FRACTION SLASH
{ 0x2057, Postfix, 0, 0, Accent}, // QUADRUPLE PRIME
{ 0x2061, Infix, 0, 0, 0}, // FUNCTION APPLICATION
{ 0x2062, Infix, 0, 0, 0}, // INVISIBLE TIMES
{ 0x2063, Infix, 0, 0, Separator}, // INVISIBLE SEPARATOR
{ 0x2064, Infix, 0, 0, 0}, // INVISIBLE PLUS
{ 0x20DB, Postfix, 0, 0, Accent}, // COMBINING THREE DOTS ABOVE
{ 0x20DC, Postfix, 0, 0, Accent}, // COMBINING FOUR DOTS ABOVE
{ 0x2145, Prefix, 2, 1, 0}, // DOUBLE-STRUCK ITALIC CAPITAL D
{ 0x2146, Prefix, 2, 0, 0}, // DOUBLE-STRUCK ITALIC SMALL D
{ 0x2190, Infix, 5, 5, Accent | Stretchy}, // LEFTWARDS ARROW
{ 0x2191, Infix, 5, 5, Stretchy}, // UPWARDS ARROW
{ 0x2192, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW
{ 0x2193, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW
{ 0x2194, Infix, 5, 5, Stretchy | Accent}, // LEFT RIGHT ARROW
{ 0x2195, Infix, 5, 5, Stretchy}, // UP DOWN ARROW
{ 0x2196, Infix, 5, 5, Stretchy}, // NORTH WEST ARROW
{ 0x2197, Infix, 5, 5, Stretchy}, // NORTH EAST ARROW
{ 0x2198, Infix, 5, 5, Stretchy}, // SOUTH EAST ARROW
{ 0x2199, Infix, 5, 5, Stretchy}, // SOUTH WEST ARROW
{ 0x219A, Infix, 5, 5, Accent}, // LEFTWARDS ARROW WITH STROKE
{ 0x219B, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH STROKE
{ 0x219C, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS WAVE ARROW
{ 0x219D, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS WAVE ARROW
{ 0x219E, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS TWO HEADED ARROW
{ 0x219F, Infix, 5, 5, Stretchy | Accent}, // UPWARDS TWO HEADED ARROW
{ 0x21A0, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS TWO HEADED ARROW
{ 0x21A1, Infix, 5, 5, Stretchy}, // DOWNWARDS TWO HEADED ARROW
{ 0x21A2, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW WITH TAIL
{ 0x21A3, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW WITH TAIL
{ 0x21A4, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW FROM BAR
{ 0x21A5, Infix, 5, 5, Stretchy}, // UPWARDS ARROW FROM BAR
{ 0x21A6, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW FROM BAR
{ 0x21A7, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW FROM BAR
{ 0x21A8, Infix, 5, 5, Stretchy}, // UP DOWN ARROW WITH BASE
{ 0x21A9, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW WITH HOOK
{ 0x21AA, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW WITH HOOK
{ 0x21AB, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW WITH LOOP
{ 0x21AC, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW WITH LOOP
{ 0x21AD, Infix, 5, 5, Stretchy | Accent}, // LEFT RIGHT WAVE ARROW
{ 0x21AE, Infix, 5, 5, Accent}, // LEFT RIGHT ARROW WITH STROKE
{ 0x21AF, Infix, 5, 5, Stretchy}, // DOWNWARDS ZIGZAG ARROW
{ 0x21B0, Infix, 5, 5, Stretchy}, // UPWARDS ARROW WITH TIP LEFTWARDS
{ 0x21B1, Infix, 5, 5, Stretchy}, // UPWARDS ARROW WITH TIP RIGHTWARDS
{ 0x21B2, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW WITH TIP LEFTWARDS
{ 0x21B3, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW WITH TIP RIGHTWARDS
{ 0x21B4, Infix, 5, 5, Stretchy}, // RIGHTWARDS ARROW WITH CORNER DOWNWARDS
{ 0x21B5, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW WITH CORNER LEFTWARDS
{ 0x21B6, Infix, 5, 5, Accent}, // ANTICLOCKWISE TOP SEMICIRCLE ARROW
{ 0x21B7, Infix, 5, 5, Accent}, // CLOCKWISE TOP SEMICIRCLE ARROW
{ 0x21B8, Infix, 5, 5, 0}, // NORTH WEST ARROW TO LONG BAR
{ 0x21B9, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW TO BAR OVER RIGHTWARDS ARROW TO BAR
{ 0x21BA, Infix, 5, 5, 0}, // ANTICLOCKWISE OPEN CIRCLE ARROW
{ 0x21BB, Infix, 5, 5, 0}, // CLOCKWISE OPEN CIRCLE ARROW
{ 0x21BC, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON WITH BARB UPWARDS
{ 0x21BD, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON WITH BARB DOWNWARDS
{ 0x21BE, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB RIGHTWARDS
{ 0x21BF, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB LEFTWARDS
{ 0x21C0, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON WITH BARB UPWARDS
{ 0x21C1, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON WITH BARB DOWNWARDS
{ 0x21C2, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB RIGHTWARDS
{ 0x21C3, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB LEFTWARDS
{ 0x21C4, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW OVER LEFTWARDS ARROW
{ 0x21C5, Infix, 5, 5, Stretchy}, // UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
{ 0x21C6, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW OVER RIGHTWARDS ARROW
{ 0x21C7, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS PAIRED ARROWS
{ 0x21C8, Infix, 5, 5, Stretchy}, // UPWARDS PAIRED ARROWS
{ 0x21C9, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS PAIRED ARROWS
{ 0x21CA, Infix, 5, 5, Stretchy}, // DOWNWARDS PAIRED ARROWS
{ 0x21CB, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
{ 0x21CC, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
{ 0x21CD, Infix, 5, 5, Accent}, // LEFTWARDS DOUBLE ARROW WITH STROKE
{ 0x21CE, Infix, 5, 5, Accent}, // LEFT RIGHT DOUBLE ARROW WITH STROKE
{ 0x21CF, Infix, 5, 5, Accent}, // RIGHTWARDS DOUBLE ARROW WITH STROKE
{ 0x21D0, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS DOUBLE ARROW
{ 0x21D1, Infix, 5, 5, Stretchy}, // UPWARDS DOUBLE ARROW
{ 0x21D2, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS DOUBLE ARROW
{ 0x21D3, Infix, 5, 5, Stretchy}, // DOWNWARDS DOUBLE ARROW
{ 0x21D4, Infix, 5, 5, Stretchy | Accent}, // LEFT RIGHT DOUBLE ARROW
{ 0x21D5, Infix, 5, 5, Stretchy}, // UP DOWN DOUBLE ARROW
{ 0x21D6, Infix, 5, 5, Stretchy}, // NORTH WEST DOUBLE ARROW
{ 0x21D7, Infix, 5, 5, Stretchy}, // NORTH EAST DOUBLE ARROW
{ 0x21D8, Infix, 5, 5, Stretchy}, // SOUTH EAST DOUBLE ARROW
{ 0x21D9, Infix, 5, 5, Stretchy}, // SOUTH WEST DOUBLE ARROW
{ 0x21DA, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS TRIPLE ARROW
{ 0x21DB, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS TRIPLE ARROW
{ 0x21DC, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS SQUIGGLE ARROW
{ 0x21DD, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS SQUIGGLE ARROW
{ 0x21DE, Infix, 5, 5, 0}, // UPWARDS ARROW WITH DOUBLE STROKE
{ 0x21DF, Infix, 5, 5, 0}, // DOWNWARDS ARROW WITH DOUBLE STROKE
{ 0x21E0, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS DASHED ARROW
{ 0x21E1, Infix, 5, 5, Stretchy}, // UPWARDS DASHED ARROW
{ 0x21E2, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS DASHED ARROW
{ 0x21E3, Infix, 5, 5, Stretchy}, // DOWNWARDS DASHED ARROW
{ 0x21E4, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS ARROW TO BAR
{ 0x21E5, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS ARROW TO BAR
{ 0x21E6, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS WHITE ARROW
{ 0x21E7, Infix, 5, 5, Stretchy}, // UPWARDS WHITE ARROW
{ 0x21E8, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS WHITE ARROW
{ 0x21E9, Infix, 5, 5, Stretchy}, // DOWNWARDS WHITE ARROW
{ 0x21EA, Infix, 5, 5, Stretchy}, // UPWARDS WHITE ARROW FROM BAR
{ 0x21EB, Infix, 5, 5, Stretchy}, // UPWARDS WHITE ARROW ON PEDESTAL
{ 0x21EC, Infix, 5, 5, Stretchy}, // UPWARDS WHITE ARROW ON PEDESTAL WITH HORIZONTAL BAR
{ 0x21ED, Infix, 5, 5, Stretchy}, // UPWARDS WHITE ARROW ON PEDESTAL WITH VERTICAL BAR
{ 0x21EE, Infix, 5, 5, Stretchy}, // UPWARDS WHITE DOUBLE ARROW
{ 0x21EF, Infix, 5, 5, Stretchy}, // UPWARDS WHITE DOUBLE ARROW ON PEDESTAL
{ 0x21F0, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS WHITE ARROW FROM WALL
{ 0x21F1, Infix, 5, 5, 0}, // NORTH WEST ARROW TO CORNER
{ 0x21F2, Infix, 5, 5, 0}, // SOUTH EAST ARROW TO CORNER
{ 0x21F3, Infix, 5, 5, Stretchy}, // UP DOWN WHITE ARROW
{ 0x21F4, Infix, 5, 5, Accent}, // RIGHT ARROW WITH SMALL CIRCLE
{ 0x21F5, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
{ 0x21F6, Infix, 5, 5, Stretchy | Accent}, // THREE RIGHTWARDS ARROWS
{ 0x21F7, Infix, 5, 5, Accent}, // LEFTWARDS ARROW WITH VERTICAL STROKE
{ 0x21F8, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH VERTICAL STROKE
{ 0x21F9, Infix, 5, 5, Accent}, // LEFT RIGHT ARROW WITH VERTICAL STROKE
{ 0x21FA, Infix, 5, 5, Accent}, // LEFTWARDS ARROW WITH DOUBLE VERTICAL STROKE
{ 0x21FB, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE
{ 0x21FC, Infix, 5, 5, Accent}, // LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE
{ 0x21FD, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS OPEN-HEADED ARROW
{ 0x21FE, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS OPEN-HEADED ARROW
{ 0x21FF, Infix, 5, 5, Stretchy | Accent}, // LEFT RIGHT OPEN-HEADED ARROW
{ 0x2200, Prefix, 2, 1, 0}, // FOR ALL
{ 0x2201, Infix, 1, 2, 0}, // COMPLEMENT
{ 0x2202, Prefix, 2, 1, 0}, // PARTIAL DIFFERENTIAL
{ 0x2203, Prefix, 2, 1, 0}, // THERE EXISTS
{ 0x2204, Prefix, 2, 1, 0}, // THERE DOES NOT EXIST
{ 0x2206, Infix, 3, 3, 0}, // INCREMENT
{ 0x2207, Prefix, 2, 1, 0}, // NABLA
{ 0x2208, Infix, 5, 5, 0}, // ELEMENT OF
{ 0x2209, Infix, 5, 5, 0}, // NOT AN ELEMENT OF
{ 0x220A, Infix, 5, 5, 0}, // SMALL ELEMENT OF
{ 0x220B, Infix, 5, 5, 0}, // CONTAINS AS MEMBER
{ 0x220C, Infix, 5, 5, 0}, // DOES NOT CONTAIN AS MEMBER
{ 0x220D, Infix, 5, 5, 0}, // SMALL CONTAINS AS MEMBER
{ 0x220E, Infix, 3, 3, 0}, // END OF PROOF
{ 0x220F, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY PRODUCT
{ 0x2210, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY COPRODUCT
{ 0x2211, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY SUMMATION
{ 0x2212, Infix, 4, 4, 0}, // MINUS SIGN
{ 0x2212, Prefix, 0, 1, 0}, // MINUS SIGN
{ 0x2213, Infix, 4, 4, 0}, // MINUS-OR-PLUS SIGN
{ 0x2213, Prefix, 0, 1, 0}, // MINUS-OR-PLUS SIGN
{ 0x2214, Infix, 4, 4, 0}, // DOT PLUS
{ 0x2215, Infix, 4, 4, Stretchy}, // DIVISION SLASH
{ 0x2216, Infix, 4, 4, 0}, // SET MINUS
{ 0x2217, Infix, 4, 4, 0}, // ASTERISK OPERATOR
{ 0x2218, Infix, 4, 4, 0}, // RING OPERATOR
{ 0x2219, Infix, 4, 4, 0}, // BULLET OPERATOR
{ 0x221A, Prefix, 1, 1, Stretchy}, // SQUARE ROOT
{ 0x221B, Prefix, 1, 1, 0}, // CUBE ROOT
{ 0x221C, Prefix, 1, 1, 0}, // FOURTH ROOT
{ 0x221D, Infix, 5, 5, 0}, // PROPORTIONAL TO
{ 0x221F, Infix, 5, 5, 0}, // RIGHT ANGLE
{ 0x2220, Prefix, 0, 0, 0}, // ANGLE
{ 0x2221, Prefix, 0, 0, 0}, // MEASURED ANGLE
{ 0x2222, Prefix, 0, 0, 0}, // SPHERICAL ANGLE
{ 0x2223, Infix, 5, 5, 0}, // DIVIDES
{ 0x2224, Infix, 5, 5, 0}, // DOES NOT DIVIDE
{ 0x2225, Infix, 5, 5, 0}, // PARALLEL TO
{ 0x2225, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // PARALLEL TO
{ 0x2225, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // PARALLEL TO
{ 0x2226, Infix, 5, 5, 0}, // NOT PARALLEL TO
{ 0x2227, Infix, 4, 4, 0}, // LOGICAL AND
{ 0x2228, Infix, 4, 4, 0}, // LOGICAL OR
{ 0x2229, Infix, 4, 4, 0}, // INTERSECTION
{ 0x222A, Infix, 4, 4, 0}, // UNION
{ 0x222B, Prefix, 0, 1, Symmetric | LargeOp}, // INTEGRAL
{ 0x222C, Prefix, 0, 1, Symmetric | LargeOp}, // DOUBLE INTEGRAL
{ 0x222D, Prefix, 0, 1, Symmetric | LargeOp}, // TRIPLE INTEGRAL
{ 0x222E, Prefix, 0, 1, Symmetric | LargeOp}, // CONTOUR INTEGRAL
{ 0x222F, Prefix, 0, 1, Symmetric | LargeOp}, // SURFACE INTEGRAL
{ 0x2230, Prefix, 0, 1, Symmetric | LargeOp}, // VOLUME INTEGRAL
{ 0x2231, Prefix, 0, 1, Symmetric | LargeOp}, // CLOCKWISE INTEGRAL
{ 0x2232, Prefix, 0, 1, Symmetric | LargeOp}, // CLOCKWISE CONTOUR INTEGRAL
{ 0x2233, Prefix, 0, 1, Symmetric | LargeOp}, // ANTICLOCKWISE CONTOUR INTEGRAL
{ 0x2234, Infix, 5, 5, 0}, // THEREFORE
{ 0x2235, Infix, 5, 5, 0}, // BECAUSE
{ 0x2236, Infix, 5, 5, 0}, // RATIO
{ 0x2237, Infix, 5, 5, 0}, // PROPORTION
{ 0x2238, Infix, 4, 4, 0}, // DOT MINUS
{ 0x2239, Infix, 5, 5, 0}, // EXCESS
{ 0x223A, Infix, 4, 4, 0}, // GEOMETRIC PROPORTION
{ 0x223B, Infix, 5, 5, 0}, // HOMOTHETIC
{ 0x223C, Infix, 5, 5, 0}, // TILDE OPERATOR
{ 0x223D, Infix, 5, 5, 0}, // REVERSED TILDE
{ 0x223E, Infix, 5, 5, 0}, // INVERTED LAZY S
{ 0x223F, Infix, 3, 3, 0}, // SINE WAVE
{ 0x2240, Infix, 4, 4, 0}, // WREATH PRODUCT
{ 0x2241, Infix, 5, 5, 0}, // NOT TILDE
{ 0x2242, Infix, 5, 5, 0}, // MINUS TILDE
{ 0x2243, Infix, 5, 5, 0}, // ASYMPTOTICALLY EQUAL TO
{ 0x2244, Infix, 5, 5, 0}, // NOT ASYMPTOTICALLY EQUAL TO
{ 0x2245, Infix, 5, 5, 0}, // APPROXIMATELY EQUAL TO
{ 0x2246, Infix, 5, 5, 0}, // APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
{ 0x2247, Infix, 5, 5, 0}, // NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
{ 0x2248, Infix, 5, 5, 0}, // ALMOST EQUAL TO
{ 0x2249, Infix, 5, 5, 0}, // NOT ALMOST EQUAL TO
{ 0x224A, Infix, 5, 5, 0}, // ALMOST EQUAL OR EQUAL TO
{ 0x224B, Infix, 5, 5, 0}, // TRIPLE TILDE
{ 0x224C, Infix, 5, 5, 0}, // ALL EQUAL TO
{ 0x224D, Infix, 5, 5, 0}, // EQUIVALENT TO
{ 0x224E, Infix, 5, 5, 0}, // GEOMETRICALLY EQUIVALENT TO
{ 0x224F, Infix, 5, 5, 0}, // DIFFERENCE BETWEEN
{ 0x2250, Infix, 5, 5, 0}, // APPROACHES THE LIMIT
{ 0x2251, Infix, 5, 5, 0}, // GEOMETRICALLY EQUAL TO
{ 0x2252, Infix, 5, 5, 0}, // APPROXIMATELY EQUAL TO OR THE IMAGE OF
{ 0x2253, Infix, 5, 5, 0}, // IMAGE OF OR APPROXIMATELY EQUAL TO
{ 0x2254, Infix, 5, 5, 0}, // COLON EQUALS
{ 0x2255, Infix, 5, 5, 0}, // EQUALS COLON
{ 0x2256, Infix, 5, 5, 0}, // RING IN EQUAL TO
{ 0x2257, Infix, 5, 5, 0}, // RING EQUAL TO
{ 0x2258, Infix, 5, 5, 0}, // CORRESPONDS TO
{ 0x2259, Infix, 5, 5, 0}, // ESTIMATES
{ 0x225A, Infix, 5, 5, 0}, // EQUIANGULAR TO
{ 0x225C, Infix, 5, 5, 0}, // DELTA EQUAL TO
{ 0x225D, Infix, 5, 5, 0}, // EQUAL TO BY DEFINITION
{ 0x225E, Infix, 5, 5, 0}, // MEASURED BY
{ 0x225F, Infix, 5, 5, 0}, // QUESTIONED EQUAL TO
{ 0x2260, Infix, 5, 5, 0}, // NOT EQUAL TO
{ 0x2261, Infix, 5, 5, 0}, // IDENTICAL TO
{ 0x2262, Infix, 5, 5, 0}, // NOT IDENTICAL TO
{ 0x2263, Infix, 5, 5, 0}, // STRICTLY EQUIVALENT TO
{ 0x2264, Infix, 5, 5, 0}, // LESS-THAN OR EQUAL TO
{ 0x2265, Infix, 5, 5, 0}, // GREATER-THAN OR EQUAL TO
{ 0x2266, Infix, 5, 5, 0}, // LESS-THAN OVER EQUAL TO
{ 0x2267, Infix, 5, 5, 0}, // GREATER-THAN OVER EQUAL TO
{ 0x2268, Infix, 5, 5, 0}, // LESS-THAN BUT NOT EQUAL TO
{ 0x2269, Infix, 5, 5, 0}, // GREATER-THAN BUT NOT EQUAL TO
{ 0x226A, Infix, 5, 5, 0}, // MUCH LESS-THAN
{ 0x226B, Infix, 5, 5, 0}, // MUCH GREATER-THAN
{ 0x226C, Infix, 5, 5, 0}, // BETWEEN
{ 0x226D, Infix, 5, 5, 0}, // NOT EQUIVALENT TO
{ 0x226E, Infix, 5, 5, 0}, // NOT LESS-THAN
{ 0x226F, Infix, 5, 5, 0}, // NOT GREATER-THAN
{ 0x2270, Infix, 5, 5, 0}, // NEITHER LESS-THAN NOR EQUAL TO
{ 0x2271, Infix, 5, 5, 0}, // NEITHER GREATER-THAN NOR EQUAL TO
{ 0x2272, Infix, 5, 5, 0}, // LESS-THAN OR EQUIVALENT TO
{ 0x2273, Infix, 5, 5, 0}, // GREATER-THAN OR EQUIVALENT TO
{ 0x2274, Infix, 5, 5, 0}, // NEITHER LESS-THAN NOR EQUIVALENT TO
{ 0x2275, Infix, 5, 5, 0}, // NEITHER GREATER-THAN NOR EQUIVALENT TO
{ 0x2276, Infix, 5, 5, 0}, // LESS-THAN OR GREATER-THAN
{ 0x2277, Infix, 5, 5, 0}, // GREATER-THAN OR LESS-THAN
{ 0x2278, Infix, 5, 5, 0}, // NEITHER LESS-THAN NOR GREATER-THAN
{ 0x2279, Infix, 5, 5, 0}, // NEITHER GREATER-THAN NOR LESS-THAN
{ 0x227A, Infix, 5, 5, 0}, // PRECEDES
{ 0x227B, Infix, 5, 5, 0}, // SUCCEEDS
{ 0x227C, Infix, 5, 5, 0}, // PRECEDES OR EQUAL TO
{ 0x227D, Infix, 5, 5, 0}, // SUCCEEDS OR EQUAL TO
{ 0x227E, Infix, 5, 5, 0}, // PRECEDES OR EQUIVALENT TO
{ 0x227F, Infix, 5, 5, 0}, // SUCCEEDS OR EQUIVALENT TO
{ 0x2280, Infix, 5, 5, 0}, // DOES NOT PRECEDE
{ 0x2281, Infix, 5, 5, 0}, // DOES NOT SUCCEED
{ 0x2282, Infix, 5, 5, 0}, // SUBSET OF
{ 0x2283, Infix, 5, 5, 0}, // SUPERSET OF
{ 0x2284, Infix, 5, 5, 0}, // NOT A SUBSET OF
{ 0x2285, Infix, 5, 5, 0}, // NOT A SUPERSET OF
{ 0x2286, Infix, 5, 5, 0}, // SUBSET OF OR EQUAL TO
{ 0x2287, Infix, 5, 5, 0}, // SUPERSET OF OR EQUAL TO
{ 0x2288, Infix, 5, 5, 0}, // NEITHER A SUBSET OF NOR EQUAL TO
{ 0x2289, Infix, 5, 5, 0}, // NEITHER A SUPERSET OF NOR EQUAL TO
{ 0x228A, Infix, 5, 5, 0}, // SUBSET OF WITH NOT EQUAL TO
{ 0x228B, Infix, 5, 5, 0}, // SUPERSET OF WITH NOT EQUAL TO
{ 0x228C, Infix, 4, 4, 0}, // MULTISET
{ 0x228D, Infix, 4, 4, 0}, // MULTISET MULTIPLICATION
{ 0x228E, Infix, 4, 4, 0}, // MULTISET UNION
{ 0x228F, Infix, 5, 5, 0}, // SQUARE IMAGE OF
{ 0x2290, Infix, 5, 5, 0}, // SQUARE ORIGINAL OF
{ 0x2291, Infix, 5, 5, 0}, // SQUARE IMAGE OF OR EQUAL TO
{ 0x2292, Infix, 5, 5, 0}, // SQUARE ORIGINAL OF OR EQUAL TO
{ 0x2293, Infix, 4, 4, 0}, // SQUARE CAP
{ 0x2294, Infix, 4, 4, 0}, // SQUARE CUP
{ 0x2295, Infix, 4, 4, 0}, // CIRCLED PLUS
{ 0x2296, Infix, 4, 4, 0}, // CIRCLED MINUS
{ 0x2297, Infix, 4, 4, 0}, // CIRCLED TIMES
{ 0x2298, Infix, 4, 4, 0}, // CIRCLED DIVISION SLASH
{ 0x2299, Infix, 4, 4, 0}, // CIRCLED DOT OPERATOR
{ 0x229A, Infix, 4, 4, 0}, // CIRCLED RING OPERATOR
{ 0x229B, Infix, 4, 4, 0}, // CIRCLED ASTERISK OPERATOR
{ 0x229C, Infix, 4, 4, 0}, // CIRCLED EQUALS
{ 0x229D, Infix, 4, 4, 0}, // CIRCLED DASH
{ 0x229E, Infix, 4, 4, 0}, // SQUARED PLUS
{ 0x229F, Infix, 4, 4, 0}, // SQUARED MINUS
{ 0x22A0, Infix, 4, 4, 0}, // SQUARED TIMES
{ 0x22A1, Infix, 4, 4, 0}, // SQUARED DOT OPERATOR
{ 0x22A2, Infix, 5, 5, 0}, // RIGHT TACK
{ 0x22A3, Infix, 5, 5, 0}, // LEFT TACK
{ 0x22A4, Infix, 5, 5, 0}, // DOWN TACK
{ 0x22A5, Infix, 5, 5, 0}, // UP TACK
{ 0x22A6, Infix, 5, 5, 0}, // ASSERTION
{ 0x22A7, Infix, 5, 5, 0}, // MODELS
{ 0x22A8, Infix, 5, 5, 0}, // TRUE
{ 0x22A9, Infix, 5, 5, 0}, // FORCES
{ 0x22AA, Infix, 5, 5, 0}, // TRIPLE VERTICAL BAR RIGHT TURNSTILE
{ 0x22AB, Infix, 5, 5, 0}, // DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
{ 0x22AC, Infix, 5, 5, 0}, // DOES NOT PROVE
{ 0x22AD, Infix, 5, 5, 0}, // NOT TRUE
{ 0x22AE, Infix, 5, 5, 0}, // DOES NOT FORCE
{ 0x22AF, Infix, 5, 5, 0}, // NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
{ 0x22B0, Infix, 5, 5, 0}, // PRECEDES UNDER RELATION
{ 0x22B1, Infix, 5, 5, 0}, // SUCCEEDS UNDER RELATION
{ 0x22B2, Infix, 5, 5, 0}, // NORMAL SUBGROUP OF
{ 0x22B3, Infix, 5, 5, 0}, // CONTAINS AS NORMAL SUBGROUP
{ 0x22B4, Infix, 5, 5, 0}, // NORMAL SUBGROUP OF OR EQUAL TO
{ 0x22B5, Infix, 5, 5, 0}, // CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
{ 0x22B6, Infix, 5, 5, 0}, // ORIGINAL OF
{ 0x22B7, Infix, 5, 5, 0}, // IMAGE OF
{ 0x22B8, Infix, 5, 5, 0}, // MULTIMAP
{ 0x22B9, Infix, 5, 5, 0}, // HERMITIAN CONJUGATE MATRIX
{ 0x22BA, Infix, 4, 4, 0}, // INTERCALATE
{ 0x22BB, Infix, 4, 4, 0}, // XOR
{ 0x22BC, Infix, 4, 4, 0}, // NAND
{ 0x22BD, Infix, 4, 4, 0}, // NOR
{ 0x22BE, Infix, 3, 3, 0}, // RIGHT ANGLE WITH ARC
{ 0x22BF, Infix, 3, 3, 0}, // RIGHT TRIANGLE
{ 0x22C0, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY LOGICAL AND
{ 0x22C1, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY LOGICAL OR
{ 0x22C2, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY INTERSECTION
{ 0x22C3, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY UNION
{ 0x22C4, Infix, 4, 4, 0}, // DIAMOND OPERATOR
{ 0x22C5, Infix, 4, 4, 0}, // DOT OPERATOR
{ 0x22C6, Infix, 4, 4, 0}, // STAR OPERATOR
{ 0x22C7, Infix, 4, 4, 0}, // DIVISION TIMES
{ 0x22C8, Infix, 5, 5, 0}, // BOWTIE
{ 0x22C9, Infix, 4, 4, 0}, // LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
{ 0x22CA, Infix, 4, 4, 0}, // RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
{ 0x22CB, Infix, 4, 4, 0}, // LEFT SEMIDIRECT PRODUCT
{ 0x22CC, Infix, 4, 4, 0}, // RIGHT SEMIDIRECT PRODUCT
{ 0x22CD, Infix, 5, 5, 0}, // REVERSED TILDE EQUALS
{ 0x22CE, Infix, 4, 4, 0}, // CURLY LOGICAL OR
{ 0x22CF, Infix, 4, 4, 0}, // CURLY LOGICAL AND
{ 0x22D0, Infix, 5, 5, 0}, // DOUBLE SUBSET
{ 0x22D1, Infix, 5, 5, 0}, // DOUBLE SUPERSET
{ 0x22D2, Infix, 4, 4, 0}, // DOUBLE INTERSECTION
{ 0x22D3, Infix, 4, 4, 0}, // DOUBLE UNION
{ 0x22D4, Infix, 5, 5, 0}, // PITCHFORK
{ 0x22D5, Infix, 5, 5, 0}, // EQUAL AND PARALLEL TO
{ 0x22D6, Infix, 5, 5, 0}, // LESS-THAN WITH DOT
{ 0x22D7, Infix, 5, 5, 0}, // GREATER-THAN WITH DOT
{ 0x22D8, Infix, 5, 5, 0}, // VERY MUCH LESS-THAN
{ 0x22D9, Infix, 5, 5, 0}, // VERY MUCH GREATER-THAN
{ 0x22DA, Infix, 5, 5, 0}, // LESS-THAN EQUAL TO OR GREATER-THAN
{ 0x22DB, Infix, 5, 5, 0}, // GREATER-THAN EQUAL TO OR LESS-THAN
{ 0x22DC, Infix, 5, 5, 0}, // EQUAL TO OR LESS-THAN
{ 0x22DD, Infix, 5, 5, 0}, // EQUAL TO OR GREATER-THAN
{ 0x22DE, Infix, 5, 5, 0}, // EQUAL TO OR PRECEDES
{ 0x22DF, Infix, 5, 5, 0}, // EQUAL TO OR SUCCEEDS
{ 0x22E0, Infix, 5, 5, 0}, // DOES NOT PRECEDE OR EQUAL
{ 0x22E1, Infix, 5, 5, 0}, // DOES NOT SUCCEED OR EQUAL
{ 0x22E2, Infix, 5, 5, 0}, // NOT SQUARE IMAGE OF OR EQUAL TO
{ 0x22E3, Infix, 5, 5, 0}, // NOT SQUARE ORIGINAL OF OR EQUAL TO
{ 0x22E4, Infix, 5, 5, 0}, // SQUARE IMAGE OF OR NOT EQUAL TO
{ 0x22E5, Infix, 5, 5, 0}, // SQUARE ORIGINAL OF OR NOT EQUAL TO
{ 0x22E6, Infix, 5, 5, 0}, // LESS-THAN BUT NOT EQUIVALENT TO
{ 0x22E7, Infix, 5, 5, 0}, // GREATER-THAN BUT NOT EQUIVALENT TO
{ 0x22E8, Infix, 5, 5, 0}, // PRECEDES BUT NOT EQUIVALENT TO
{ 0x22E9, Infix, 5, 5, 0}, // SUCCEEDS BUT NOT EQUIVALENT TO
{ 0x22EA, Infix, 5, 5, 0}, // NOT NORMAL SUBGROUP OF
{ 0x22EB, Infix, 5, 5, 0}, // DOES NOT CONTAIN AS NORMAL SUBGROUP
{ 0x22EC, Infix, 5, 5, 0}, // NOT NORMAL SUBGROUP OF OR EQUAL TO
{ 0x22ED, Infix, 5, 5, 0}, // DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
{ 0x22EE, Infix, 5, 5, 0}, // VERTICAL ELLIPSIS
{ 0x22EF, Infix, 0, 0, 0}, // MIDLINE HORIZONTAL ELLIPSIS
{ 0x22F0, Infix, 5, 5, 0}, // UP RIGHT DIAGONAL ELLIPSIS
{ 0x22F1, Infix, 5, 5, 0}, // DOWN RIGHT DIAGONAL ELLIPSIS
{ 0x22F2, Infix, 5, 5, 0}, // ELEMENT OF WITH LONG HORIZONTAL STROKE
{ 0x22F3, Infix, 5, 5, 0}, // ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
{ 0x22F4, Infix, 5, 5, 0}, // SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
{ 0x22F5, Infix, 5, 5, 0}, // ELEMENT OF WITH DOT ABOVE
{ 0x22F6, Infix, 5, 5, 0}, // ELEMENT OF WITH OVERBAR
{ 0x22F7, Infix, 5, 5, 0}, // SMALL ELEMENT OF WITH OVERBAR
{ 0x22F8, Infix, 5, 5, 0}, // ELEMENT OF WITH UNDERBAR
{ 0x22F9, Infix, 5, 5, 0}, // ELEMENT OF WITH TWO HORIZONTAL STROKES
{ 0x22FA, Infix, 5, 5, 0}, // CONTAINS WITH LONG HORIZONTAL STROKE
{ 0x22FB, Infix, 5, 5, 0}, // CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
{ 0x22FC, Infix, 5, 5, 0}, // SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
{ 0x22FD, Infix, 5, 5, 0}, // CONTAINS WITH OVERBAR
{ 0x22FE, Infix, 5, 5, 0}, // SMALL CONTAINS WITH OVERBAR
{ 0x22FF, Infix, 5, 5, 0}, // Z NOTATION BAG MEMBERSHIP
{ 0x2308, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT CEILING
{ 0x2309, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT CEILING
{ 0x230A, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT FLOOR
{ 0x230B, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT FLOOR
{ 0x2329, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT-POINTING ANGLE BRACKET
{ 0x232A, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT-POINTING ANGLE BRACKET
{ 0x23B4, Postfix, 0, 0, Accent | Stretchy}, // TOP SQUARE BRACKET
{ 0x23B5, Postfix, 0, 0, Accent | Stretchy}, // BOTTOM SQUARE BRACKET
{ 0x23DC, Postfix, 0, 0, Accent | Stretchy}, // TOP PARENTHESIS
{ 0x23DD, Postfix, 0, 0, Accent | Stretchy}, // BOTTOM PARENTHESIS
{ 0x23DE, Postfix, 0, 0, Accent | Stretchy}, // TOP CURLY BRACKET
{ 0x23DF, Postfix, 0, 0, Accent | Stretchy}, // BOTTOM CURLY BRACKET
{ 0x23E0, Postfix, 0, 0, Accent | Stretchy}, // TOP TORTOISE SHELL BRACKET
{ 0x23E1, Postfix, 0, 0, Accent | Stretchy}, // BOTTOM TORTOISE SHELL BRACKET
{ 0x25A0, Infix, 3, 3, 0}, // BLACK SQUARE
{ 0x25A1, Infix, 3, 3, 0}, // WHITE SQUARE
{ 0x25AA, Infix, 3, 3, 0}, // BLACK SMALL SQUARE
{ 0x25AB, Infix, 3, 3, 0}, // WHITE SMALL SQUARE
{ 0x25AD, Infix, 3, 3, 0}, // WHITE RECTANGLE
{ 0x25AE, Infix, 3, 3, 0}, // BLACK VERTICAL RECTANGLE
{ 0x25AF, Infix, 3, 3, 0}, // WHITE VERTICAL RECTANGLE
{ 0x25B0, Infix, 3, 3, 0}, // BLACK PARALLELOGRAM
{ 0x25B1, Infix, 3, 3, 0}, // WHITE PARALLELOGRAM
{ 0x25B2, Infix, 4, 4, 0}, // BLACK UP-POINTING TRIANGLE
{ 0x25B3, Infix, 4, 4, 0}, // WHITE UP-POINTING TRIANGLE
{ 0x25B4, Infix, 4, 4, 0}, // BLACK UP-POINTING SMALL TRIANGLE
{ 0x25B5, Infix, 4, 4, 0}, // WHITE UP-POINTING SMALL TRIANGLE
{ 0x25B6, Infix, 4, 4, 0}, // BLACK RIGHT-POINTING TRIANGLE
{ 0x25B7, Infix, 4, 4, 0}, // WHITE RIGHT-POINTING TRIANGLE
{ 0x25B8, Infix, 4, 4, 0}, // BLACK RIGHT-POINTING SMALL TRIANGLE
{ 0x25B9, Infix, 4, 4, 0}, // WHITE RIGHT-POINTING SMALL TRIANGLE
{ 0x25BC, Infix, 4, 4, 0}, // BLACK DOWN-POINTING TRIANGLE
{ 0x25BD, Infix, 4, 4, 0}, // WHITE DOWN-POINTING TRIANGLE
{ 0x25BE, Infix, 4, 4, 0}, // BLACK DOWN-POINTING SMALL TRIANGLE
{ 0x25BF, Infix, 4, 4, 0}, // WHITE DOWN-POINTING SMALL TRIANGLE
{ 0x25C0, Infix, 4, 4, 0}, // BLACK LEFT-POINTING TRIANGLE
{ 0x25C1, Infix, 4, 4, 0}, // WHITE LEFT-POINTING TRIANGLE
{ 0x25C2, Infix, 4, 4, 0}, // BLACK LEFT-POINTING SMALL TRIANGLE
{ 0x25C3, Infix, 4, 4, 0}, // WHITE LEFT-POINTING SMALL TRIANGLE
{ 0x25C4, Infix, 4, 4, 0}, // BLACK LEFT-POINTING POINTER
{ 0x25C5, Infix, 4, 4, 0}, // WHITE LEFT-POINTING POINTER
{ 0x25C6, Infix, 4, 4, 0}, // BLACK DIAMOND
{ 0x25C7, Infix, 4, 4, 0}, // WHITE DIAMOND
{ 0x25C8, Infix, 4, 4, 0}, // WHITE DIAMOND CONTAINING BLACK SMALL DIAMOND
{ 0x25C9, Infix, 4, 4, 0}, // FISHEYE
{ 0x25CC, Infix, 4, 4, 0}, // DOTTED CIRCLE
{ 0x25CD, Infix, 4, 4, 0}, // CIRCLE WITH VERTICAL FILL
{ 0x25CE, Infix, 4, 4, 0}, // BULLSEYE
{ 0x25CF, Infix, 4, 4, 0}, // BLACK CIRCLE
{ 0x25D6, Infix, 4, 4, 0}, // LEFT HALF BLACK CIRCLE
{ 0x25D7, Infix, 4, 4, 0}, // RIGHT HALF BLACK CIRCLE
{ 0x25E6, Infix, 4, 4, 0}, // WHITE BULLET
{ 0x266D, Postfix, 0, 2, 0}, // MUSIC FLAT SIGN
{ 0x266E, Postfix, 0, 2, 0}, // MUSIC NATURAL SIGN
{ 0x266F, Postfix, 0, 2, 0}, // MUSIC SHARP SIGN
{ 0x2758, Infix, 5, 5, 0}, // LIGHT VERTICAL BAR
{ 0x2772, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LIGHT LEFT TORTOISE SHELL BRACKET ORNAMENT
{ 0x2773, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // LIGHT RIGHT TORTOISE SHELL BRACKET ORNAMENT
{ 0x27E6, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL LEFT WHITE SQUARE BRACKET
{ 0x27E7, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL RIGHT WHITE SQUARE BRACKET
{ 0x27E8, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL LEFT ANGLE BRACKET
{ 0x27E9, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL RIGHT ANGLE BRACKET
{ 0x27EA, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL LEFT DOUBLE ANGLE BRACKET
{ 0x27EB, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL RIGHT DOUBLE ANGLE BRACKET
{ 0x27EC, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL LEFT WHITE TORTOISE SHELL BRACKET
{ 0x27ED, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL RIGHT WHITE TORTOISE SHELL BRACKET
{ 0x27EE, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL LEFT FLATTENED PARENTHESIS
{ 0x27EF, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // MATHEMATICAL RIGHT FLATTENED PARENTHESIS
{ 0x27F0, Infix, 5, 5, Stretchy}, // UPWARDS QUADRUPLE ARROW
{ 0x27F1, Infix, 5, 5, Stretchy}, // DOWNWARDS QUADRUPLE ARROW
{ 0x27F5, Infix, 5, 5, Stretchy | Accent}, // LONG LEFTWARDS ARROW
{ 0x27F6, Infix, 5, 5, Stretchy | Accent}, // LONG RIGHTWARDS ARROW
{ 0x27F7, Infix, 5, 5, Stretchy | Accent}, // LONG LEFT RIGHT ARROW
{ 0x27F8, Infix, 5, 5, Stretchy | Accent}, // LONG LEFTWARDS DOUBLE ARROW
{ 0x27F9, Infix, 5, 5, Stretchy | Accent}, // LONG RIGHTWARDS DOUBLE ARROW
{ 0x27FA, Infix, 5, 5, Stretchy | Accent}, // LONG LEFT RIGHT DOUBLE ARROW
{ 0x27FB, Infix, 5, 5, Stretchy | Accent}, // LONG LEFTWARDS ARROW FROM BAR
{ 0x27FC, Infix, 5, 5, Stretchy | Accent}, // LONG RIGHTWARDS ARROW FROM BAR
{ 0x27FD, Infix, 5, 5, Stretchy | Accent}, // LONG LEFTWARDS DOUBLE ARROW FROM BAR
{ 0x27FE, Infix, 5, 5, Stretchy | Accent}, // LONG RIGHTWARDS DOUBLE ARROW FROM BAR
{ 0x27FF, Infix, 5, 5, Stretchy | Accent}, // LONG RIGHTWARDS SQUIGGLE ARROW
{ 0x2900, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE
{ 0x2901, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE
{ 0x2902, Infix, 5, 5, Accent}, // LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE
{ 0x2903, Infix, 5, 5, Accent}, // RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE
{ 0x2904, Infix, 5, 5, Accent}, // LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE
{ 0x2905, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW FROM BAR
{ 0x2906, Infix, 5, 5, Accent}, // LEFTWARDS DOUBLE ARROW FROM BAR
{ 0x2907, Infix, 5, 5, Accent}, // RIGHTWARDS DOUBLE ARROW FROM BAR
{ 0x2908, Infix, 5, 5, 0}, // DOWNWARDS ARROW WITH HORIZONTAL STROKE
{ 0x2909, Infix, 5, 5, 0}, // UPWARDS ARROW WITH HORIZONTAL STROKE
{ 0x290A, Infix, 5, 5, Stretchy}, // UPWARDS TRIPLE ARROW
{ 0x290B, Infix, 5, 5, Stretchy}, // DOWNWARDS TRIPLE ARROW
{ 0x290C, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS DOUBLE DASH ARROW
{ 0x290D, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS DOUBLE DASH ARROW
{ 0x290E, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS TRIPLE DASH ARROW
{ 0x290F, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS TRIPLE DASH ARROW
{ 0x2910, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW
{ 0x2911, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH DOTTED STEM
{ 0x2912, Infix, 5, 5, Stretchy}, // UPWARDS ARROW TO BAR
{ 0x2913, Infix, 5, 5, Stretchy}, // DOWNWARDS ARROW TO BAR
{ 0x2914, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE
{ 0x2915, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE
{ 0x2916, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW WITH TAIL
{ 0x2917, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE
{ 0x2918, Infix, 5, 5, Accent}, // RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE
{ 0x2919, Infix, 5, 5, Accent}, // LEFTWARDS ARROW-TAIL
{ 0x291A, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW-TAIL
{ 0x291B, Infix, 5, 5, Accent}, // LEFTWARDS DOUBLE ARROW-TAIL
{ 0x291C, Infix, 5, 5, Accent}, // RIGHTWARDS DOUBLE ARROW-TAIL
{ 0x291D, Infix, 5, 5, Accent}, // LEFTWARDS ARROW TO BLACK DIAMOND
{ 0x291E, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW TO BLACK DIAMOND
{ 0x291F, Infix, 5, 5, Accent}, // LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND
{ 0x2920, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND
{ 0x2921, Infix, 5, 5, Stretchy}, // NORTH WEST AND SOUTH EAST ARROW
{ 0x2922, Infix, 5, 5, Stretchy}, // NORTH EAST AND SOUTH WEST ARROW
{ 0x2923, Infix, 5, 5, 0}, // NORTH WEST ARROW WITH HOOK
{ 0x2924, Infix, 5, 5, 0}, // NORTH EAST ARROW WITH HOOK
{ 0x2925, Infix, 5, 5, 0}, // SOUTH EAST ARROW WITH HOOK
{ 0x2926, Infix, 5, 5, 0}, // SOUTH WEST ARROW WITH HOOK
{ 0x2927, Infix, 5, 5, 0}, // NORTH WEST ARROW AND NORTH EAST ARROW
{ 0x2928, Infix, 5, 5, 0}, // NORTH EAST ARROW AND SOUTH EAST ARROW
{ 0x2929, Infix, 5, 5, 0}, // SOUTH EAST ARROW AND SOUTH WEST ARROW
{ 0x292A, Infix, 5, 5, 0}, // SOUTH WEST ARROW AND NORTH WEST ARROW
{ 0x292B, Infix, 5, 5, 0}, // RISING DIAGONAL CROSSING FALLING DIAGONAL
{ 0x292C, Infix, 5, 5, 0}, // FALLING DIAGONAL CROSSING RISING DIAGONAL
{ 0x292D, Infix, 5, 5, 0}, // SOUTH EAST ARROW CROSSING NORTH EAST ARROW
{ 0x292E, Infix, 5, 5, 0}, // NORTH EAST ARROW CROSSING SOUTH EAST ARROW
{ 0x292F, Infix, 5, 5, 0}, // FALLING DIAGONAL CROSSING NORTH EAST ARROW
{ 0x2930, Infix, 5, 5, 0}, // RISING DIAGONAL CROSSING SOUTH EAST ARROW
{ 0x2931, Infix, 5, 5, 0}, // NORTH EAST ARROW CROSSING NORTH WEST ARROW
{ 0x2932, Infix, 5, 5, 0}, // NORTH WEST ARROW CROSSING NORTH EAST ARROW
{ 0x2933, Infix, 5, 5, Accent}, // WAVE ARROW POINTING DIRECTLY RIGHT
{ 0x2934, Infix, 5, 5, 0}, // ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS
{ 0x2935, Infix, 5, 5, 0}, // ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS
{ 0x2936, Infix, 5, 5, 0}, // ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
{ 0x2937, Infix, 5, 5, 0}, // ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS
{ 0x2938, Infix, 5, 5, 0}, // RIGHT-SIDE ARC CLOCKWISE ARROW
{ 0x2939, Infix, 5, 5, 0}, // LEFT-SIDE ARC ANTICLOCKWISE ARROW
{ 0x293A, Infix, 5, 5, Accent}, // TOP ARC ANTICLOCKWISE ARROW
{ 0x293B, Infix, 5, 5, Accent}, // BOTTOM ARC ANTICLOCKWISE ARROW
{ 0x293C, Infix, 5, 5, Accent}, // TOP ARC CLOCKWISE ARROW WITH MINUS
{ 0x293D, Infix, 5, 5, Accent}, // TOP ARC ANTICLOCKWISE ARROW WITH PLUS
{ 0x293E, Infix, 5, 5, 0}, // LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW
{ 0x293F, Infix, 5, 5, 0}, // LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW
{ 0x2940, Infix, 5, 5, 0}, // ANTICLOCKWISE CLOSED CIRCLE ARROW
{ 0x2941, Infix, 5, 5, 0}, // CLOCKWISE CLOSED CIRCLE ARROW
{ 0x2942, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW ABOVE SHORT LEFTWARDS ARROW
{ 0x2943, Infix, 5, 5, Accent}, // LEFTWARDS ARROW ABOVE SHORT RIGHTWARDS ARROW
{ 0x2944, Infix, 5, 5, Accent}, // SHORT RIGHTWARDS ARROW ABOVE LEFTWARDS ARROW
{ 0x2945, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW WITH PLUS BELOW
{ 0x2946, Infix, 5, 5, Accent}, // LEFTWARDS ARROW WITH PLUS BELOW
{ 0x2947, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW THROUGH X
{ 0x2948, Infix, 5, 5, Accent}, // LEFT RIGHT ARROW THROUGH SMALL CIRCLE
{ 0x2949, Infix, 5, 5, 0}, // UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE
{ 0x294A, Infix, 5, 5, Accent}, // LEFT BARB UP RIGHT BARB DOWN HARPOON
{ 0x294B, Infix, 5, 5, Accent}, // LEFT BARB DOWN RIGHT BARB UP HARPOON
{ 0x294C, Infix, 5, 5, 0}, // UP BARB RIGHT DOWN BARB LEFT HARPOON
{ 0x294D, Infix, 5, 5, 0}, // UP BARB LEFT DOWN BARB RIGHT HARPOON
{ 0x294E, Infix, 5, 5, Stretchy | Accent}, // LEFT BARB UP RIGHT BARB UP HARPOON
{ 0x294F, Infix, 5, 5, Stretchy}, // UP BARB RIGHT DOWN BARB RIGHT HARPOON
{ 0x2950, Infix, 5, 5, Stretchy | Accent}, // LEFT BARB DOWN RIGHT BARB DOWN HARPOON
{ 0x2951, Infix, 5, 5, Stretchy}, // UP BARB LEFT DOWN BARB LEFT HARPOON
{ 0x2952, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON WITH BARB UP TO BAR
{ 0x2953, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON WITH BARB UP TO BAR
{ 0x2954, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB RIGHT TO BAR
{ 0x2955, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB RIGHT TO BAR
{ 0x2956, Infix, 5, 5, Stretchy}, // LEFTWARDS HARPOON WITH BARB DOWN TO BAR
{ 0x2957, Infix, 5, 5, Stretchy}, // RIGHTWARDS HARPOON WITH BARB DOWN TO BAR
{ 0x2958, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB LEFT TO BAR
{ 0x2959, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB LEFT TO BAR
{ 0x295A, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON WITH BARB UP FROM BAR
{ 0x295B, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON WITH BARB UP FROM BAR
{ 0x295C, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB RIGHT FROM BAR
{ 0x295D, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR
{ 0x295E, Infix, 5, 5, Stretchy | Accent}, // LEFTWARDS HARPOON WITH BARB DOWN FROM BAR
{ 0x295F, Infix, 5, 5, Stretchy | Accent}, // RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR
{ 0x2960, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB LEFT FROM BAR
{ 0x2961, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB LEFT FROM BAR
{ 0x2962, Infix, 5, 5, Accent}, // LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN
{ 0x2963, Infix, 5, 5, 0}, // UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
{ 0x2964, Infix, 5, 5, Accent}, // RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN
{ 0x2965, Infix, 5, 5, 0}, // DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
{ 0x2966, Infix, 5, 5, Accent}, // LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP
{ 0x2967, Infix, 5, 5, Accent}, // LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN
{ 0x2968, Infix, 5, 5, Accent}, // RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP
{ 0x2969, Infix, 5, 5, Accent}, // RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN
{ 0x296A, Infix, 5, 5, Accent}, // LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
{ 0x296B, Infix, 5, 5, Accent}, // LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
{ 0x296C, Infix, 5, 5, Accent}, // RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
{ 0x296D, Infix, 5, 5, Accent}, // RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
{ 0x296E, Infix, 5, 5, Stretchy}, // UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
{ 0x296F, Infix, 5, 5, Stretchy}, // DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
{ 0x2970, Infix, 5, 5, Accent}, // RIGHT DOUBLE ARROW WITH ROUNDED HEAD
{ 0x2971, Infix, 5, 5, Accent}, // EQUALS SIGN ABOVE RIGHTWARDS ARROW
{ 0x2972, Infix, 5, 5, Accent}, // TILDE OPERATOR ABOVE RIGHTWARDS ARROW
{ 0x2973, Infix, 5, 5, Accent}, // LEFTWARDS ARROW ABOVE TILDE OPERATOR
{ 0x2974, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW ABOVE TILDE OPERATOR
{ 0x2975, Infix, 5, 5, Accent}, // RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO
{ 0x2976, Infix, 5, 5, Accent}, // LESS-THAN ABOVE LEFTWARDS ARROW
{ 0x2977, Infix, 5, 5, Accent}, // LEFTWARDS ARROW THROUGH LESS-THAN
{ 0x2978, Infix, 5, 5, Accent}, // GREATER-THAN ABOVE RIGHTWARDS ARROW
{ 0x2979, Infix, 5, 5, Accent}, // SUBSET ABOVE RIGHTWARDS ARROW
{ 0x297A, Infix, 5, 5, Accent}, // LEFTWARDS ARROW THROUGH SUBSET
{ 0x297B, Infix, 5, 5, Accent}, // SUPERSET ABOVE LEFTWARDS ARROW
{ 0x297C, Infix, 5, 5, Accent}, // LEFT FISH TAIL
{ 0x297D, Infix, 5, 5, Accent}, // RIGHT FISH TAIL
{ 0x297E, Infix, 5, 5, 0}, // UP FISH TAIL
{ 0x297F, Infix, 5, 5, 0}, // DOWN FISH TAIL
{ 0x2980, Prefix, 0, 0, Fence | Stretchy}, // TRIPLE VERTICAL BAR DELIMITER
{ 0x2980, Postfix, 0, 0, Fence | Stretchy}, // TRIPLE VERTICAL BAR DELIMITER
{ 0x2981, Infix, 3, 3, 0}, // Z NOTATION SPOT
{ 0x2982, Infix, 3, 3, 0}, // Z NOTATION TYPE COLON
{ 0x2983, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT WHITE CURLY BRACKET
{ 0x2984, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT WHITE CURLY BRACKET
{ 0x2985, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT WHITE PARENTHESIS
{ 0x2986, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT WHITE PARENTHESIS
{ 0x2987, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // Z NOTATION LEFT IMAGE BRACKET
{ 0x2988, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // Z NOTATION RIGHT IMAGE BRACKET
{ 0x2989, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // Z NOTATION LEFT BINDING BRACKET
{ 0x298A, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // Z NOTATION RIGHT BINDING BRACKET
{ 0x298B, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT SQUARE BRACKET WITH UNDERBAR
{ 0x298C, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT SQUARE BRACKET WITH UNDERBAR
{ 0x298D, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT SQUARE BRACKET WITH TICK IN TOP CORNER
{ 0x298E, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT SQUARE BRACKET WITH TICK IN BOTTOM CORNER
{ 0x298F, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT SQUARE BRACKET WITH TICK IN BOTTOM CORNER
{ 0x2990, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT SQUARE BRACKET WITH TICK IN TOP CORNER
{ 0x2991, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT ANGLE BRACKET WITH DOT
{ 0x2992, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT ANGLE BRACKET WITH DOT
{ 0x2993, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT ARC LESS-THAN BRACKET
{ 0x2994, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT ARC GREATER-THAN BRACKET
{ 0x2995, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // DOUBLE LEFT ARC GREATER-THAN BRACKET
{ 0x2996, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // DOUBLE RIGHT ARC LESS-THAN BRACKET
{ 0x2997, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT BLACK TORTOISE SHELL BRACKET
{ 0x2998, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT BLACK TORTOISE SHELL BRACKET
{ 0x2999, Infix, 3, 3, 0}, // DOTTED FENCE
{ 0x299A, Infix, 3, 3, 0}, // VERTICAL ZIGZAG LINE
{ 0x299B, Infix, 3, 3, 0}, // MEASURED ANGLE OPENING LEFT
{ 0x299C, Infix, 3, 3, 0}, // RIGHT ANGLE VARIANT WITH SQUARE
{ 0x299D, Infix, 3, 3, 0}, // MEASURED RIGHT ANGLE WITH DOT
{ 0x299E, Infix, 3, 3, 0}, // ANGLE WITH S INSIDE
{ 0x299F, Infix, 3, 3, 0}, // ACUTE ANGLE
{ 0x29A0, Infix, 3, 3, 0}, // SPHERICAL ANGLE OPENING LEFT
{ 0x29A1, Infix, 3, 3, 0}, // SPHERICAL ANGLE OPENING UP
{ 0x29A2, Infix, 3, 3, 0}, // TURNED ANGLE
{ 0x29A3, Infix, 3, 3, 0}, // REVERSED ANGLE
{ 0x29A4, Infix, 3, 3, 0}, // ANGLE WITH UNDERBAR
{ 0x29A5, Infix, 3, 3, 0}, // REVERSED ANGLE WITH UNDERBAR
{ 0x29A6, Infix, 3, 3, 0}, // OBLIQUE ANGLE OPENING UP
{ 0x29A7, Infix, 3, 3, 0}, // OBLIQUE ANGLE OPENING DOWN
{ 0x29A8, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND RIGHT
{ 0x29A9, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND LEFT
{ 0x29AA, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND RIGHT
{ 0x29AB, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND LEFT
{ 0x29AC, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND UP
{ 0x29AD, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND UP
{ 0x29AE, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND DOWN
{ 0x29AF, Infix, 3, 3, 0}, // MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND DOWN
{ 0x29B0, Infix, 3, 3, 0}, // REVERSED EMPTY SET
{ 0x29B1, Infix, 3, 3, 0}, // EMPTY SET WITH OVERBAR
{ 0x29B2, Infix, 3, 3, 0}, // EMPTY SET WITH SMALL CIRCLE ABOVE
{ 0x29B3, Infix, 3, 3, 0}, // EMPTY SET WITH RIGHT ARROW ABOVE
{ 0x29B4, Infix, 3, 3, 0}, // EMPTY SET WITH LEFT ARROW ABOVE
{ 0x29B5, Infix, 3, 3, 0}, // CIRCLE WITH HORIZONTAL BAR
{ 0x29B6, Infix, 4, 4, 0}, // CIRCLED VERTICAL BAR
{ 0x29B7, Infix, 4, 4, 0}, // CIRCLED PARALLEL
{ 0x29B8, Infix, 4, 4, 0}, // CIRCLED REVERSE SOLIDUS
{ 0x29B9, Infix, 4, 4, 0}, // CIRCLED PERPENDICULAR
{ 0x29BA, Infix, 4, 4, 0}, // CIRCLE DIVIDED BY HORIZONTAL BAR AND TOP HALF DIVIDED BY VERTICAL BAR
{ 0x29BB, Infix, 4, 4, 0}, // CIRCLE WITH SUPERIMPOSED X
{ 0x29BC, Infix, 4, 4, 0}, // CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN
{ 0x29BD, Infix, 4, 4, 0}, // UP ARROW THROUGH CIRCLE
{ 0x29BE, Infix, 4, 4, 0}, // CIRCLED WHITE BULLET
{ 0x29BF, Infix, 4, 4, 0}, // CIRCLED BULLET
{ 0x29C0, Infix, 5, 5, 0}, // CIRCLED LESS-THAN
{ 0x29C1, Infix, 5, 5, 0}, // CIRCLED GREATER-THAN
{ 0x29C2, Infix, 3, 3, 0}, // CIRCLE WITH SMALL CIRCLE TO THE RIGHT
{ 0x29C3, Infix, 3, 3, 0}, // CIRCLE WITH TWO HORIZONTAL STROKES TO THE RIGHT
{ 0x29C4, Infix, 4, 4, 0}, // SQUARED RISING DIAGONAL SLASH
{ 0x29C5, Infix, 4, 4, 0}, // SQUARED FALLING DIAGONAL SLASH
{ 0x29C6, Infix, 4, 4, 0}, // SQUARED ASTERISK
{ 0x29C7, Infix, 4, 4, 0}, // SQUARED SMALL CIRCLE
{ 0x29C8, Infix, 4, 4, 0}, // SQUARED SQUARE
{ 0x29C9, Infix, 3, 3, 0}, // TWO JOINED SQUARES
{ 0x29CA, Infix, 3, 3, 0}, // TRIANGLE WITH DOT ABOVE
{ 0x29CB, Infix, 3, 3, 0}, // TRIANGLE WITH UNDERBAR
{ 0x29CC, Infix, 3, 3, 0}, // S IN TRIANGLE
{ 0x29CD, Infix, 3, 3, 0}, // TRIANGLE WITH SERIFS AT BOTTOM
{ 0x29CE, Infix, 5, 5, 0}, // RIGHT TRIANGLE ABOVE LEFT TRIANGLE
{ 0x29CF, Infix, 5, 5, 0}, // LEFT TRIANGLE BESIDE VERTICAL BAR
{ 0x29D0, Infix, 5, 5, 0}, // VERTICAL BAR BESIDE RIGHT TRIANGLE
{ 0x29D1, Infix, 5, 5, 0}, // BOWTIE WITH LEFT HALF BLACK
{ 0x29D2, Infix, 5, 5, 0}, // BOWTIE WITH RIGHT HALF BLACK
{ 0x29D3, Infix, 5, 5, 0}, // BLACK BOWTIE
{ 0x29D4, Infix, 5, 5, 0}, // TIMES WITH LEFT HALF BLACK
{ 0x29D5, Infix, 5, 5, 0}, // TIMES WITH RIGHT HALF BLACK
{ 0x29D6, Infix, 4, 4, 0}, // WHITE HOURGLASS
{ 0x29D7, Infix, 4, 4, 0}, // BLACK HOURGLASS
{ 0x29D8, Infix, 3, 3, 0}, // LEFT WIGGLY FENCE
{ 0x29D9, Infix, 3, 3, 0}, // RIGHT WIGGLY FENCE
{ 0x29DB, Infix, 3, 3, 0}, // RIGHT DOUBLE WIGGLY FENCE
{ 0x29DC, Infix, 3, 3, 0}, // INCOMPLETE INFINITY
{ 0x29DD, Infix, 3, 3, 0}, // TIE OVER INFINITY
{ 0x29DE, Infix, 5, 5, 0}, // INFINITY NEGATED WITH VERTICAL BAR
{ 0x29DF, Infix, 3, 3, 0}, // DOUBLE-ENDED MULTIMAP
{ 0x29E0, Infix, 3, 3, 0}, // SQUARE WITH CONTOURED OUTLINE
{ 0x29E1, Infix, 5, 5, 0}, // INCREASES AS
{ 0x29E2, Infix, 4, 4, 0}, // SHUFFLE PRODUCT
{ 0x29E3, Infix, 5, 5, 0}, // EQUALS SIGN AND SLANTED PARALLEL
{ 0x29E4, Infix, 5, 5, 0}, // EQUALS SIGN AND SLANTED PARALLEL WITH TILDE ABOVE
{ 0x29E5, Infix, 5, 5, 0}, // IDENTICAL TO AND SLANTED PARALLEL
{ 0x29E6, Infix, 5, 5, 0}, // GLEICH STARK
{ 0x29E7, Infix, 3, 3, 0}, // THERMODYNAMIC
{ 0x29E8, Infix, 3, 3, 0}, // DOWN-POINTING TRIANGLE WITH LEFT HALF BLACK
{ 0x29E9, Infix, 3, 3, 0}, // DOWN-POINTING TRIANGLE WITH RIGHT HALF BLACK
{ 0x29EA, Infix, 3, 3, 0}, // BLACK DIAMOND WITH DOWN ARROW
{ 0x29EB, Infix, 3, 3, 0}, // BLACK LOZENGE
{ 0x29EC, Infix, 3, 3, 0}, // WHITE CIRCLE WITH DOWN ARROW
{ 0x29ED, Infix, 3, 3, 0}, // BLACK CIRCLE WITH DOWN ARROW
{ 0x29EE, Infix, 3, 3, 0}, // ERROR-BARRED WHITE SQUARE
{ 0x29EF, Infix, 3, 3, 0}, // ERROR-BARRED BLACK SQUARE
{ 0x29F0, Infix, 3, 3, 0}, // ERROR-BARRED WHITE DIAMOND
{ 0x29F1, Infix, 3, 3, 0}, // ERROR-BARRED BLACK DIAMOND
{ 0x29F2, Infix, 3, 3, 0}, // ERROR-BARRED WHITE CIRCLE
{ 0x29F3, Infix, 3, 3, 0}, // ERROR-BARRED BLACK CIRCLE
{ 0x29F4, Infix, 5, 5, 0}, // RULE-DELAYED
{ 0x29F5, Infix, 4, 4, 0}, // REVERSE SOLIDUS OPERATOR
{ 0x29F6, Infix, 4, 4, 0}, // SOLIDUS WITH OVERBAR
{ 0x29F7, Infix, 4, 4, 0}, // REVERSE SOLIDUS WITH HORIZONTAL STROKE
{ 0x29F8, Infix, 3, 3, 0}, // BIG SOLIDUS
{ 0x29F9, Infix, 3, 3, 0}, // BIG REVERSE SOLIDUS
{ 0x29FA, Infix, 3, 3, 0}, // DOUBLE PLUS
{ 0x29FB, Infix, 3, 3, 0}, // TRIPLE PLUS
{ 0x29FC, Prefix, 0, 0, Symmetric | Fence | Stretchy}, // LEFT-POINTING CURVED ANGLE BRACKET
{ 0x29FD, Postfix, 0, 0, Symmetric | Fence | Stretchy}, // RIGHT-POINTING CURVED ANGLE BRACKET
{ 0x29FE, Infix, 4, 4, 0}, // TINY
{ 0x29FF, Infix, 4, 4, 0}, // MINY
{ 0x2A00, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY CIRCLED DOT OPERATOR
{ 0x2A01, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY CIRCLED PLUS OPERATOR
{ 0x2A02, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY CIRCLED TIMES OPERATOR
{ 0x2A03, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY UNION OPERATOR WITH DOT
{ 0x2A04, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY UNION OPERATOR WITH PLUS
{ 0x2A05, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY SQUARE INTERSECTION OPERATOR
{ 0x2A06, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY SQUARE UNION OPERATOR
{ 0x2A07, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // TWO LOGICAL AND OPERATOR
{ 0x2A08, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // TWO LOGICAL OR OPERATOR
{ 0x2A09, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY TIMES OPERATOR
{ 0x2A0A, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // MODULO TWO SUM
{ 0x2A0B, Prefix, 1, 2, Symmetric | LargeOp}, // SUMMATION WITH INTEGRAL
{ 0x2A0C, Prefix, 0, 1, Symmetric | LargeOp}, // QUADRUPLE INTEGRAL OPERATOR
{ 0x2A0D, Prefix, 1, 2, Symmetric | LargeOp}, // FINITE PART INTEGRAL
{ 0x2A0E, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH DOUBLE STROKE
{ 0x2A0F, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL AVERAGE WITH SLASH
{ 0x2A10, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // CIRCULATION FUNCTION
{ 0x2A11, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // ANTICLOCKWISE INTEGRATION
{ 0x2A12, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
{ 0x2A13, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
{ 0x2A14, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // LINE INTEGRATION NOT INCLUDING THE POLE
{ 0x2A15, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL AROUND A POINT OPERATOR
{ 0x2A16, Prefix, 1, 2, Symmetric | LargeOp}, // QUATERNION INTEGRAL OPERATOR
{ 0x2A17, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
{ 0x2A18, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH TIMES SIGN
{ 0x2A19, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH INTERSECTION
{ 0x2A1A, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH UNION
{ 0x2A1B, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH OVERBAR
{ 0x2A1C, Prefix, 1, 2, Symmetric | LargeOp}, // INTEGRAL WITH UNDERBAR
{ 0x2A1D, Infix, 3, 3, 0}, // JOIN
{ 0x2A1E, Infix, 3, 3, 0}, // LARGE LEFT TRIANGLE OPERATOR
{ 0x2A1F, Infix, 3, 3, 0}, // Z NOTATION SCHEMA COMPOSITION
{ 0x2A20, Infix, 3, 3, 0}, // Z NOTATION SCHEMA PIPING
{ 0x2A21, Infix, 3, 3, 0}, // Z NOTATION SCHEMA PROJECTION
{ 0x2A22, Infix, 4, 4, 0}, // PLUS SIGN WITH SMALL CIRCLE ABOVE
{ 0x2A23, Infix, 4, 4, 0}, // PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
{ 0x2A24, Infix, 4, 4, 0}, // PLUS SIGN WITH TILDE ABOVE
{ 0x2A25, Infix, 4, 4, 0}, // PLUS SIGN WITH DOT BELOW
{ 0x2A26, Infix, 4, 4, 0}, // PLUS SIGN WITH TILDE BELOW
{ 0x2A27, Infix, 4, 4, 0}, // PLUS SIGN WITH SUBSCRIPT TWO
{ 0x2A28, Infix, 4, 4, 0}, // PLUS SIGN WITH BLACK TRIANGLE
{ 0x2A29, Infix, 4, 4, 0}, // MINUS SIGN WITH COMMA ABOVE
{ 0x2A2A, Infix, 4, 4, 0}, // MINUS SIGN WITH DOT BELOW
{ 0x2A2B, Infix, 4, 4, 0}, // MINUS SIGN WITH FALLING DOTS
{ 0x2A2C, Infix, 4, 4, 0}, // MINUS SIGN WITH RISING DOTS
{ 0x2A2D, Infix, 4, 4, 0}, // PLUS SIGN IN LEFT HALF CIRCLE
{ 0x2A2E, Infix, 4, 4, 0}, // PLUS SIGN IN RIGHT HALF CIRCLE
{ 0x2A2F, Infix, 4, 4, 0}, // VECTOR OR CROSS PRODUCT
{ 0x2A30, Infix, 4, 4, 0}, // MULTIPLICATION SIGN WITH DOT ABOVE
{ 0x2A31, Infix, 4, 4, 0}, // MULTIPLICATION SIGN WITH UNDERBAR
{ 0x2A32, Infix, 4, 4, 0}, // SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
{ 0x2A33, Infix, 4, 4, 0}, // SMASH PRODUCT
{ 0x2A34, Infix, 4, 4, 0}, // MULTIPLICATION SIGN IN LEFT HALF CIRCLE
{ 0x2A35, Infix, 4, 4, 0}, // MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
{ 0x2A36, Infix, 4, 4, 0}, // CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
{ 0x2A37, Infix, 4, 4, 0}, // MULTIPLICATION SIGN IN DOUBLE CIRCLE
{ 0x2A38, Infix, 4, 4, 0}, // CIRCLED DIVISION SIGN
{ 0x2A39, Infix, 4, 4, 0}, // PLUS SIGN IN TRIANGLE
{ 0x2A3A, Infix, 4, 4, 0}, // MINUS SIGN IN TRIANGLE
{ 0x2A3B, Infix, 4, 4, 0}, // MULTIPLICATION SIGN IN TRIANGLE
{ 0x2A3C, Infix, 4, 4, 0}, // INTERIOR PRODUCT
{ 0x2A3D, Infix, 4, 4, 0}, // RIGHTHAND INTERIOR PRODUCT
{ 0x2A3E, Infix, 4, 4, 0}, // Z NOTATION RELATIONAL COMPOSITION
{ 0x2A3F, Infix, 4, 4, 0}, // AMALGAMATION OR COPRODUCT
{ 0x2A40, Infix, 4, 4, 0}, // INTERSECTION WITH DOT
{ 0x2A41, Infix, 4, 4, 0}, // UNION WITH MINUS SIGN
{ 0x2A42, Infix, 4, 4, 0}, // UNION WITH OVERBAR
{ 0x2A43, Infix, 4, 4, 0}, // INTERSECTION WITH OVERBAR
{ 0x2A44, Infix, 4, 4, 0}, // INTERSECTION WITH LOGICAL AND
{ 0x2A45, Infix, 4, 4, 0}, // UNION WITH LOGICAL OR
{ 0x2A46, Infix, 4, 4, 0}, // UNION ABOVE INTERSECTION
{ 0x2A47, Infix, 4, 4, 0}, // INTERSECTION ABOVE UNION
{ 0x2A48, Infix, 4, 4, 0}, // UNION ABOVE BAR ABOVE INTERSECTION
{ 0x2A49, Infix, 4, 4, 0}, // INTERSECTION ABOVE BAR ABOVE UNION
{ 0x2A4A, Infix, 4, 4, 0}, // UNION BESIDE AND JOINED WITH UNION
{ 0x2A4B, Infix, 4, 4, 0}, // INTERSECTION BESIDE AND JOINED WITH INTERSECTION
{ 0x2A4C, Infix, 4, 4, 0}, // CLOSED UNION WITH SERIFS
{ 0x2A4D, Infix, 4, 4, 0}, // CLOSED INTERSECTION WITH SERIFS
{ 0x2A4E, Infix, 4, 4, 0}, // DOUBLE SQUARE INTERSECTION
{ 0x2A4F, Infix, 4, 4, 0}, // DOUBLE SQUARE UNION
{ 0x2A50, Infix, 4, 4, 0}, // CLOSED UNION WITH SERIFS AND SMASH PRODUCT
{ 0x2A51, Infix, 4, 4, 0}, // LOGICAL AND WITH DOT ABOVE
{ 0x2A52, Infix, 4, 4, 0}, // LOGICAL OR WITH DOT ABOVE
{ 0x2A53, Infix, 4, 4, 0}, // DOUBLE LOGICAL AND
{ 0x2A54, Infix, 4, 4, 0}, // DOUBLE LOGICAL OR
{ 0x2A55, Infix, 4, 4, 0}, // TWO INTERSECTING LOGICAL AND
{ 0x2A56, Infix, 4, 4, 0}, // TWO INTERSECTING LOGICAL OR
{ 0x2A57, Infix, 4, 4, 0}, // SLOPING LARGE OR
{ 0x2A58, Infix, 4, 4, 0}, // SLOPING LARGE AND
{ 0x2A59, Infix, 5, 5, 0}, // LOGICAL OR OVERLAPPING LOGICAL AND
{ 0x2A5A, Infix, 4, 4, 0}, // LOGICAL AND WITH MIDDLE STEM
{ 0x2A5B, Infix, 4, 4, 0}, // LOGICAL OR WITH MIDDLE STEM
{ 0x2A5C, Infix, 4, 4, 0}, // LOGICAL AND WITH HORIZONTAL DASH
{ 0x2A5D, Infix, 4, 4, 0}, // LOGICAL OR WITH HORIZONTAL DASH
{ 0x2A5E, Infix, 4, 4, 0}, // LOGICAL AND WITH DOUBLE OVERBAR
{ 0x2A5F, Infix, 4, 4, 0}, // LOGICAL AND WITH UNDERBAR
{ 0x2A60, Infix, 4, 4, 0}, // LOGICAL AND WITH DOUBLE UNDERBAR
{ 0x2A61, Infix, 4, 4, 0}, // SMALL VEE WITH UNDERBAR
{ 0x2A62, Infix, 4, 4, 0}, // LOGICAL OR WITH DOUBLE OVERBAR
{ 0x2A63, Infix, 4, 4, 0}, // LOGICAL OR WITH DOUBLE UNDERBAR
{ 0x2A64, Infix, 4, 4, 0}, // Z NOTATION DOMAIN ANTIRESTRICTION
{ 0x2A65, Infix, 4, 4, 0}, // Z NOTATION RANGE ANTIRESTRICTION
{ 0x2A66, Infix, 5, 5, 0}, // EQUALS SIGN WITH DOT BELOW
{ 0x2A67, Infix, 5, 5, 0}, // IDENTICAL WITH DOT ABOVE
{ 0x2A68, Infix, 5, 5, 0}, // TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
{ 0x2A69, Infix, 5, 5, 0}, // TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
{ 0x2A6A, Infix, 5, 5, 0}, // TILDE OPERATOR WITH DOT ABOVE
{ 0x2A6B, Infix, 5, 5, 0}, // TILDE OPERATOR WITH RISING DOTS
{ 0x2A6C, Infix, 5, 5, 0}, // SIMILAR MINUS SIMILAR
{ 0x2A6D, Infix, 5, 5, 0}, // CONGRUENT WITH DOT ABOVE
{ 0x2A6E, Infix, 5, 5, 0}, // EQUALS WITH ASTERISK
{ 0x2A6F, Infix, 5, 5, 0}, // ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
{ 0x2A70, Infix, 5, 5, 0}, // APPROXIMATELY EQUAL OR EQUAL TO
{ 0x2A71, Infix, 4, 4, 0}, // EQUALS SIGN ABOVE PLUS SIGN
{ 0x2A72, Infix, 4, 4, 0}, // PLUS SIGN ABOVE EQUALS SIGN
{ 0x2A73, Infix, 5, 5, 0}, // EQUALS SIGN ABOVE TILDE OPERATOR
{ 0x2A74, Infix, 5, 5, 0}, // DOUBLE COLON EQUAL
{ 0x2A75, Infix, 5, 5, 0}, // TWO CONSECUTIVE EQUALS SIGNS
{ 0x2A76, Infix, 5, 5, 0}, // THREE CONSECUTIVE EQUALS SIGNS
{ 0x2A77, Infix, 5, 5, 0}, // EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
{ 0x2A78, Infix, 5, 5, 0}, // EQUIVALENT WITH FOUR DOTS ABOVE
{ 0x2A79, Infix, 5, 5, 0}, // LESS-THAN WITH CIRCLE INSIDE
{ 0x2A7A, Infix, 5, 5, 0}, // GREATER-THAN WITH CIRCLE INSIDE
{ 0x2A7B, Infix, 5, 5, 0}, // LESS-THAN WITH QUESTION MARK ABOVE
{ 0x2A7C, Infix, 5, 5, 0}, // GREATER-THAN WITH QUESTION MARK ABOVE
{ 0x2A7D, Infix, 5, 5, 0}, // LESS-THAN OR SLANTED EQUAL TO
{ 0x2A7E, Infix, 5, 5, 0}, // GREATER-THAN OR SLANTED EQUAL TO
{ 0x2A7F, Infix, 5, 5, 0}, // LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
{ 0x2A80, Infix, 5, 5, 0}, // GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
{ 0x2A81, Infix, 5, 5, 0}, // LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
{ 0x2A82, Infix, 5, 5, 0}, // GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
{ 0x2A83, Infix, 5, 5, 0}, // LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
{ 0x2A84, Infix, 5, 5, 0}, // GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
{ 0x2A85, Infix, 5, 5, 0}, // LESS-THAN OR APPROXIMATE
{ 0x2A86, Infix, 5, 5, 0}, // GREATER-THAN OR APPROXIMATE
{ 0x2A87, Infix, 5, 5, 0}, // LESS-THAN AND SINGLE-LINE NOT EQUAL TO
{ 0x2A88, Infix, 5, 5, 0}, // GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
{ 0x2A89, Infix, 5, 5, 0}, // LESS-THAN AND NOT APPROXIMATE
{ 0x2A8A, Infix, 5, 5, 0}, // GREATER-THAN AND NOT APPROXIMATE
{ 0x2A8B, Infix, 5, 5, 0}, // LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
{ 0x2A8C, Infix, 5, 5, 0}, // GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
{ 0x2A8D, Infix, 5, 5, 0}, // LESS-THAN ABOVE SIMILAR OR EQUAL
{ 0x2A8E, Infix, 5, 5, 0}, // GREATER-THAN ABOVE SIMILAR OR EQUAL
{ 0x2A8F, Infix, 5, 5, 0}, // LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
{ 0x2A90, Infix, 5, 5, 0}, // GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
{ 0x2A91, Infix, 5, 5, 0}, // LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
{ 0x2A92, Infix, 5, 5, 0}, // GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
{ 0x2A93, Infix, 5, 5, 0}, // LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
{ 0x2A94, Infix, 5, 5, 0}, // GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
{ 0x2A95, Infix, 5, 5, 0}, // SLANTED EQUAL TO OR LESS-THAN
{ 0x2A96, Infix, 5, 5, 0}, // SLANTED EQUAL TO OR GREATER-THAN
{ 0x2A97, Infix, 5, 5, 0}, // SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
{ 0x2A98, Infix, 5, 5, 0}, // SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
{ 0x2A99, Infix, 5, 5, 0}, // DOUBLE-LINE EQUAL TO OR LESS-THAN
{ 0x2A9A, Infix, 5, 5, 0}, // DOUBLE-LINE EQUAL TO OR GREATER-THAN
{ 0x2A9B, Infix, 5, 5, 0}, // DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
{ 0x2A9C, Infix, 5, 5, 0}, // DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
{ 0x2A9D, Infix, 5, 5, 0}, // SIMILAR OR LESS-THAN
{ 0x2A9E, Infix, 5, 5, 0}, // SIMILAR OR GREATER-THAN
{ 0x2A9F, Infix, 5, 5, 0}, // SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
{ 0x2AA0, Infix, 5, 5, 0}, // SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
{ 0x2AA1, Infix, 5, 5, 0}, // DOUBLE NESTED LESS-THAN
{ 0x2AA2, Infix, 5, 5, 0}, // DOUBLE NESTED GREATER-THAN
{ 0x2AA3, Infix, 5, 5, 0}, // DOUBLE NESTED LESS-THAN WITH UNDERBAR
{ 0x2AA4, Infix, 5, 5, 0}, // GREATER-THAN OVERLAPPING LESS-THAN
{ 0x2AA5, Infix, 5, 5, 0}, // GREATER-THAN BESIDE LESS-THAN
{ 0x2AA6, Infix, 5, 5, 0}, // LESS-THAN CLOSED BY CURVE
{ 0x2AA7, Infix, 5, 5, 0}, // GREATER-THAN CLOSED BY CURVE
{ 0x2AA8, Infix, 5, 5, 0}, // LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
{ 0x2AA9, Infix, 5, 5, 0}, // GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
{ 0x2AAA, Infix, 5, 5, 0}, // SMALLER THAN
{ 0x2AAB, Infix, 5, 5, 0}, // LARGER THAN
{ 0x2AAC, Infix, 5, 5, 0}, // SMALLER THAN OR EQUAL TO
{ 0x2AAD, Infix, 5, 5, 0}, // LARGER THAN OR EQUAL TO
{ 0x2AAE, Infix, 5, 5, 0}, // EQUALS SIGN WITH BUMPY ABOVE
{ 0x2AAF, Infix, 5, 5, 0}, // PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
{ 0x2AB0, Infix, 5, 5, 0}, // SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
{ 0x2AB1, Infix, 5, 5, 0}, // PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
{ 0x2AB2, Infix, 5, 5, 0}, // SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO
{ 0x2AB3, Infix, 5, 5, 0}, // PRECEDES ABOVE EQUALS SIGN
{ 0x2AB4, Infix, 5, 5, 0}, // SUCCEEDS ABOVE EQUALS SIGN
{ 0x2AB5, Infix, 5, 5, 0}, // PRECEDES ABOVE NOT EQUAL TO
{ 0x2AB6, Infix, 5, 5, 0}, // SUCCEEDS ABOVE NOT EQUAL TO
{ 0x2AB7, Infix, 5, 5, 0}, // PRECEDES ABOVE ALMOST EQUAL TO
{ 0x2AB8, Infix, 5, 5, 0}, // SUCCEEDS ABOVE ALMOST EQUAL TO
{ 0x2AB9, Infix, 5, 5, 0}, // PRECEDES ABOVE NOT ALMOST EQUAL TO
{ 0x2ABA, Infix, 5, 5, 0}, // SUCCEEDS ABOVE NOT ALMOST EQUAL TO
{ 0x2ABB, Infix, 5, 5, 0}, // DOUBLE PRECEDES
{ 0x2ABC, Infix, 5, 5, 0}, // DOUBLE SUCCEEDS
{ 0x2ABD, Infix, 5, 5, 0}, // SUBSET WITH DOT
{ 0x2ABE, Infix, 5, 5, 0}, // SUPERSET WITH DOT
{ 0x2ABF, Infix, 5, 5, 0}, // SUBSET WITH PLUS SIGN BELOW
{ 0x2AC0, Infix, 5, 5, 0}, // SUPERSET WITH PLUS SIGN BELOW
{ 0x2AC1, Infix, 5, 5, 0}, // SUBSET WITH MULTIPLICATION SIGN BELOW
{ 0x2AC2, Infix, 5, 5, 0}, // SUPERSET WITH MULTIPLICATION SIGN BELOW
{ 0x2AC3, Infix, 5, 5, 0}, // SUBSET OF OR EQUAL TO WITH DOT ABOVE
{ 0x2AC4, Infix, 5, 5, 0}, // SUPERSET OF OR EQUAL TO WITH DOT ABOVE
{ 0x2AC5, Infix, 5, 5, 0}, // SUBSET OF ABOVE EQUALS SIGN
{ 0x2AC6, Infix, 5, 5, 0}, // SUPERSET OF ABOVE EQUALS SIGN
{ 0x2AC7, Infix, 5, 5, 0}, // SUBSET OF ABOVE TILDE OPERATOR
{ 0x2AC8, Infix, 5, 5, 0}, // SUPERSET OF ABOVE TILDE OPERATOR
{ 0x2AC9, Infix, 5, 5, 0}, // SUBSET OF ABOVE ALMOST EQUAL TO
{ 0x2ACA, Infix, 5, 5, 0}, // SUPERSET OF ABOVE ALMOST EQUAL TO
{ 0x2ACB, Infix, 5, 5, 0}, // SUBSET OF ABOVE NOT EQUAL TO
{ 0x2ACC, Infix, 5, 5, 0}, // SUPERSET OF ABOVE NOT EQUAL TO
{ 0x2ACD, Infix, 5, 5, 0}, // SQUARE LEFT OPEN BOX OPERATOR
{ 0x2ACE, Infix, 5, 5, 0}, // SQUARE RIGHT OPEN BOX OPERATOR
{ 0x2ACF, Infix, 5, 5, 0}, // CLOSED SUBSET
{ 0x2AD0, Infix, 5, 5, 0}, // CLOSED SUPERSET
{ 0x2AD1, Infix, 5, 5, 0}, // CLOSED SUBSET OR EQUAL TO
{ 0x2AD2, Infix, 5, 5, 0}, // CLOSED SUPERSET OR EQUAL TO
{ 0x2AD3, Infix, 5, 5, 0}, // SUBSET ABOVE SUPERSET
{ 0x2AD4, Infix, 5, 5, 0}, // SUPERSET ABOVE SUBSET
{ 0x2AD5, Infix, 5, 5, 0}, // SUBSET ABOVE SUBSET
{ 0x2AD6, Infix, 5, 5, 0}, // SUPERSET ABOVE SUPERSET
{ 0x2AD7, Infix, 5, 5, 0}, // SUPERSET BESIDE SUBSET
{ 0x2AD8, Infix, 5, 5, 0}, // SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
{ 0x2AD9, Infix, 5, 5, 0}, // ELEMENT OF OPENING DOWNWARDS
{ 0x2ADA, Infix, 5, 5, 0}, // PITCHFORK WITH TEE TOP
{ 0x2ADB, Infix, 5, 5, 0}, // TRANSVERSAL INTERSECTION
{ 0x2ADD, Infix, 5, 5, 0}, // NONFORKING
{ 0x2ADE, Infix, 5, 5, 0}, // SHORT LEFT TACK
{ 0x2ADF, Infix, 5, 5, 0}, // SHORT DOWN TACK
{ 0x2AE0, Infix, 5, 5, 0}, // SHORT UP TACK
{ 0x2AE1, Infix, 5, 5, 0}, // PERPENDICULAR WITH S
{ 0x2AE2, Infix, 5, 5, 0}, // VERTICAL BAR TRIPLE RIGHT TURNSTILE
{ 0x2AE3, Infix, 5, 5, 0}, // DOUBLE VERTICAL BAR LEFT TURNSTILE
{ 0x2AE4, Infix, 5, 5, 0}, // VERTICAL BAR DOUBLE LEFT TURNSTILE
{ 0x2AE5, Infix, 5, 5, 0}, // DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
{ 0x2AE6, Infix, 5, 5, 0}, // LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
{ 0x2AE7, Infix, 5, 5, 0}, // SHORT DOWN TACK WITH OVERBAR
{ 0x2AE8, Infix, 5, 5, 0}, // SHORT UP TACK WITH UNDERBAR
{ 0x2AE9, Infix, 5, 5, 0}, // SHORT UP TACK ABOVE SHORT DOWN TACK
{ 0x2AEA, Infix, 5, 5, 0}, // DOUBLE DOWN TACK
{ 0x2AEB, Infix, 5, 5, 0}, // DOUBLE UP TACK
{ 0x2AEC, Infix, 5, 5, 0}, // DOUBLE STROKE NOT SIGN
{ 0x2AED, Infix, 5, 5, 0}, // REVERSED DOUBLE STROKE NOT SIGN
{ 0x2AEE, Infix, 5, 5, 0}, // DOES NOT DIVIDE WITH REVERSED NEGATION SLASH
{ 0x2AEF, Infix, 5, 5, 0}, // VERTICAL LINE WITH CIRCLE ABOVE
{ 0x2AF0, Infix, 5, 5, 0}, // VERTICAL LINE WITH CIRCLE BELOW
{ 0x2AF1, Infix, 5, 5, 0}, // DOWN TACK WITH CIRCLE BELOW
{ 0x2AF2, Infix, 5, 5, 0}, // PARALLEL WITH HORIZONTAL STROKE
{ 0x2AF3, Infix, 5, 5, 0}, // PARALLEL WITH TILDE OPERATOR
{ 0x2AF4, Infix, 4, 4, 0}, // TRIPLE VERTICAL BAR BINARY RELATION
{ 0x2AF5, Infix, 4, 4, 0}, // TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
{ 0x2AF6, Infix, 4, 4, 0}, // TRIPLE COLON OPERATOR
{ 0x2AF7, Infix, 5, 5, 0}, // TRIPLE NESTED LESS-THAN
{ 0x2AF8, Infix, 5, 5, 0}, // TRIPLE NESTED GREATER-THAN
{ 0x2AF9, Infix, 5, 5, 0}, // DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
{ 0x2AFA, Infix, 5, 5, 0}, // DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO
{ 0x2AFB, Infix, 4, 4, 0}, // TRIPLE SOLIDUS BINARY RELATION
{ 0x2AFC, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // LARGE TRIPLE VERTICAL BAR OPERATOR
{ 0x2AFD, Infix, 4, 4, 0}, // DOUBLE SOLIDUS OPERATOR
{ 0x2AFE, Infix, 3, 3, 0}, // WHITE VERTICAL BAR
{ 0x2AFF, Prefix, 1, 2, Symmetric | LargeOp | MovableLimits}, // N-ARY WHITE VERTICAL BAR
{ 0x2B45, Infix, 5, 5, Stretchy}, // LEFTWARDS QUADRUPLE ARROW
{ 0x2B46, Infix, 5, 5, Stretchy}, // RIGHTWARDS QUADRUPLE ARROW
{ 0x1EEF0, Prefix, 0, 0, Stretchy}, // ARABIC MATHEMATICAL OPERATOR MEEM WITH HAH WITH TATWEEL
{ 0x1EEF1, Prefix, 0, 0, Stretchy} // ARABIC MATHEMATICAL OPERATOR HAH WITH DAL
};
// A list of operators that stretch in the horizontal direction. This has been generated from Mozilla's MathML operator dictionary.
static inline char32_t ExtractKeyHorizontal(const char32_t* entry) { return *entry; }
static const char32_t horizontalOperators[] = {
0x003D, 0x005E, 0x005F, 0x007E, 0x00AF, 0x02C6, 0x02C7, 0x02C9, 0x02CD, 0x02DC, 0x02F7, 0x0302, 0x0332, 0x203E, 0x20D0, 0x20D1, 0x20D6, 0x20D7, 0x20E1, 0x2190, 0x2192, 0x2194, 0x2198, 0x2199, 0x219C, 0x219D, 0x219E, 0x21A0, 0x21A2, 0x21A3, 0x21A4, 0x21A6, 0x21A9, 0x21AA, 0x21AB, 0x21AC, 0x21AD, 0x21B4, 0x21B9, 0x21BC, 0x21BD, 0x21C0, 0x21C1, 0x21C4, 0x21C6, 0x21C7, 0x21C9, 0x21CB, 0x21CC, 0x21D0, 0x21D2, 0x21D4, 0x21DA, 0x21DB, 0x21DC, 0x21DD, 0x21E0, 0x21E2, 0x21E4, 0x21E5, 0x21E6, 0x21E8, 0x21F0, 0x21F6, 0x21FD, 0x21FE, 0x21FF, 0x23B4, 0x23B5, 0x23DC, 0x23DD, 0x23DE, 0x23DF, 0x23E0, 0x23E1, 0x2500, 0x27F5, 0x27F6, 0x27F7, 0x27F8, 0x27F9, 0x27FA, 0x27FB, 0x27FC, 0x27FD, 0x27FE, 0x27FF, 0x290C, 0x290D, 0x290E, 0x290F, 0x2910, 0x294E, 0x2950, 0x2952, 0x2953, 0x2956, 0x2957, 0x295A, 0x295B, 0x295E, 0x295F, 0x2B45, 0x2B46, 0xFE35, 0xFE36, 0xFE37, 0xFE38, 0x1EEF0, 0x1EEF1
};
WTF_ALLOW_UNSAFE_BUFFER_USAGE_BEGIN
std::optional<Property> MathMLOperatorDictionary::search(char32_t character, Form form, bool explicitForm)
{
if (!character)
return std::nullopt;
// We try and find the default values from the operator dictionary.
if (auto* entry = tryBinarySearch<const Entry, Key>(dictionary, dictionarySize, Key(character, form), ExtractKey))
return ExtractProperty(*entry);
if (explicitForm)
return std::nullopt;
// If we did not find the desired operator form and if it was not set explicitly, we use the first one in the following order: Infix, Prefix, Postfix.
// This is to handle bad MathML markup without explicit <mrow> delimiters like "<mo>(</mo><mi>a</mi><mo>)</mo><mo>(</mo><mi>b</mi><mo>)</mo>" where innerfences should not be considered infix.
if (auto* entry = tryBinarySearch<const Entry, char32_t>(dictionary, dictionarySize, character, ExtractChar)) {
// There are at most two other entries before the one found.
if (entry != dictionary && (entry - 1)->character == character)
entry--;
if (entry != dictionary && (entry - 1)->character == character)
entry--;
return ExtractProperty(*entry);
}
return std::nullopt;
}
WTF_ALLOW_UNSAFE_BUFFER_USAGE_END
bool MathMLOperatorDictionary::isVertical(char32_t textContent)
{
return !tryBinarySearch<const char32_t, char32_t>(horizontalOperators, std::size(horizontalOperators), textContent, ExtractKeyHorizontal);
}
}
#endif // ENABLE(MATHML)
|
