MathOperators.js (22900B)
1 /************************************************************* 2 * 3 * MathJax/fonts/HTML-CSS/TeX/png/AMS/Regular/MathOperators.js 4 * 5 * Defines the image size data needed for the HTML-CSS OutputJax 6 * to display mathematics using fallback images when the fonts 7 * are not availble to the client browser. 8 * 9 * --------------------------------------------------------------------- 10 * 11 * Copyright (c) 2009-2013 The MathJax Consortium 12 * 13 * Licensed under the Apache License, Version 2.0 (the "License"); 14 * you may not use this file except in compliance with the License. 15 * You may obtain a copy of the 16 * 17 * http://www.apache.org/licenses/LICENSE-2.0 18 * 19 * Unless required by applicable law or agreed to in writing, software 20 * distributed under the License is distributed on an "AS IS" BASIS, 21 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 22 * See the License for the specific language governing permissions and 23 * limitations under the License. 24 * 25 */ 26 27 MathJax.OutputJax["HTML-CSS"].defineImageData({ 28 "MathJax_AMS": { 29 0x2201: [ // COMPLEMENT 30 [3,6,0],[4,7,0],[5,9,0],[6,11,1],[7,13,1],[8,16,1],[9,18,1],[11,21,1], 31 [13,25,1],[15,29,1],[18,35,1],[21,41,1],[25,49,2],[30,58,2] 32 ], 33 0x2204: [ // THERE DOES NOT EXIST 34 [4,8,2],[4,10,2],[5,11,2],[6,12,2],[7,15,3],[9,18,3],[10,22,4],[12,24,4], 35 [14,29,5],[17,35,6],[20,41,7],[24,48,8],[28,57,9],[33,68,11] 36 ], 37 0x2205: [ // EMPTY SET 38 [5,4,0],[6,5,0],[8,6,0],[9,7,0],[11,8,0],[12,10,0],[14,12,0],[17,15,1], 39 [20,18,1],[24,21,1],[29,24,1],[34,29,1],[40,34,1],[48,40,1] 40 ], 41 0x220D: [ // SMALL CONTAINS AS MEMBER 42 [3,4,0],[4,5,1],[5,6,1],[6,7,1],[7,8,1],[8,9,1],[9,10,1],[11,12,1], 43 [13,14,1],[16,16,1],[18,19,1],[22,22,1],[26,26,1],[31,30,1] 44 ], 45 0x2212: [ // MINUS SIGN 46 [3,1,-1],[4,1,-2],[5,1,-2],[5,1,-2],[6,1,-3],[7,1,-4],[9,2,-4],[10,2,-5], 47 [12,2,-6],[14,2,-7],[17,2,-9],[20,3,-10],[23,3,-12],[28,3,-15] 48 ], 49 0x2214: [ // DOT PLUS 50 [5,7,1],[6,8,1],[8,9,1],[9,11,2],[10,13,2],[12,15,2],[14,17,2],[17,21,3], 51 [20,25,3],[24,30,4],[28,34,4],[34,41,5],[40,49,6],[48,58,7] 52 ], 53 0x2216: [ // SET MINUS 54 [5,4,1],[6,5,1],[7,6,1],[9,7,1],[10,7,1],[12,9,1],[14,10,1],[16,11,1], 55 [19,13,1],[23,16,1],[27,18,1],[32,22,2],[38,26,2],[46,31,2] 56 ], 57 0x221D: [ // PROPORTIONAL TO 58 [5,4,0],[7,4,0],[7,5,0],[9,6,0],[11,7,0],[13,8,0],[15,9,0],[17,11,0], 59 [21,14,0],[24,16,0],[29,18,-1],[34,21,-1],[40,26,-1],[48,31,-1] 60 ], 61 0x2220: [ // ANGLE 62 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[13,14,0],[16,17,0], 63 [19,20,0],[22,23,0],[27,28,0],[31,33,0],[37,39,0],[44,46,0] 64 ], 65 0x2221: [ // MEASURED ANGLE 66 [5,6,1],[6,7,1],[7,8,1],[8,10,1],[10,11,1],[12,13,1],[14,15,1],[16,18,1], 67 [19,21,1],[23,25,1],[27,29,1],[32,35,1],[38,42,2],[45,49,2] 68 ], 69 0x2222: [ // SPHERICAL ANGLE 70 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[13,12,1],[16,15,2], 71 [19,18,2],[22,21,2],[27,24,2],[31,29,3],[37,34,3],[44,41,4] 72 ], 73 0x2223: [ // DIVIDES 74 [1,4,1],[1,5,1],[2,6,1],[2,7,1],[2,7,1],[2,9,1],[3,10,1],[4,11,1], 75 [4,13,1],[5,16,1],[6,18,1],[7,22,2],[8,26,2],[9,31,2] 76 ], 77 0x2224: [ // DOES NOT DIVIDE 78 [3,8,2],[4,10,3],[4,11,3],[5,12,3],[5,15,4],[7,18,5],[7,20,5],[9,24,6], 79 [10,28,7],[11,34,9],[14,40,10],[16,47,12],[19,56,14],[22,67,17] 80 ], 81 0x2225: [ // PARALLEL TO 82 [3,4,1],[3,5,1],[4,6,1],[4,7,1],[5,7,1],[6,9,1],[7,10,1],[8,11,1], 83 [10,13,1],[11,16,1],[13,18,1],[16,23,2],[19,26,2],[22,31,2] 84 ], 85 0x2226: [ // NOT PARALLEL TO 86 [5,8,2],[6,10,3],[7,11,3],[8,12,3],[9,15,4],[10,18,5],[11,20,5],[14,24,6], 87 [16,28,7],[18,34,9],[22,40,10],[26,47,12],[31,56,14],[36,67,17] 88 ], 89 0x2234: [ // THEREFORE 90 [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2], 91 [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6] 92 ], 93 0x2235: [ // BECAUSE 94 [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2], 95 [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6] 96 ], 97 0x223C: [ // TILDE OPERATOR 98 [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,5,-1],[13,5,-2],[15,6,-2],[17,6,-3], 99 [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8] 100 ], 101 0x223D: [ // REVERSED TILDE 102 [5,2,-1],[6,3,-1],[8,3,-1],[9,4,-1],[10,4,-2],[12,5,-2],[15,6,-2],[17,6,-3], 103 [20,8,-3],[24,9,-4],[29,10,-5],[34,12,-6],[40,14,-7],[48,17,-8] 104 ], 105 0x2241: [ // stix-not, vert, similar 106 [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[13,8,0],[15,10,0],[17,11,0], 107 [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] 108 ], 109 0x2242: [ // MINUS TILDE 110 [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,9,0],[17,11,0], 111 [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] 112 ], 113 0x2246: [ // APPROXIMATELY BUT NOT ACTUALLY EQUAL TO 114 [5,7,2],[6,8,2],[8,9,2],[9,10,2],[10,12,3],[13,14,3],[15,17,4],[17,20,4], 115 [20,23,5],[24,28,6],[29,33,7],[34,39,8],[40,46,9],[48,54,11] 116 ], 117 0x2248: [ // ALMOST EQUAL TO 118 [5,4,0],[6,4,0],[8,5,0],[9,6,0],[11,7,0],[13,8,0],[15,10,0],[17,11,-1], 119 [21,13,-1],[24,15,-1],[29,18,-1],[34,21,-2],[40,25,-2],[48,29,-3] 120 ], 121 0x224A: [ // ALMOST EQUAL OR EQUAL TO 122 [5,5,1],[7,6,1],[8,7,1],[9,8,1],[11,9,1],[13,11,1],[15,13,1],[17,15,1], 123 [21,18,2],[24,22,2],[29,25,2],[34,29,2],[41,36,3],[48,42,3] 124 ], 125 0x224E: [ // GEOMETRICALLY EQUIVALENT TO 126 [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[14,10,0],[17,12,0], 127 [20,14,0],[24,17,0],[29,20,0],[34,23,0],[40,28,0],[48,33,0] 128 ], 129 0x224F: [ // DIFFERENCE BETWEEN 130 [5,3,-1],[6,3,-1],[8,4,-1],[9,5,-1],[10,5,-2],[12,6,-2],[14,8,-2],[17,9,-3], 131 [20,11,-3],[24,13,-4],[29,15,-5],[34,17,-6],[40,21,-7],[48,25,-8] 132 ], 133 0x2251: [ // GEOMETRICALLY EQUAL TO 134 [5,6,1],[6,7,1],[8,8,2],[9,10,2],[10,11,2],[12,13,2],[15,15,3],[17,18,3], 135 [20,20,3],[24,25,4],[29,29,5],[34,34,5],[40,40,6],[48,49,8] 136 ], 137 0x2252: [ // APPROXIMATELY EQUAL TO OR THE IMAGE OF 138 [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3], 139 [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7] 140 ], 141 0x2253: [ // IMAGE OF OR APPROXIMATELY EQUAL TO 142 [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3], 143 [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7] 144 ], 145 0x2256: [ // RING IN EQUAL TO 146 [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,3,-2],[12,4,-2],[15,5,-2],[17,6,-3], 147 [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8] 148 ], 149 0x2257: [ // RING EQUAL TO 150 [5,4,-1],[6,5,-1],[8,6,-1],[9,8,-1],[10,8,-2],[12,10,-2],[15,12,-2],[17,14,-3], 151 [20,17,-3],[24,20,-4],[29,24,-5],[34,28,-6],[40,33,-7],[48,40,-8] 152 ], 153 0x225C: [ // DELTA EQUAL TO 154 [5,5,-1],[6,7,-1],[8,8,-1],[9,9,-1],[10,10,-2],[12,13,-2],[15,15,-2],[17,17,-3], 155 [20,21,-3],[24,25,-4],[29,29,-5],[34,34,-6],[40,41,-7],[48,49,-8] 156 ], 157 0x2266: [ // LESS-THAN OVER EQUAL TO 158 [5,8,2],[6,9,2],[8,10,2],[9,11,2],[10,14,3],[12,16,3],[15,19,4],[17,22,4], 159 [20,26,5],[24,31,6],[28,37,7],[34,44,9],[40,52,10],[48,62,12] 160 ], 161 0x2267: [ // GREATER-THAN OVER EQUAL TO 162 [5,8,2],[6,9,2],[7,10,2],[9,11,2],[10,14,3],[12,16,3],[14,19,4],[17,22,4], 163 [20,26,5],[23,31,6],[28,37,7],[33,44,9],[39,52,10],[46,62,12] 164 ], 165 0x2268: [ // stix-less, vert, not double equals 166 [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7], 167 [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19] 168 ], 169 0x2269: [ // stix-gt, vert, not double equals 170 [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7], 171 [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19] 172 ], 173 0x226C: [ // BETWEEN 174 [3,8,2],[4,10,3],[5,11,3],[5,12,3],[6,15,4],[8,18,5],[9,20,5],[10,24,6], 175 [12,28,7],[14,34,9],[17,40,10],[20,47,12],[24,56,14],[28,67,17] 176 ], 177 0x226E: [ // stix-not, vert, less-than 178 [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], 179 [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] 180 ], 181 0x226F: [ // stix-not, vert, greater-than 182 [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], 183 [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] 184 ], 185 0x2270: [ // stix-not, vert, less-than-or-equal 186 [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 187 [20,32,9],[24,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 188 ], 189 0x2271: [ // stix-not, vert, greater-than-or-equal 190 [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 191 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 192 ], 193 0x2272: [ // stix-less-than or (contour) similar 194 [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], 195 [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] 196 ], 197 0x2273: [ // stix-greater-than or (contour) similar 198 [5,8,2],[6,9,2],[7,10,2],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], 199 [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] 200 ], 201 0x2276: [ // LESS-THAN OR GREATER-THAN 202 [6,7,2],[7,9,3],[8,10,3],[9,11,3],[11,14,4],[13,17,5],[15,19,5],[18,22,6], 203 [21,26,7],[25,32,9],[29,37,10],[35,44,12],[41,52,14],[49,62,17] 204 ], 205 0x2277: [ // GREATER-THAN OR LESS-THAN 206 [5,7,2],[6,9,3],[7,10,3],[9,11,3],[10,14,4],[12,17,5],[14,19,5],[17,22,6], 207 [20,26,7],[23,32,9],[28,37,10],[33,44,12],[39,52,14],[46,62,17] 208 ], 209 0x227C: [ // PRECEDES OR EQUAL TO 210 [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,12,3],[12,13,3],[14,15,3],[16,18,4], 211 [19,22,5],[23,25,5],[27,29,6],[32,34,7],[38,42,9],[46,49,10] 212 ], 213 0x227D: [ // SUCCEEDS OR EQUAL TO 214 [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,11,3],[12,13,3],[14,16,4],[17,18,4], 215 [20,21,5],[23,26,6],[28,30,7],[33,35,8],[39,42,9],[46,50,11] 216 ], 217 0x227E: [ // PRECEDES OR EQUIVALENT TO 218 [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], 219 [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] 220 ], 221 0x227F: [ // SUCCEEDS OR EQUIVALENT TO 222 [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], 223 [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,65,16] 224 ], 225 0x2280: [ // DOES NOT PRECEDE 226 [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,13,3],[12,16,4],[14,19,5],[17,22,5], 227 [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] 228 ], 229 0x2281: [ // stix-not (vert) succeeds 230 [5,7,2],[6,8,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], 231 [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,51,12],[46,61,14] 232 ], 233 0x2288: [ // stix-/nsubseteq N: not (vert) subset, equals 234 [5,9,3],[6,10,3],[7,12,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 235 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 236 ], 237 0x2289: [ // stix-/nsupseteq N: not (vert) superset, equals 238 [5,9,3],[6,10,3],[7,11,3],[8,14,4],[10,17,5],[12,19,6],[14,22,6],[17,26,7], 239 [20,32,9],[23,37,11],[28,44,12],[33,53,15],[39,62,17],[46,73,20] 240 ], 241 0x228A: [ // stix-subset, not equals, variant 242 [5,7,2],[6,8,2],[7,10,3],[9,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6], 243 [20,25,7],[23,31,9],[28,36,10],[33,42,12],[39,50,14],[46,59,17] 244 ], 245 0x228B: [ // stix-superset, not equals, variant 246 [5,7,2],[6,8,2],[7,10,3],[8,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6], 247 [20,25,7],[23,30,9],[28,35,10],[33,42,12],[39,50,14],[46,59,17] 248 ], 249 0x228F: [ // SQUARE IMAGE OF 250 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 251 [19,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] 252 ], 253 0x2290: [ // SQUARE ORIGINAL OF 254 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 255 [20,17,2],[24,20,2],[28,24,2],[34,28,2],[40,33,3],[47,39,3] 256 ], 257 0x229A: [ // CIRCLED RING OPERATOR 258 [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], 259 [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] 260 ], 261 0x229B: [ // CIRCLED ASTERISK OPERATOR 262 [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], 263 [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] 264 ], 265 0x229D: [ // CIRCLED DASH 266 [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], 267 [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] 268 ], 269 0x229E: [ // SQUARED PLUS 270 [5,5,0],[6,6,0],[8,7,0],[9,8,0],[11,10,0],[13,12,0],[15,14,0],[17,16,0], 271 [20,20,0],[24,23,0],[29,27,0],[34,32,0],[41,39,0],[48,46,0] 272 ], 273 0x229F: [ // SQUARED MINUS 274 [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], 275 [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] 276 ], 277 0x22A0: [ // SQUARED TIMES 278 [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], 279 [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] 280 ], 281 0x22A1: [ // SQUARED DOT OPERATOR 282 [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], 283 [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] 284 ], 285 0x22A8: [ // TRUE 286 [4,5,0],[5,6,0],[6,7,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], 287 [16,20,0],[19,23,0],[22,28,0],[26,33,0],[31,39,0],[37,46,0] 288 ], 289 0x22A9: [ // FORCES 290 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[14,14,0],[16,17,0], 291 [19,20,0],[22,23,0],[26,28,0],[31,33,0],[37,39,0],[44,46,0] 292 ], 293 0x22AA: [ // TRIPLE VERTICAL BAR RIGHT TURNSTILE 294 [6,5,0],[7,6,0],[9,7,0],[10,9,0],[12,10,0],[14,12,0],[17,14,0],[19,17,0], 295 [24,20,0],[28,23,0],[33,28,0],[39,33,0],[46,39,0],[55,46,0] 296 ], 297 0x22AC: [ // DOES NOT PROVE 298 [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1], 299 [18,21,1],[21,24,1],[25,29,1],[30,34,1],[35,40,1],[41,47,1] 300 ], 301 0x22AD: [ // NOT TRUE 302 [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1], 303 [18,21,1],[21,24,1],[25,29,1],[29,34,1],[35,40,1],[41,47,1] 304 ], 305 0x22AE: [ // DOES NOT FORCE 306 [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[15,15,1],[18,18,1], 307 [21,21,1],[24,24,1],[29,29,1],[35,34,1],[41,40,1],[48,47,1] 308 ], 309 0x22AF: [ // NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE 310 [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[16,15,1],[18,18,1], 311 [21,21,1],[24,24,1],[30,29,1],[35,34,1],[41,40,1],[49,47,1] 312 ], 313 0x22B2: [ // NORMAL SUBGROUP OF 314 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1], 315 [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] 316 ], 317 0x22B3: [ // CONTAINS AS NORMAL SUBGROUP 318 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 319 [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] 320 ], 321 0x22B4: [ // NORMAL SUBGROUP OF OR EQUAL TO 322 [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3], 323 [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10] 324 ], 325 0x22B5: [ // CONTAINS AS NORMAL SUBGROUP OR EQUAL TO 326 [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3], 327 [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10] 328 ], 329 0x22B8: [ // MULTIMAP 330 [8,3,0],[9,4,0],[11,3,-1],[13,4,-1],[15,5,-1],[18,6,-1],[21,6,-2],[25,8,-2], 331 [30,10,-2],[35,11,-3],[42,13,-3],[50,15,-4],[59,18,-5],[70,21,-6] 332 ], 333 0x22BA: [ // INTERCALATE 334 [4,5,2],[5,6,2],[5,8,3],[6,8,3],[7,9,3],[9,12,4],[10,13,4],[12,15,5], 335 [14,18,6],[17,23,8],[20,26,9],[24,31,10],[28,36,12],[33,43,14] 336 ], 337 0x22BB: [ // XOR 338 [4,5,0],[5,6,0],[6,8,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], 339 [16,20,0],[19,24,0],[22,29,0],[26,34,0],[31,40,0],[37,48,0] 340 ], 341 0x22BC: [ // NAND 342 [4,5,0],[5,6,0],[6,8,1],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], 343 [16,20,0],[19,25,1],[22,29,0],[26,35,1],[31,41,1],[37,49,1] 344 ], 345 0x22C5: [ // DOT OPERATOR 346 [2,2,0],[2,2,0],[3,2,0],[3,3,0],[4,3,0],[4,4,0],[5,4,0],[6,5,0], 347 [7,6,0],[8,7,0],[9,8,0],[11,9,0],[13,11,0],[15,13,0] 348 ], 349 0x22C7: [ // DIVISION TIMES 350 [5,5,1],[6,6,1],[8,7,1],[9,8,1],[10,9,1],[12,11,1],[15,12,1],[17,15,2], 351 [20,18,2],[24,20,2],[29,24,2],[34,29,3],[40,34,3],[48,39,3] 352 ], 353 0x22C9: [ // LEFT NORMAL FACTOR SEMIDIRECT PRODUCT 354 [5,4,0],[6,5,0],[7,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0], 355 [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0] 356 ], 357 0x22CA: [ // RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT 358 [5,4,0],[6,5,0],[6,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0], 359 [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0] 360 ], 361 0x22CB: [ // LEFT SEMIDIRECT PRODUCT 362 [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[15,15,1],[17,18,1], 363 [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2] 364 ], 365 0x22CC: [ // RIGHT SEMIDIRECT PRODUCT 366 [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1],[17,18,1], 367 [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2] 368 ], 369 0x22CD: [ // REVERSED TILDE EQUALS 370 [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,10,0],[17,10,-1], 371 [20,12,-1],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] 372 ], 373 0x22CE: [ // CURLY LOGICAL OR 374 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,10,1],[12,11,1],[14,13,1],[16,15,1], 375 [19,17,1],[23,20,1],[27,24,1],[32,28,1],[38,34,2],[45,41,2] 376 ], 377 0x22CF: [ // CURLY LOGICAL AND 378 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[14,13,1],[16,15,1], 379 [19,17,1],[23,20,1],[27,24,1],[32,29,2],[38,34,2],[45,40,2] 380 ], 381 0x22D0: [ // DOUBLE SUBSET 382 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1], 383 [19,17,2],[23,20,2],[27,23,2],[33,27,2],[39,33,3],[46,39,3] 384 ], 385 0x22D1: [ // DOUBLE SUPERSET 386 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 387 [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] 388 ], 389 0x22D2: [ // DOUBLE INTERSECTION 390 [5,5,1],[5,6,1],[6,7,1],[7,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1], 391 [17,18,1],[21,21,1],[24,25,1],[29,30,2],[34,36,2],[41,42,2] 392 ], 393 0x22D3: [ // DOUBLE UNION 394 [5,5,1],[6,6,1],[6,7,1],[8,8,1],[9,10,1],[11,11,1],[12,13,1],[14,15,1], 395 [18,18,1],[21,21,1],[24,25,1],[29,29,1],[34,36,2],[41,42,2] 396 ], 397 0x22D4: [ // PITCHFORK 398 [5,7,1],[6,8,1],[6,9,1],[8,10,1],[9,12,1],[11,14,1],[12,16,1],[15,19,1], 399 [18,22,1],[21,26,1],[24,30,1],[29,37,2],[34,43,2],[41,51,2] 400 ], 401 0x22D6: [ // LESS-THAN WITH DOT 402 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 403 [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] 404 ], 405 0x22D7: [ // GREATER-THAN WITH DOT 406 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], 407 [20,17,2],[23,20,2],[27,24,2],[33,28,2],[39,33,3],[46,39,3] 408 ], 409 0x22D8: [ // VERY MUCH LESS-THAN 410 [9,5,1],[11,6,1],[13,7,1],[15,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2], 411 [36,18,2],[42,22,3],[50,26,3],[60,31,4],[71,36,4],[84,43,5] 412 ], 413 0x22D9: [ // VERY MUCH GREATER-THAN 414 [9,5,1],[11,6,1],[13,7,1],[16,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2], 415 [36,18,2],[43,22,3],[51,26,3],[60,31,4],[71,36,4],[85,43,5] 416 ], 417 0x22DA: [ // stix-less, equal, slanted, greater 418 [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9], 419 [19,36,11],[23,43,13],[27,50,15],[32,60,18],[38,71,22],[45,85,26] 420 ], 421 0x22DB: [ // stix-greater, equal, slanted, less 422 [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9], 423 [19,36,11],[23,43,13],[27,51,16],[32,60,18],[38,71,22],[45,85,26] 424 ], 425 0x22DE: [ // EQUAL TO OR PRECEDES 426 [5,7,1],[6,8,1],[7,9,1],[9,10,1],[10,12,1],[12,14,1],[14,16,1],[17,18,1], 427 [20,22,1],[23,26,1],[28,30,1],[33,35,1],[39,42,1],[46,50,1] 428 ], 429 0x22DF: [ // EQUAL TO OR SUCCEEDS 430 [5,6,0],[6,7,0],[7,8,0],[9,9,0],[10,11,0],[12,13,0],[14,15,0],[17,18,0], 431 [20,21,0],[23,25,0],[28,29,0],[33,35,0],[39,41,0],[46,49,0] 432 ], 433 0x22E0: [ // stix-not (vert) precedes or contour equals 434 [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,27,7], 435 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 436 ], 437 0x22E1: [ // stix-not (vert) succeeds or contour equals 438 [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 439 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 440 ], 441 0x22E6: [ // LESS-THAN BUT NOT EQUIVALENT TO 442 [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], 443 [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24] 444 ], 445 0x22E7: [ // GREATER-THAN BUT NOT EQUIVALENT TO 446 [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], 447 [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24] 448 ], 449 0x22E8: [ // PRECEDES BUT NOT EQUIVALENT TO 450 [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], 451 [20,31,10],[24,37,12],[29,43,14],[34,51,17],[40,61,20],[48,73,24] 452 ], 453 0x22E9: [ // SUCCEEDS BUT NOT EQUIVALENT TO 454 [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,23,8],[17,26,9], 455 [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,62,21],[48,73,24] 456 ], 457 0x22EA: [ // NOT NORMAL SUBGROUP OF 458 [5,8,2],[6,9,2],[7,10,3],[8,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], 459 [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] 460 ], 461 0x22EB: [ // DOES NOT CONTAIN AS NORMAL SUBGROUP 462 [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], 463 [19,26,6],[23,31,7],[27,37,9],[33,43,10],[39,52,12],[46,61,14] 464 ], 465 0x22EC: [ // stix-not, vert, left triangle, equals 466 [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 467 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 468 ], 469 0x22ED: [ // stix-not, vert, right triangle, equals 470 [5,9,3],[6,10,3],[8,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], 471 [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] 472 ] 473 } 474 }); 475 476 MathJax.Ajax.loadComplete(MathJax.OutputJax["HTML-CSS"].imgDir+"/AMS/Regular"+ 477 MathJax.OutputJax["HTML-CSS"].imgPacked+"/MathOperators.js");