LibreOffice Module starmath (master) 1
mathmlMo.cxx
Go to the documentation of this file.
1/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2/*
3 * This file is part of the LibreOffice project.
4 *
5 * This Source Code Form is subject to the terms of the Mozilla Public
6 * License, v. 2.0. If a copy of the MPL was not distributed with this
7 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 *
9 * This file incorporates work covered by the following license notice:
10 *
11 * Licensed to the Apache Software Foundation (ASF) under one or more
12 * contributor license agreements. See the NOTICE file distributed
13 * with this work for additional information regarding copyright
14 * ownership. The ASF licenses this file to you under the Apache
15 * License, Version 2.0 (the "License"); you may not use this file
16 * except in compliance with the License. You may obtain a copy of
17 * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 */
19
20#include <mathmlMo.hxx>
21
22static moOperatorData moOperatorDataDictionaryData[starmathdatabase::MATHML_MO_COUNT]
23 = { { u"\u2018", moOpDF::prefix, 10, 0, 0, moOpDP::fence | moOpDP::nonedp },
24 { u"\u2019", moOpDF::postfix, 10, 0, 0, moOpDP::fence | moOpDP::nonedp },
25 { u"\u201C", moOpDF::prefix, 10, 0, 0, moOpDP::fence | moOpDP::nonedp },
26 { u"\u201D", moOpDF::postfix, 10, 0, 0, moOpDP::fence | moOpDP::nonedp },
27 { u"(", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
28 { u")", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
29 { u"[", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
30 { u"]", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
31 { u"{", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
32 { u"|", moOpDF::prepostfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
33 { u"||", moOpDF::prepostfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
34 { u"|||", moOpDF::prepostfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
35 { u"}", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
36 { u"\u2016", moOpDF::prepostfix, 20, 0, 0, moOpDP::stretchyfence },
37 { u"\u2308", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
38 { u"\u2309", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
39 { u"\u230A", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
40 { u"\u230B", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
41 { u"\u2329", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
42 { u"\u232A", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
43 { u"\u2772", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
44 { u"\u2773", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
45 { u"\u27E6", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
46 { u"\u27E7", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
47 { u"\u27E8", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
48 { u"\u27E9", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
49 { u"\u27EA", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
50 { u"\u27EB", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
51 { u"\u27EC", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
52 { u"\u27ED", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
53 { u"\u27EE", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
54 { u"\u27EF", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
55 { u"\u2980", moOpDF::prepostfix, 20, 0, 0, moOpDP::stretchyfence },
56 { u"\u2983", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
57 { u"\u2984", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
58 { u"\u2985", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
59 { u"\u2986", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
60 { u"\u2987", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
61 { u"\u2988", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
62 { u"\u2989", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
63 { u"\u298A", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
64 { u"\u298B", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
65 { u"\u298C", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
66 { u"\u298D", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
67 { u"\u298E", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
68 { u"\u298F", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
69 { u"\u2990", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
70 { u"\u2991", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
71 { u"\u2992", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
72 { u"\u2993", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
73 { u"\u2994", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
74 { u"\u2995", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
75 { u"\u2996", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
76 { u"\u2997", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
77 { u"\u2998", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
78 { u"\u29FC", moOpDF::prefix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
79 { u"\u29FD", moOpDF::postfix, 20, 0, 0, moOpDP::stretchyfence | moOpDP::symmetric },
80 { u";", moOpDF::infix, 30, 0, 3, moOpDP::separator | moOpDP::linebreakstyleAfter },
81 { u",", moOpDF::infix, 40, 0, 3, moOpDP::separator | moOpDP::linebreakstyleAfter },
82 { u"\u2063", moOpDF::infix, 40, 0, 0, moOpDP::separator | moOpDP::linebreakstyleAfter },
83 { u"\u2234", moOpDF::infix, 70, 5, 5, moOpDP::nonedp },
84 { u"\u2235", moOpDF::infix, 70, 5, 5, moOpDP::nonedp },
85 { u"->", moOpDF::infix, 90, 5, 5, moOpDP::nonedp },
86 { u"..", moOpDF::postfix, 100, 0, 0, moOpDP::nonedp },
87 { u"...", moOpDF::postfix, 100, 0, 0, moOpDP::nonedp },
88 { u":", moOpDF::infix, 100, 1, 2, moOpDP::nonedp },
89 { u"\u03F6", moOpDF::infix, 110, 5, 5, moOpDP::nonedp },
90 { u"\u2026", moOpDF::infix, 150, 0, 0, moOpDP::nonedp },
91 { u"\u22EE", moOpDF::infix, 150, 5, 5, moOpDP::nonedp },
92 { u"\u22EF", moOpDF::infix, 150, 0, 0, moOpDP::nonedp },
93 { u"\u22F1", moOpDF::infix, 150, 5, 5, moOpDP::nonedp },
94 { u"\u220B", moOpDF::infix, 160, 5, 5, moOpDP::nonedp },
95 { u"\u22A2", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
96 { u"\u22A3", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
97 { u"\u22A4", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
98 { u"\u22A8", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
99 { u"\u22A9", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
100 { u"\u22AC", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
101 { u"\u22AD", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
102 { u"\u22AE", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
103 { u"\u22AF", moOpDF::infix, 170, 5, 5, moOpDP::nonedp },
104 { u"\u2228", moOpDF::infix, 190, 4, 4, moOpDP::nonedp },
105 { u"&&", moOpDF::infix, 200, 4, 4, moOpDP::nonedp },
106 { u"\u2227", moOpDF::infix, 200, 4, 4, moOpDP::nonedp },
107 { u"\u2200", moOpDF::prefix, 230, 2, 1, moOpDP::nonedp },
108 { u"\u2203", moOpDF::prefix, 230, 2, 1, moOpDP::nonedp },
109 { u"\u2204", moOpDF::prefix, 230, 2, 1, moOpDP::nonedp },
110 { u"\u2201", moOpDF::infix, 240, 1, 2, moOpDP::nonedp },
111 { u"\u2208", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
112 { u"\u2209", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
113 { u"\u220C", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
114 { u"\u2282", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
115 { u"\u2282\u20D2", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
116 { u"\u2283", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
117 { u"\u2283\u20D2", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
118 { u"\u2284", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
119 { u"\u2285", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
120 { u"\u2286", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
121 { u"\u2287", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
122 { u"\u2288", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
123 { u"\u2289", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
124 { u"\u228A", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
125 { u"\u228B", moOpDF::infix, 240, 5, 5, moOpDP::nonedp },
126 { u"<=", moOpDF::infix, 241, 5, 5, moOpDP::nonedp },
127 { u"\u2264", moOpDF::infix, 241, 5, 5, moOpDP::nonedp },
128 { u"\u2265", moOpDF::infix, 242, 5, 5, moOpDP::nonedp },
129 { u">", moOpDF::infix, 243, 5, 5, moOpDP::nonedp },
130 { u">=", moOpDF::infix, 243, 5, 5, moOpDP::nonedp },
131 { u"\u226F", moOpDF::infix, 244, 5, 5, moOpDP::nonedp },
132 { u"&lt", moOpDF::infix, 245, 5, 5, moOpDP::nonedp },
133 { u"\u226E", moOpDF::infix, 246, 5, 5, moOpDP::nonedp },
134 { u"\u2248", moOpDF::infix, 247, 5, 5, moOpDP::nonedp },
135 { u"\u223C", moOpDF::infix, 250, 5, 5, moOpDP::nonedp },
136 { u"\u2249", moOpDF::infix, 250, 5, 5, moOpDP::nonedp },
137 { u"\u2262", moOpDF::infix, 252, 5, 5, moOpDP::nonedp },
138 { u"\u2260", moOpDF::infix, 255, 5, 5, moOpDP::nonedp },
139 { u"!=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
140 { u"*=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
141 { u"+=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
142 { u"-=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
143 { u"/=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
144 { u":=", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
145 { u"=", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
146 { u"==", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
147 { u"\u221D", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
148 { u"\u2224", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
149 { u"\u2225", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
150 { u"\u2226", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
151 { u"\u2241", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
152 { u"\u2243", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
153 { u"\u2244", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
154 { u"\u2245", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
155 { u"\u2246", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
156 { u"\u2247", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
157 { u"\u224D", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
158 { u"\u2254", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
159 { u"\u2257", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
160 { u"\u2259", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
161 { u"\u225A", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
162 { u"\u225B", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
163 { u"\u225C", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
164 { u"\u225F", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
165 { u"\u2261", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
166 { u"\u2268", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
167 { u"\u2269", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
168 { u"\u226A", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
169 { u"\u226A\u0338", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
170 { u"\u226B", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
171 { u"\u226B\u0338", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
172 { u"\u226D", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
173 { u"\u2270", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
174 { u"\u2271", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
175 { u"\u227A", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
176 { u"\u227B", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
177 { u"\u227C", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
178 { u"\u227D", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
179 { u"\u2280", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
180 { u"\u2281", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
181 { u"\u22A5", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
182 { u"\u22B4", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
183 { u"\u22B5", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
184 { u"\u22C9", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
185 { u"\u22CA", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
186 { u"\u22CB", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
187 { u"\u22CC", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
188 { u"\u22D4", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
189 { u"\u22D6", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
190 { u"\u22D7", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
191 { u"\u22D8", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
192 { u"\u22D9", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
193 { u"\u22EA", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
194 { u"\u22EB", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
195 { u"\u22EC", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
196 { u"\u22ED", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
197 { u"\u25A0", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
198 { u"\u25A1", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
199 { u"\u25AA", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
200 { u"\u25AB", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
201 { u"\u25AD", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
202 { u"\u25AE", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
203 { u"\u25AF", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
204 { u"\u25B0", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
205 { u"\u25B1", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
206 { u"\u25B3", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
207 { u"\u25B4", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
208 { u"\u25B5", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
209 { u"\u25B6", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
210 { u"\u25B7", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
211 { u"\u25B8", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
212 { u"\u25B9", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
213 { u"\u25BC", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
214 { u"\u25BD", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
215 { u"\u25BE", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
216 { u"\u25BF", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
217 { u"\u25C0", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
218 { u"\u25C1", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
219 { u"\u25C2", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
220 { u"\u25C3", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
221 { u"\u25C4", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
222 { u"\u25C5", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
223 { u"\u25C6", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
224 { u"\u25C7", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
225 { u"\u25C8", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
226 { u"\u25C9", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
227 { u"\u25CC", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
228 { u"\u25CD", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
229 { u"\u25CE", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
230 { u"\u25CF", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
231 { u"\u25D6", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
232 { u"\u25D7", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
233 { u"\u25E6", moOpDF::infix, 260, 4, 4, moOpDP::nonedp },
234 { u"\u29C0", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
235 { u"\u29C1", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
236 { u"\u29E3", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
237 { u"\u29E4", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
238 { u"\u29E5", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
239 { u"\u29E6", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
240 { u"\u29F3", moOpDF::infix, 260, 3, 3, moOpDP::nonedp },
241 { u"\u2A87", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
242 { u"\u2A88", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
243 { u"\u2AAF", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
244 { u"\u2AAF\u0338", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
245 { u"\u2AB0", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
246 { u"\u2AB0\u0338", moOpDF::infix, 260, 5, 5, moOpDP::nonedp },
247 { u"\u2044", moOpDF::infix, 265, 4, 4, moOpDP::stretchy },
248 { u"\u2206", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
249 { u"\u220A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
250 { u"\u220D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
251 { u"\u220E", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
252 { u"\u2215", moOpDF::infix, 265, 4, 4, moOpDP::stretchy },
253 { u"\u2217", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
254 { u"\u2218", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
255 { u"\u2219", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
256 { u"\u221F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
257 { u"\u2223", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
258 { u"\u2236", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
259 { u"\u2237", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
260 { u"\u2238", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
261 { u"\u2239", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
262 { u"\u223A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
263 { u"\u223B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
264 { u"\u223D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
265 { u"\u223D\u0331", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
266 { u"\u223E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
267 { u"\u223F", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
268 { u"\u2242", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
269 { u"\u2242\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
270 { u"\u224A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
271 { u"\u224B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
272 { u"\u224C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
273 { u"\u224E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
274 { u"\u224E\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
275 { u"\u224F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
276 { u"\u224F\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
277 { u"\u2250", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
278 { u"\u2251", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
279 { u"\u2252", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
280 { u"\u2253", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
281 { u"\u2255", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
282 { u"\u2256", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
283 { u"\u2258", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
284 { u"\u225D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
285 { u"\u225E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
286 { u"\u2263", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
287 { u"\u2266", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
288 { u"\u2266\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
289 { u"\u2267", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
290 { u"\u226C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
291 { u"\u2272", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
292 { u"\u2273", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
293 { u"\u2274", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
294 { u"\u2275", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
295 { u"\u2276", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
296 { u"\u2277", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
297 { u"\u2278", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
298 { u"\u2279", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
299 { u"\u227E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
300 { u"\u227F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
301 { u"\u227F\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
302 { u"\u228C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
303 { u"\u228D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
304 { u"\u228E", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
305 { u"\u228F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
306 { u"\u228F\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
307 { u"\u2290", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
308 { u"\u2290\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
309 { u"\u2291", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
310 { u"\u2292", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
311 { u"\u2293", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
312 { u"\u2294", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
313 { u"\u229A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
314 { u"\u229B", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
315 { u"\u229C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
316 { u"\u229D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
317 { u"\u22A6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
318 { u"\u22A7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
319 { u"\u22AA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
320 { u"\u22AB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
321 { u"\u22B0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
322 { u"\u22B1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
323 { u"\u22B2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
324 { u"\u22B3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
325 { u"\u22B6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
326 { u"\u22B7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
327 { u"\u22B9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
328 { u"\u22BA", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
329 { u"\u22BB", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
330 { u"\u22BC", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
331 { u"\u22BD", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
332 { u"\u22BE", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
333 { u"\u22BF", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
334 { u"\u22C4", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
335 { u"\u22C6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
336 { u"\u22C7", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
337 { u"\u22C8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
338 { u"\u22CD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
339 { u"\u22CE", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
340 { u"\u22CF", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
341 { u"\u22D0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
342 { u"\u22D1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
343 { u"\u22D2", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
344 { u"\u22D3", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
345 { u"\u22D5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
346 { u"\u22DA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
347 { u"\u22DB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
348 { u"\u22DC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
349 { u"\u22DD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
350 { u"\u22DE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
351 { u"\u22DF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
352 { u"\u22E0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
353 { u"\u22E1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
354 { u"\u22E2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
355 { u"\u22E3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
356 { u"\u22E4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
357 { u"\u22E5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
358 { u"\u22E6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
359 { u"\u22E7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
360 { u"\u22E8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
361 { u"\u22E9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
362 { u"\u22F0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
363 { u"\u22F2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
364 { u"\u22F3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
365 { u"\u22F4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
366 { u"\u22F5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
367 { u"\u22F6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
368 { u"\u22F7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
369 { u"\u22F8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
370 { u"\u22F9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
371 { u"\u22FA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
372 { u"\u22FB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
373 { u"\u22FC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
374 { u"\u22FD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
375 { u"\u22FE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
376 { u"\u22FF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
377 { u"\u25B2", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
378 { u"\u2758", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
379 { u"\u2981", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
380 { u"\u2982", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
381 { u"\u29A0", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
382 { u"\u29A1", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
383 { u"\u29A2", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
384 { u"\u29A3", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
385 { u"\u29A4", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
386 { u"\u29A5", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
387 { u"\u29A6", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
388 { u"\u29A7", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
389 { u"\u29A8", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
390 { u"\u29A9", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
391 { u"\u29AA", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
392 { u"\u29AB", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
393 { u"\u29AC", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
394 { u"\u29AD", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
395 { u"\u29AE", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
396 { u"\u29AF", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
397 { u"\u29B0", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
398 { u"\u29B1", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
399 { u"\u29B2", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
400 { u"\u29B3", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
401 { u"\u29B4", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
402 { u"\u29B5", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
403 { u"\u29B6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
404 { u"\u29B7", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
405 { u"\u29B8", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
406 { u"\u29B9", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
407 { u"\u29BA", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
408 { u"\u29BB", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
409 { u"\u29BC", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
410 { u"\u29BD", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
411 { u"\u29BE", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
412 { u"\u29BF", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
413 { u"\u29C2", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
414 { u"\u29C3", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
415 { u"\u29C4", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
416 { u"\u29C5", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
417 { u"\u29C6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
418 { u"\u29C7", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
419 { u"\u29C8", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
420 { u"\u29C9", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
421 { u"\u29CA", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
422 { u"\u29CB", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
423 { u"\u29CC", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
424 { u"\u29CD", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
425 { u"\u29CE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
426 { u"\u29CF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
427 { u"\u29CF\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
428 { u"\u29D0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
429 { u"\u29D0\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
430 { u"\u29D1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
431 { u"\u29D2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
432 { u"\u29D3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
433 { u"\u29D4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
434 { u"\u29D5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
435 { u"\u29D6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
436 { u"\u29D7", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
437 { u"\u29D8", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
438 { u"\u29D9", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
439 { u"\u29DB", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
440 { u"\u29DC", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
441 { u"\u29DD", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
442 { u"\u29DE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
443 { u"\u29E0", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
444 { u"\u29E1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
445 { u"\u29E2", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
446 { u"\u29E7", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
447 { u"\u29E8", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
448 { u"\u29E9", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
449 { u"\u29EA", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
450 { u"\u29EB", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
451 { u"\u29EC", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
452 { u"\u29ED", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
453 { u"\u29EE", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
454 { u"\u29F0", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
455 { u"\u29F1", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
456 { u"\u29F2", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
457 { u"\u29F5", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
458 { u"\u29F6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
459 { u"\u29F7", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
460 { u"\u29F8", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
461 { u"\u29F9", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
462 { u"\u29FA", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
463 { u"\u29FB", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
464 { u"\u29FE", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
465 { u"\u29FF", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
466 { u"\u2A1D", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
467 { u"\u2A1E", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
468 { u"\u2A1F", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
469 { u"\u2A20", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
470 { u"\u2A21", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
471 { u"\u2A22", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
472 { u"\u2A23", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
473 { u"\u2A24", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
474 { u"\u2A25", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
475 { u"\u2A26", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
476 { u"\u2A27", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
477 { u"\u2A28", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
478 { u"\u2A29", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
479 { u"\u2A2A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
480 { u"\u2A2B", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
481 { u"\u2A2C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
482 { u"\u2A2D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
483 { u"\u2A2E", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
484 { u"\u2A30", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
485 { u"\u2A31", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
486 { u"\u2A32", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
487 { u"\u2A33", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
488 { u"\u2A34", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
489 { u"\u2A35", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
490 { u"\u2A36", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
491 { u"\u2A37", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
492 { u"\u2A38", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
493 { u"\u2A39", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
494 { u"\u2A3A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
495 { u"\u2A3B", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
496 { u"\u2A3C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
497 { u"\u2A3D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
498 { u"\u2A3E", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
499 { u"\u2A40", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
500 { u"\u2A41", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
501 { u"\u2A42", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
502 { u"\u2A43", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
503 { u"\u2A44", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
504 { u"\u2A45", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
505 { u"\u2A46", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
506 { u"\u2A47", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
507 { u"\u2A48", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
508 { u"\u2A49", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
509 { u"\u2A4A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
510 { u"\u2A4B", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
511 { u"\u2A4C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
512 { u"\u2A4D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
513 { u"\u2A4E", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
514 { u"\u2A4F", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
515 { u"\u2A50", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
516 { u"\u2A51", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
517 { u"\u2A52", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
518 { u"\u2A53", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
519 { u"\u2A54", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
520 { u"\u2A55", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
521 { u"\u2A56", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
522 { u"\u2A57", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
523 { u"\u2A58", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
524 { u"\u2A59", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
525 { u"\u2A5A", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
526 { u"\u2A5B", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
527 { u"\u2A5C", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
528 { u"\u2A5D", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
529 { u"\u2A5E", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
530 { u"\u2A5F", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
531 { u"\u2A60", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
532 { u"\u2A61", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
533 { u"\u2A62", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
534 { u"\u2A63", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
535 { u"\u2A64", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
536 { u"\u2A65", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
537 { u"\u2A66", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
538 { u"\u2A67", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
539 { u"\u2A68", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
540 { u"\u2A69", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
541 { u"\u2A6A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
542 { u"\u2A6B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
543 { u"\u2A6C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
544 { u"\u2A6D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
545 { u"\u2A6E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
546 { u"\u2A6F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
547 { u"\u2A70", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
548 { u"\u2A71", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
549 { u"\u2A72", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
550 { u"\u2A73", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
551 { u"\u2A74", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
552 { u"\u2A75", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
553 { u"\u2A76", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
554 { u"\u2A77", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
555 { u"\u2A78", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
556 { u"\u2A79", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
557 { u"\u2A7A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
558 { u"\u2A7B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
559 { u"\u2A7C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
560 { u"\u2A7D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
561 { u"\u2A7D\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
562 { u"\u2A7E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
563 { u"\u2A7E\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
564 { u"\u2A7F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
565 { u"\u2A80", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
566 { u"\u2A81", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
567 { u"\u2A82", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
568 { u"\u2A83", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
569 { u"\u2A84", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
570 { u"\u2A85", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
571 { u"\u2A86", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
572 { u"\u2A89", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
573 { u"\u2A8A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
574 { u"\u2A8B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
575 { u"\u2A8C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
576 { u"\u2A8D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
577 { u"\u2A8E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
578 { u"\u2A8F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
579 { u"\u2A90", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
580 { u"\u2A91", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
581 { u"\u2A92", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
582 { u"\u2A93", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
583 { u"\u2A94", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
584 { u"\u2A95", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
585 { u"\u2A96", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
586 { u"\u2A97", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
587 { u"\u2A98", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
588 { u"\u2A99", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
589 { u"\u2A9A", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
590 { u"\u2A9B", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
591 { u"\u2A9C", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
592 { u"\u2A9D", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
593 { u"\u2A9E", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
594 { u"\u2A9F", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
595 { u"\u2AA0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
596 { u"\u2AA1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
597 { u"\u2AA1\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
598 { u"\u2AA2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
599 { u"\u2AA2\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
600 { u"\u2AA3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
601 { u"\u2AA4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
602 { u"\u2AA5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
603 { u"\u2AA6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
604 { u"\u2AA7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
605 { u"\u2AA8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
606 { u"\u2AA9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
607 { u"\u2AAA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
608 { u"\u2AAB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
609 { u"\u2AAC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
610 { u"\u2AAD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
611 { u"\u2AAE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
612 { u"\u2AB1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
613 { u"\u2AB2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
614 { u"\u2AB3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
615 { u"\u2AB4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
616 { u"\u2AB5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
617 { u"\u2AB6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
618 { u"\u2AB7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
619 { u"\u2AB8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
620 { u"\u2AB9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
621 { u"\u2ABA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
622 { u"\u2ABB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
623 { u"\u2ABC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
624 { u"\u2ABD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
625 { u"\u2ABE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
626 { u"\u2ABF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
627 { u"\u2AC0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
628 { u"\u2AC1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
629 { u"\u2AC2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
630 { u"\u2AC3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
631 { u"\u2AC4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
632 { u"\u2AC5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
633 { u"\u2AC6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
634 { u"\u2AC7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
635 { u"\u2AC8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
636 { u"\u2AC9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
637 { u"\u2ACA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
638 { u"\u2ACB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
639 { u"\u2ACC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
640 { u"\u2ACD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
641 { u"\u2ACE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
642 { u"\u2ACF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
643 { u"\u2AD0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
644 { u"\u2AD1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
645 { u"\u2AD2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
646 { u"\u2AD3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
647 { u"\u2AD4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
648 { u"\u2AD5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
649 { u"\u2AD6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
650 { u"\u2AD7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
651 { u"\u2AD8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
652 { u"\u2AD9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
653 { u"\u2ADA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
654 { u"\u2ADB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
655 { u"\u2ADD", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
656 { u"\u2ADD\u0338", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
657 { u"\u2ADE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
658 { u"\u2ADF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
659 { u"\u2AE0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
660 { u"\u2AE1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
661 { u"\u2AE2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
662 { u"\u2AE3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
663 { u"\u2AE4", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
664 { u"\u2AE5", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
665 { u"\u2AE6", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
666 { u"\u2AE7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
667 { u"\u2AE8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
668 { u"\u2AE9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
669 { u"\u2AEA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
670 { u"\u2AEB", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
671 { u"\u2AEC", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
672 { u"\u2AED", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
673 { u"\u2AEE", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
674 { u"\u2AEF", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
675 { u"\u2AF0", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
676 { u"\u2AF1", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
677 { u"\u2AF2", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
678 { u"\u2AF3", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
679 { u"\u2AF4", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
680 { u"\u2AF5", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
681 { u"\u2AF6", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
682 { u"\u2AF7", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
683 { u"\u2AF8", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
684 { u"\u2AF9", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
685 { u"\u2AFA", moOpDF::infix, 265, 5, 5, moOpDP::nonedp },
686 { u"\u2AFB", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
687 { u"\u2AFD", moOpDF::infix, 265, 4, 4, moOpDP::nonedp },
688 { u"\u2AFE", moOpDF::infix, 265, 3, 3, moOpDP::nonedp },
689 { u"|", moOpDF::infix, 270, 2, 2, moOpDP::stretchyfence | moOpDP::symmetric },
690 { u"||", moOpDF::infix, 270, 2, 2, moOpDP::stretchyfence | moOpDP::symmetric },
691 { u"|||", moOpDF::infix, 270, 2, 2, moOpDP::stretchyfence | moOpDP::symmetric },
692 { u"\u2190", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
693 { u"\u2191", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
694 { u"\u2192", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
695 { u"\u2193", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
696 { u"\u2194", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
697 { u"\u2195", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
698 { u"\u2196", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
699 { u"\u2197", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
700 { u"\u2198", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
701 { u"\u2199", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
702 { u"\u219A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
703 { u"\u219B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
704 { u"\u219C", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
705 { u"\u219D", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
706 { u"\u219E", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
707 { u"\u219F", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
708 { u"\u21A0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
709 { u"\u21A1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
710 { u"\u21A2", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
711 { u"\u21A3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
712 { u"\u21A4", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
713 { u"\u21A5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
714 { u"\u21A6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
715 { u"\u21A7", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
716 { u"\u21A8", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
717 { u"\u21A9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
718 { u"\u21AA", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
719 { u"\u21AB", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
720 { u"\u21AC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
721 { u"\u21AD", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
722 { u"\u21AE", moOpDF::infix, 270, 5, 5, moOpDP::accent },
723 { u"\u21AF", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
724 { u"\u21B0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
725 { u"\u21B1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
726 { u"\u21B2", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
727 { u"\u21B3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
728 { u"\u21B4", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
729 { u"\u21B5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
730 { u"\u21B6", moOpDF::infix, 270, 5, 5, moOpDP::accent },
731 { u"\u21B7", moOpDF::infix, 270, 5, 5, moOpDP::accent },
732 { u"\u21B8", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
733 { u"\u21B9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
734 { u"\u21BA", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
735 { u"\u21BB", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
736 { u"\u21BC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
737 { u"\u21BD", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
738 { u"\u21BE", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
739 { u"\u21BF", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
740 { u"\u21C0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
741 { u"\u21C1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
742 { u"\u21C2", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
743 { u"\u21C3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
744 { u"\u21C4", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
745 { u"\u21C5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
746 { u"\u21C6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
747 { u"\u21C7", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
748 { u"\u21C8", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
749 { u"\u21C9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
750 { u"\u21CA", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
751 { u"\u21CB", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
752 { u"\u21CC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
753 { u"\u21CD", moOpDF::infix, 270, 5, 5, moOpDP::accent },
754 { u"\u21CE", moOpDF::infix, 270, 5, 5, moOpDP::accent },
755 { u"\u21CF", moOpDF::infix, 270, 5, 5, moOpDP::accent },
756 { u"\u21D0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
757 { u"\u21D1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
758 { u"\u21D2", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
759 { u"\u21D3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
760 { u"\u21D4", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
761 { u"\u21D5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
762 { u"\u21D6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
763 { u"\u21D7", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
764 { u"\u21D8", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
765 { u"\u21D9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
766 { u"\u21DA", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
767 { u"\u21DB", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
768 { u"\u21DC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
769 { u"\u21DD", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
770 { u"\u21DE", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
771 { u"\u21DF", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
772 { u"\u21E0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
773 { u"\u21E1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
774 { u"\u21E2", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
775 { u"\u21E3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
776 { u"\u21E4", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
777 { u"\u21E5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
778 { u"\u21E6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
779 { u"\u21E7", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
780 { u"\u21E8", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
781 { u"\u21E9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
782 { u"\u21EA", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
783 { u"\u21EB", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
784 { u"\u21EC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
785 { u"\u21ED", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
786 { u"\u21EE", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
787 { u"\u21EF", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
788 { u"\u21F0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
789 { u"\u21F1", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
790 { u"\u21F2", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
791 { u"\u21F3", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
792 { u"\u21F4", moOpDF::infix, 270, 5, 5, moOpDP::accent },
793 { u"\u21F5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
794 { u"\u21F6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
795 { u"\u21F7", moOpDF::infix, 270, 5, 5, moOpDP::accent },
796 { u"\u21F8", moOpDF::infix, 270, 5, 5, moOpDP::accent },
797 { u"\u21F9", moOpDF::infix, 270, 5, 5, moOpDP::accent },
798 { u"\u21FA", moOpDF::infix, 270, 5, 5, moOpDP::accent },
799 { u"\u21FB", moOpDF::infix, 270, 5, 5, moOpDP::accent },
800 { u"\u21FC", moOpDF::infix, 270, 5, 5, moOpDP::accent },
801 { u"\u21FD", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
802 { u"\u21FE", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
803 { u"\u21FF", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
804 { u"\u22B8", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
805 { u"\u27F0", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
806 { u"\u27F1", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
807 { u"\u27F5", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
808 { u"\u27F6", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
809 { u"\u27F7", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
810 { u"\u27F8", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
811 { u"\u27F9", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
812 { u"\u27FA", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
813 { u"\u27FB", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
814 { u"\u27FC", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
815 { u"\u27FD", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
816 { u"\u27FE", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
817 { u"\u27FF", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
818 { u"\u2900", moOpDF::infix, 270, 5, 5, moOpDP::accent },
819 { u"\u2901", moOpDF::infix, 270, 5, 5, moOpDP::accent },
820 { u"\u2902", moOpDF::infix, 270, 5, 5, moOpDP::accent },
821 { u"\u2903", moOpDF::infix, 270, 5, 5, moOpDP::accent },
822 { u"\u2904", moOpDF::infix, 270, 5, 5, moOpDP::accent },
823 { u"\u2905", moOpDF::infix, 270, 5, 5, moOpDP::accent },
824 { u"\u2906", moOpDF::infix, 270, 5, 5, moOpDP::accent },
825 { u"\u2907", moOpDF::infix, 270, 5, 5, moOpDP::accent },
826 { u"\u2908", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
827 { u"\u2909", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
828 { u"\u290A", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
829 { u"\u290B", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
830 { u"\u290C", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
831 { u"\u290D", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
832 { u"\u290E", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
833 { u"\u290F", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
834 { u"\u2910", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
835 { u"\u2911", moOpDF::infix, 270, 5, 5, moOpDP::accent },
836 { u"\u2912", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
837 { u"\u2913", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
838 { u"\u2914", moOpDF::infix, 270, 5, 5, moOpDP::accent },
839 { u"\u2915", moOpDF::infix, 270, 5, 5, moOpDP::accent },
840 { u"\u2916", moOpDF::infix, 270, 5, 5, moOpDP::accent },
841 { u"\u2917", moOpDF::infix, 270, 5, 5, moOpDP::accent },
842 { u"\u2918", moOpDF::infix, 270, 5, 5, moOpDP::accent },
843 { u"\u2919", moOpDF::infix, 270, 5, 5, moOpDP::accent },
844 { u"\u291A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
845 { u"\u291B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
846 { u"\u291C", moOpDF::infix, 270, 5, 5, moOpDP::accent },
847 { u"\u291D", moOpDF::infix, 270, 5, 5, moOpDP::accent },
848 { u"\u291E", moOpDF::infix, 270, 5, 5, moOpDP::accent },
849 { u"\u291F", moOpDF::infix, 270, 5, 5, moOpDP::accent },
850 { u"\u2920", moOpDF::infix, 270, 5, 5, moOpDP::accent },
851 { u"\u2921", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
852 { u"\u2922", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
853 { u"\u2923", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
854 { u"\u2924", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
855 { u"\u2925", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
856 { u"\u2926", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
857 { u"\u2927", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
858 { u"\u2928", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
859 { u"\u2929", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
860 { u"\u292A", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
861 { u"\u292B", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
862 { u"\u292C", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
863 { u"\u292D", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
864 { u"\u292E", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
865 { u"\u292F", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
866 { u"\u2930", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
867 { u"\u2931", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
868 { u"\u2932", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
869 { u"\u2933", moOpDF::infix, 270, 5, 5, moOpDP::accent },
870 { u"\u2934", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
871 { u"\u2935", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
872 { u"\u2936", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
873 { u"\u2937", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
874 { u"\u2938", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
875 { u"\u2939", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
876 { u"\u293A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
877 { u"\u293B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
878 { u"\u293C", moOpDF::infix, 270, 5, 5, moOpDP::accent },
879 { u"\u293D", moOpDF::infix, 270, 5, 5, moOpDP::accent },
880 { u"\u293E", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
881 { u"\u293F", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
882 { u"\u2940", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
883 { u"\u2941", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
884 { u"\u2942", moOpDF::infix, 270, 5, 5, moOpDP::accent },
885 { u"\u2943", moOpDF::infix, 270, 5, 5, moOpDP::accent },
886 { u"\u2944", moOpDF::infix, 270, 5, 5, moOpDP::accent },
887 { u"\u2945", moOpDF::infix, 270, 5, 5, moOpDP::accent },
888 { u"\u2946", moOpDF::infix, 270, 5, 5, moOpDP::accent },
889 { u"\u2947", moOpDF::infix, 270, 5, 5, moOpDP::accent },
890 { u"\u2948", moOpDF::infix, 270, 5, 5, moOpDP::accent },
891 { u"\u2949", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
892 { u"\u294A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
893 { u"\u294B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
894 { u"\u294C", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
895 { u"\u294D", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
896 { u"\u294E", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
897 { u"\u294F", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
898 { u"\u2950", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
899 { u"\u2951", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
900 { u"\u2952", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
901 { u"\u2953", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
902 { u"\u2954", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
903 { u"\u2955", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
904 { u"\u2956", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
905 { u"\u2957", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
906 { u"\u2958", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
907 { u"\u2959", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
908 { u"\u295A", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
909 { u"\u295B", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
910 { u"\u295C", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
911 { u"\u295D", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
912 { u"\u295E", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
913 { u"\u295F", moOpDF::infix, 270, 5, 5, moOpDP::stretchy | moOpDP::accent },
914 { u"\u2960", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
915 { u"\u2961", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
916 { u"\u2962", moOpDF::infix, 270, 5, 5, moOpDP::accent },
917 { u"\u2963", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
918 { u"\u2964", moOpDF::infix, 270, 5, 5, moOpDP::accent },
919 { u"\u2965", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
920 { u"\u2966", moOpDF::infix, 270, 5, 5, moOpDP::accent },
921 { u"\u2967", moOpDF::infix, 270, 5, 5, moOpDP::accent },
922 { u"\u2968", moOpDF::infix, 270, 5, 5, moOpDP::accent },
923 { u"\u2969", moOpDF::infix, 270, 5, 5, moOpDP::accent },
924 { u"\u296A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
925 { u"\u296B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
926 { u"\u296C", moOpDF::infix, 270, 5, 5, moOpDP::accent },
927 { u"\u296D", moOpDF::infix, 270, 5, 5, moOpDP::accent },
928 { u"\u296E", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
929 { u"\u296F", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
930 { u"\u2970", moOpDF::infix, 270, 5, 5, moOpDP::accent },
931 { u"\u2971", moOpDF::infix, 270, 5, 5, moOpDP::accent },
932 { u"\u2972", moOpDF::infix, 270, 5, 5, moOpDP::accent },
933 { u"\u2973", moOpDF::infix, 270, 5, 5, moOpDP::accent },
934 { u"\u2974", moOpDF::infix, 270, 5, 5, moOpDP::accent },
935 { u"\u2975", moOpDF::infix, 270, 5, 5, moOpDP::accent },
936 { u"\u2976", moOpDF::infix, 270, 5, 5, moOpDP::accent },
937 { u"\u2977", moOpDF::infix, 270, 5, 5, moOpDP::accent },
938 { u"\u2978", moOpDF::infix, 270, 5, 5, moOpDP::accent },
939 { u"\u2979", moOpDF::infix, 270, 5, 5, moOpDP::accent },
940 { u"\u297A", moOpDF::infix, 270, 5, 5, moOpDP::accent },
941 { u"\u297B", moOpDF::infix, 270, 5, 5, moOpDP::accent },
942 { u"\u297C", moOpDF::infix, 270, 5, 5, moOpDP::accent },
943 { u"\u297D", moOpDF::infix, 270, 5, 5, moOpDP::accent },
944 { u"\u297E", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
945 { u"\u297F", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
946 { u"\u2999", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
947 { u"\u299A", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
948 { u"\u299B", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
949 { u"\u299C", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
950 { u"\u299D", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
951 { u"\u299E", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
952 { u"\u299F", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
953 { u"\u29DF", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
954 { u"\u29EF", moOpDF::infix, 270, 3, 3, moOpDP::nonedp },
955 { u"\u29F4", moOpDF::infix, 270, 5, 5, moOpDP::nonedp },
956 { u"\u2B45", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
957 { u"\u2B46", moOpDF::infix, 270, 5, 5, moOpDP::stretchy },
958 { u"+", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
959 { u"+", moOpDF::prefix, 275, 0, 1, moOpDP::nonedp },
960 { u"-", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
961 { u"-", moOpDF::prefix, 275, 0, 1, moOpDP::nonedp },
962 { u"\u00B1", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
963 { u"\u00B1", moOpDF::prefix, 275, 0, 1, moOpDP::nonedp },
964 { u"\u2212", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
965 { u"\u2212", moOpDF::prefix, 275, 0, 1, moOpDP::nonedp },
966 { u"\u2213", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
967 { u"\u2213", moOpDF::prefix, 275, 0, 1, moOpDP::nonedp },
968 { u"\u2214", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
969 { u"\u229E", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
970 { u"\u229F", moOpDF::infix, 275, 4, 4, moOpDP::nonedp },
971 { u"\u2211", moOpDF::prefix, 290, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
972 { u"\u2A0A", moOpDF::prefix, 290, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
973 { u"\u2A0B", moOpDF::prefix, 290, 1, 2, moOpDP::largeop | moOpDP::symmetric },
974 { u"\u222C", moOpDF::prefix, 300, 0, 1, moOpDP::largeop | moOpDP::symmetric },
975 { u"\u222D", moOpDF::prefix, 300, 0, 1, moOpDP::largeop | moOpDP::symmetric },
976 { u"\u2295", moOpDF::infix, 300, 4, 4, moOpDP::nonedp },
977 { u"\u2296", moOpDF::infix, 300, 4, 4, moOpDP::nonedp },
978 { u"\u2298", moOpDF::infix, 300, 4, 4, moOpDP::nonedp },
979 { u"\u2A01", moOpDF::prefix, 300, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
980 { u"\u222B", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
981 { u"\u222E", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
982 { u"\u222F", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
983 { u"\u2230", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
984 { u"\u2231", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
985 { u"\u2232", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
986 { u"\u2233", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
987 { u"\u2A0C", moOpDF::prefix, 310, 0, 1, moOpDP::largeop | moOpDP::symmetric },
988 { u"\u2A0D", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
989 { u"\u2A0E", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
990 { u"\u2A0F", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
991 { u"\u2A10", moOpDF::prefix, 310, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
992 { u"\u2A11", moOpDF::prefix, 310, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
993 { u"\u2A12", moOpDF::prefix, 310, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
994 { u"\u2A13", moOpDF::prefix, 310, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
995 { u"\u2A14", moOpDF::prefix, 310, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
996 { u"\u2A15", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
997 { u"\u2A16", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
998 { u"\u2A17", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
999 { u"\u2A18", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
1000 { u"\u2A19", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
1001 { u"\u2A1A", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
1002 { u"\u2A1B", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
1003 { u"\u2A1C", moOpDF::prefix, 310, 1, 2, moOpDP::largeop | moOpDP::symmetric },
1004 { u"\u22C3", moOpDF::prefix, 320, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1005 { u"\u2A03", moOpDF::prefix, 320, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1006 { u"\u2A04", moOpDF::prefix, 320, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1007 { u"\u22C0", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1008 { u"\u22C1", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1009 { u"\u22C2", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1010 { u"\u2A00", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1011 { u"\u2A02", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1012 { u"\u2A05", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1013 { u"\u2A06", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1014 { u"\u2A07", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1015 { u"\u2A08", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1016 { u"\u2A09", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1017 { u"\u2AFC", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1018 { u"\u2AFF", moOpDF::prefix, 330, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1019 { u"\u2240", moOpDF::infix, 340, 4, 4, moOpDP::nonedp },
1020 { u"\u220F", moOpDF::prefix, 350, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1021 { u"\u2210", moOpDF::prefix, 350, 1, 2, moOpDP::movablelargeop | moOpDP::symmetric },
1022 { u"\u2229", moOpDF::infix, 350, 4, 4, moOpDP::nonedp },
1023 { u"\u222A", moOpDF::infix, 350, 4, 4, moOpDP::nonedp },
1024 { u"*", moOpDF::infix, 390, 3, 3, moOpDP::nonedp },
1025 { u".", moOpDF::infix, 390, 3, 3, moOpDP::nonedp },
1026 { u"\u00D7", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1027 { u"\u2022", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1028 { u"\u2043", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1029 { u"\u2062", moOpDF::infix, 390, 0, 0, moOpDP::nonedp },
1030 { u"\u22A0", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1031 { u"\u22A1", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1032 { u"\u22C5", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1033 { u"\u2A2F", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1034 { u"\u2A3F", moOpDF::infix, 390, 4, 4, moOpDP::nonedp },
1035 { u"\u00B7", moOpDF::infix, 400, 4, 4, moOpDP::nonedp },
1036 { u"\u2297", moOpDF::infix, 410, 4, 4, moOpDP::nonedp },
1037 { u"%", moOpDF::infix, 640, 3, 3, moOpDP::nonedp },
1038 { u"\\", moOpDF::infix, 650, 0, 0, moOpDP::nonedp },
1039 { u"\u2216", moOpDF::infix, 650, 4, 4, moOpDP::nonedp },
1040 { u"/", moOpDF::infix, 660, 1, 1, moOpDP::nonedp },
1041 { u"\u00F7", moOpDF::infix, 660, 4, 4, moOpDP::nonedp },
1042 { u"\u2220", moOpDF::prefix, 670, 0, 0, moOpDP::nonedp },
1043 { u"\u2221", moOpDF::prefix, 670, 0, 0, moOpDP::nonedp },
1044 { u"\u2222", moOpDF::prefix, 670, 0, 0, moOpDP::nonedp },
1045 { u"\u00AC", moOpDF::prefix, 680, 2, 1, moOpDP::nonedp },
1046 { u"\u2299", moOpDF::infix, 710, 4, 4, moOpDP::nonedp },
1047 { u"\u2202", moOpDF::prefix, 740, 2, 1, moOpDP::nonedp },
1048 { u"\u2207", moOpDF::prefix, 740, 2, 1, moOpDP::nonedp },
1049 { u"**", moOpDF::infix, 780, 1, 1, moOpDP::nonedp },
1050 { u"<>", moOpDF::infix, 780, 1, 1, moOpDP::nonedp },
1051 { u"^", moOpDF::infix, 780, 1, 1, moOpDP::nonedp },
1052 { u"\u2032", moOpDF::postfix, 800, 0, 0, moOpDP::nonedp },
1053 { u"\u266D", moOpDF::postfix, 800, 0, 2, moOpDP::nonedp },
1054 { u"\u266E", moOpDF::postfix, 800, 0, 2, moOpDP::nonedp },
1055 { u"\u266F", moOpDF::postfix, 800, 0, 2, moOpDP::nonedp },
1056 { u"!", moOpDF::postfix, 810, 1, 0, moOpDP::nonedp },
1057 { u"!!", moOpDF::postfix, 810, 1, 0, moOpDP::nonedp },
1058 { u"//", moOpDF::infix, 820, 1, 1, moOpDP::nonedp },
1059 { u"@", moOpDF::infix, 825, 1, 1, moOpDP::nonedp },
1060 { u"?", moOpDF::infix, 835, 1, 1, moOpDP::nonedp },
1061 { u"\u2145", moOpDF::prefix, 845, 2, 1, moOpDP::nonedp },
1062 { u"\u2146", moOpDF::prefix, 845, 2, 0, moOpDP::nonedp },
1063 { u"\u221A", moOpDF::prefix, 845, 1, 1, moOpDP::stretchy },
1064 { u"\u221B", moOpDF::prefix, 845, 1, 1, moOpDP::nonedp },
1065 { u"\u221C", moOpDF::prefix, 845, 1, 1, moOpDP::nonedp },
1066 { u"\u2061", moOpDF::infix, 850, 0, 0, moOpDP::nonedp },
1067 { u"\"", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1068 { u"&", moOpDF::postfix, 880, 0, 0, moOpDP::nonedp },
1069 { u"\'", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1070 { u"++", moOpDF::postfix, 880, 0, 0, moOpDP::nonedp },
1071 { u"--", moOpDF::postfix, 880, 0, 0, moOpDP::nonedp },
1072 { u"^", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1073 { u"_", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1074 { u"`", moOpDF::postfix, 880, 0, 00, moOpDP::accent },
1075 { u"~", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1076 { u"\u00A8", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1077 { u"\u00AA", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1078 { u"\u00AF", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1079 { u"\u00B0", moOpDF::postfix, 880, 0, 0, moOpDP::nonedp },
1080 { u"\u00B2", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1081 { u"\u00B3", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1082 { u"\u00B4", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1083 { u"\u00B8", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1084 { u"\u00B9", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1085 { u"\u00BA", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1086 { u"\u02C6", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1087 { u"\u02C7", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1088 { u"\u02C9", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1089 { u"\u02CA", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1090 { u"\u02CB", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1091 { u"\u02CD", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1092 { u"\u02D8", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1093 { u"\u02D9", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1094 { u"\u02DA", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1095 { u"\u02DC", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1096 { u"\u02DD", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1097 { u"\u02F7", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1098 { u"\u0302", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1099 { u"\u0311", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1100 { u"\u201A", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1101 { u"\u201B", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1102 { u"\u201E", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1103 { u"\u201F", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1104 { u"\u2033", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1105 { u"\u2034", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1106 { u"\u2035", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1107 { u"\u2036", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1108 { u"\u2037", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1109 { u"\u203E", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1110 { u"\u2057", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1111 { u"\u2064", moOpDF::infix, 880, 0, 0, moOpDP::nonedp },
1112 { u"\u20DB", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1113 { u"\u20DC", moOpDF::postfix, 880, 0, 0, moOpDP::accent },
1114 { u"\u23B4", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1115 { u"\u23B5", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1116 { u"\u23DC", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1117 { u"\u23DD", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1118 { u"\u23DE", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1119 { u"\u23DF", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1120 { u"\u23E0", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1121 { u"\u23E1", moOpDF::postfix, 880, 0, 0, moOpDP::stretchy | moOpDP::accent },
1122 { u"_", moOpDF::infix, 900, 1, 1, moOpDP::nonedp } };
1123
1124std::vector<moOperatorData> starmathdatabase::moOperatorDataDictionary(
1125 moOperatorDataDictionaryData, moOperatorDataDictionaryData + starmathdatabase::MATHML_MO_COUNT);
1126
1127/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
u
float u
moOperatorDataDictionaryData
static moOperatorData moOperatorDataDictionaryData[starmathdatabase::MATHML_MO_COUNT]
Definition: mathmlMo.cxx:23
moOpDP::stretchyfence
@ stretchyfence
moOpDP::movablelargeop
@ movablelargeop
moOpDP::linebreakstyleAfter
@ linebreakstyleAfter
moOpDF::prepostfix
@ prepostfix
starmathdatabase::MATHML_MO_COUNT
constexpr size_t MATHML_MO_COUNT
Definition: mathmlMo.hxx:105
starmathdatabase::moOperatorDataDictionary
std::vector< moOperatorData > moOperatorDataDictionary
Generated on Sun Jul 30 2023 04:34:38 for LibreOffice Module starmath (master) by doxygen 1.9.3