MathOperators.js (13902B)
1 /************************************************************* 2 * 3 * MathJax/fonts/HTML-CSS/TeX/png/Main/Bold/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_Main-bold": { 29 0x2200: [ // FOR ALL 30 [6,5,0],[7,7,1],[8,8,1],[9,10,1],[10,10,0],[12,13,1],[14,15,1],[16,18,1], 31 [19,21,1],[23,25,1],[26,28,1],[31,34,1],[37,40,1],[44,48,2] 32 ], 33 0x2202: [ // PARTIAL DIFFERENTIAL 34 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,11,1],[11,13,1],[13,15,1],[16,18,1], 35 [19,21,1],[22,25,1],[26,29,1],[31,34,1],[37,41,1],[44,49,2] 36 ], 37 0x2203: [ // THERE EXISTS 38 [4,5,0],[5,6,0],[6,7,0],[7,8,0],[8,10,0],[10,12,0],[12,14,0],[14,17,0], 39 [16,20,0],[19,23,0],[23,28,0],[27,33,0],[32,39,0],[38,46,0] 40 ], 41 0x2205: [ // EMPTY SET 42 [4,7,1],[5,8,1],[6,9,1],[7,11,1],[8,12,1],[9,15,2],[11,17,2],[13,20,2], 43 [15,25,3],[18,29,3],[21,35,4],[25,40,4],[30,48,5],[35,56,5] 44 ], 45 0x2207: [ // NABLA 46 [7,5,0],[8,6,0],[9,8,1],[11,10,1],[13,11,1],[15,13,1],[18,15,1],[21,17,1], 47 [25,20,1],[30,24,1],[36,28,1],[42,34,2],[50,40,2],[60,48,2] 48 ], 49 0x2208: [ // ELEMENT OF 50 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,12,2],[14,14,2],[16,16,2], 51 [19,20,3],[23,23,3],[27,27,4],[31,32,4],[38,38,5],[44,45,6] 52 ], 53 0x2209: [ // stix-negated (vert) set membership, variant 54 [5,7,2],[6,8,2],[7,10,3],[8,12,3],[10,13,3],[12,16,4],[13,19,5],[16,22,5], 55 [19,26,6],[22,31,7],[27,37,9],[31,43,10],[37,51,12],[44,62,15] 56 ], 57 0x220B: [ // CONTAINS AS MEMBER 58 [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,12,2],[14,14,2],[16,16,2], 59 [19,20,3],[23,23,3],[27,27,4],[32,32,4],[37,38,5],[45,45,6] 60 ], 61 0x2212: [ // MINUS SIGN 62 [6,1,-1],[7,1,-2],[8,1,-2],[10,2,-2],[12,1,-3],[14,2,-3],[16,2,-4],[19,2,-5], 63 [23,2,-6],[27,3,-7],[32,3,-8],[38,4,-10],[45,4,-12],[53,5,-14] 64 ], 65 0x2213: [ // MINUS-OR-PLUS SIGN 66 [6,6,2],[7,7,2],[9,9,3],[10,10,3],[12,11,3],[14,13,4],[17,16,5],[20,19,6], 67 [23,22,7],[28,26,8],[33,31,9],[39,36,11],[46,43,13],[55,52,16] 68 ], 69 0x2215: [ // DIVISION SLASH 70 [4,8,2],[5,10,3],[5,11,3],[6,12,3],[8,15,4],[9,18,5],[10,20,5],[12,24,6], 71 [15,28,7],[17,34,9],[20,40,10],[24,47,12],[29,56,14],[34,67,17] 72 ], 73 0x2216: [ // SET MINUS 74 [4,8,2],[5,10,3],[5,11,3],[6,12,3],[8,15,4],[9,18,5],[10,20,5],[12,24,6], 75 [15,28,7],[17,34,9],[20,40,10],[24,47,12],[29,56,14],[34,67,17] 76 ], 77 0x2217: [ // ASTERISK OPERATOR 78 [4,4,0],[5,4,0],[5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,11,0], 79 [14,14,0],[17,16,0],[20,18,-1],[24,21,-1],[28,26,-1],[33,31,-1] 80 ], 81 0x2218: [ // RING OPERATOR 82 [4,4,0],[4,4,0],[5,5,0],[6,6,0],[8,7,0],[9,8,0],[10,10,0],[12,11,0], 83 [15,14,0],[17,16,0],[20,18,-1],[24,22,-1],[29,26,-1],[34,31,-1] 84 ], 85 0x2219: [ // BULLET OPERATOR 86 [4,4,0],[5,4,0],[5,5,0],[6,6,0],[8,7,0],[9,8,0],[10,10,0],[12,11,0], 87 [15,14,0],[17,16,0],[20,18,-1],[24,22,-1],[29,26,-1],[34,31,-1] 88 ], 89 0x221A: [ // SQUARE ROOT 90 [7,8,2],[9,9,2],[10,11,2],[12,13,3],[14,15,3],[17,17,3],[20,20,4],[24,25,5], 91 [28,28,5],[33,33,6],[39,41,8],[47,48,9],[55,56,10],[66,66,12] 92 ], 93 0x221D: [ // PROPORTIONAL TO 94 [6,3,0],[7,4,0],[9,5,0],[10,7,1],[12,8,1],[14,9,1],[17,10,1],[20,12,1], 95 [24,14,1],[28,16,1],[33,19,1],[39,22,1],[47,26,1],[55,31,1] 96 ], 97 0x221E: [ // INFINITY 98 [8,3,0],[9,4,0],[11,6,1],[13,7,1],[15,8,1],[18,9,1],[22,10,1],[26,12,1], 99 [30,14,1],[36,16,1],[43,19,1],[51,22,1],[61,26,1],[72,31,1] 100 ], 101 0x2220: [ // ANGLE 102 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[14,14,0],[16,17,0], 103 [19,20,0],[23,24,0],[27,28,0],[32,33,0],[38,40,0],[45,47,0] 104 ], 105 0x2223: [ // DIVIDES 106 [2,8,2],[2,10,3],[2,11,3],[3,12,3],[3,15,4],[4,18,5],[4,20,5],[5,24,6], 107 [6,28,7],[7,34,9],[8,40,10],[9,47,12],[11,56,14],[13,67,17] 108 ], 109 0x2225: [ // PARALLEL TO 110 [3,8,2],[4,10,3],[5,11,3],[6,12,3],[6,15,4],[7,18,5],[9,20,5],[11,24,6], 111 [12,28,7],[15,34,9],[17,40,10],[21,47,12],[24,56,14],[29,67,17] 112 ], 113 0x2227: [ // LOGICAL AND 114 [5,6,1],[6,7,1],[7,7,1],[9,9,1],[10,10,1],[12,12,1],[14,13,1],[17,16,1], 115 [20,18,1],[24,21,1],[28,25,1],[33,30,1],[39,35,1],[47,42,2] 116 ], 117 0x2228: [ // LOGICAL OR 118 [5,6,1],[6,7,1],[7,7,1],[9,9,1],[10,10,1],[12,12,1],[14,13,1],[17,16,1], 119 [20,18,1],[24,21,1],[28,25,1],[33,30,1],[39,35,1],[47,42,2] 120 ], 121 0x2229: [ // stix-intersection, serifs 122 [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,11,1],[14,13,1],[17,15,1], 123 [20,18,1],[24,21,1],[28,25,1],[33,30,1],[39,35,1],[47,41,1] 124 ], 125 0x222A: [ // stix-union, serifs 126 [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,9,0],[12,12,1],[14,13,1],[17,16,1], 127 [20,18,1],[24,21,1],[28,25,1],[33,30,1],[39,35,1],[47,42,2] 128 ], 129 0x222B: [ // INTEGRAL 130 [5,7,2],[6,8,2],[7,10,3],[8,12,3],[9,13,3],[11,16,4],[13,19,5],[15,22,5], 131 [18,26,6],[21,31,7],[25,37,9],[30,43,10],[35,52,12],[42,61,14] 132 ], 133 0x223C: [ // TILDE OPERATOR 134 [6,3,0],[7,3,-1],[8,3,-1],[10,4,-1],[12,5,-1],[14,6,-1],[17,6,-2],[20,8,-2], 135 [23,8,-3],[28,10,-3],[33,12,-4],[39,14,-5],[46,16,-6],[55,19,-7] 136 ], 137 0x2240: [ // WREATH PRODUCT 138 [2,5,1],[2,6,1],[3,7,1],[3,8,1],[4,9,1],[5,12,2],[5,14,2],[6,16,2], 139 [8,20,3],[9,23,3],[10,27,4],[12,32,4],[15,38,5],[17,45,6] 140 ], 141 0x2243: [ // ASYMPTOTICALLY EQUAL TO 142 [6,4,0],[7,4,0],[9,5,0],[10,6,0],[12,7,0],[14,10,1],[17,11,1],[20,13,1], 143 [23,15,1],[28,18,1],[33,21,1],[39,25,1],[46,29,1],[55,35,1] 144 ], 145 0x2245: [ // APPROXIMATELY EQUAL TO 146 [6,5,0],[7,6,0],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],[20,16,1], 147 [23,19,1],[28,22,1],[33,27,2],[39,32,2],[46,38,2],[55,44,2] 148 ], 149 0x2248: [ // ALMOST EQUAL TO 150 [6,4,0],[7,5,0],[8,5,0],[10,7,0],[12,8,0],[14,9,0],[17,11,0],[20,13,0], 151 [23,15,0],[28,17,-1],[33,20,-1],[39,24,-1],[46,28,-1],[55,33,-2] 152 ], 153 0x224D: [ // EQUIVALENT TO 154 [6,5,1],[7,6,1],[9,7,1],[10,8,1],[12,9,1],[14,10,1],[17,12,1],[20,14,1], 155 [23,16,1],[28,20,2],[33,23,2],[39,27,2],[46,32,2],[55,39,3] 156 ], 157 0x2250: [ // APPROACHES THE LIMIT 158 [6,5,0],[7,5,-1],[9,7,-1],[10,8,-1],[12,9,-1],[14,11,-1],[17,13,-2],[20,15,-2], 159 [23,17,-3],[28,21,-3],[33,25,-4],[39,29,-5],[46,34,-6],[55,41,-7] 160 ], 161 0x2260: [ // stix-not (vert) equals 162 [6,7,2],[7,9,2],[9,10,3],[10,12,3],[12,14,4],[14,16,4],[17,20,5],[20,22,5], 163 [23,26,6],[28,31,7],[33,37,9],[39,43,10],[46,51,12],[55,61,14] 164 ], 165 0x2261: [ // IDENTICAL TO 166 [6,4,0],[7,4,0],[9,5,0],[10,6,0],[12,7,0],[14,10,1],[17,11,1],[20,13,1], 167 [23,15,1],[28,18,1],[33,21,1],[39,25,1],[46,29,1],[55,35,1] 168 ], 169 0x2264: [ // LESS-THAN OR EQUAL TO 170 [6,7,2],[7,8,2],[8,9,2],[10,12,3],[12,13,3],[14,16,4],[16,18,4],[19,22,5], 171 [23,26,6],[27,30,7],[32,36,8],[38,43,10],[45,50,11],[53,60,14] 172 ], 173 0x2265: [ // GREATER-THAN OR EQUAL TO 174 [6,7,2],[7,8,2],[8,9,2],[10,12,3],[12,13,3],[14,16,4],[16,18,4],[19,22,5], 175 [23,26,6],[27,30,7],[32,36,8],[38,43,10],[45,50,11],[53,60,14] 176 ], 177 0x226A: [ // MUCH LESS-THAN 178 [8,6,1],[9,7,1],[11,9,2],[13,10,2],[15,11,2],[18,13,2],[22,16,3],[26,18,3], 179 [30,22,4],[36,25,4],[43,30,5],[51,35,6],[60,42,7],[72,49,8] 180 ], 181 0x226B: [ // MUCH GREATER-THAN 182 [8,6,1],[10,7,1],[11,9,2],[13,10,2],[16,11,2],[19,13,2],[22,16,3],[26,18,3], 183 [31,22,4],[36,25,4],[43,30,5],[51,35,6],[61,42,7],[72,49,8] 184 ], 185 0x227A: [ // PRECEDES 186 [6,6,1],[7,6,1],[8,7,1],[10,8,1],[12,11,2],[14,12,2],[16,14,2],[19,16,2], 187 [23,20,3],[27,23,3],[32,27,4],[38,32,4],[45,38,5],[53,45,6] 188 ], 189 0x227B: [ // SUCCEEDS 190 [6,6,1],[7,6,1],[8,7,1],[10,9,2],[11,11,2],[14,12,2],[16,14,2],[19,16,2], 191 [22,20,3],[27,23,3],[32,27,4],[37,32,4],[44,38,5],[53,45,6] 192 ], 193 0x2282: [ // SUBSET OF 194 [6,5,1],[7,6,1],[8,7,1],[10,8,1],[12,9,1],[14,12,2],[16,14,2],[19,16,2], 195 [23,20,3],[27,23,3],[32,27,4],[37,32,4],[45,38,5],[53,45,6] 196 ], 197 0x2283: [ // SUPERSET OF 198 [6,6,1],[7,6,1],[8,7,1],[10,8,1],[12,10,1],[14,12,2],[16,14,2],[19,16,2], 199 [23,20,3],[27,23,3],[32,27,4],[38,32,4],[45,38,5],[53,45,6] 200 ], 201 0x2286: [ // SUBSET OF OR EQUAL TO 202 [6,7,2],[7,8,2],[8,9,2],[10,12,3],[12,13,3],[14,16,4],[16,18,4],[19,22,5], 203 [23,26,6],[27,30,7],[32,36,8],[37,43,10],[45,50,11],[53,60,14] 204 ], 205 0x2287: [ // SUPERSET OF OR EQUAL TO 206 [6,7,2],[7,8,2],[8,9,2],[10,12,3],[11,13,3],[14,16,4],[16,18,4],[19,22,5], 207 [23,26,6],[27,30,7],[32,36,8],[38,43,10],[44,50,11],[53,60,14] 208 ], 209 0x228E: [ // MULTISET UNION 210 [5,5,0],[6,6,0],[7,6,0],[9,8,0],[10,9,0],[12,12,1],[14,13,1],[17,16,1], 211 [20,18,1],[24,21,1],[28,25,1],[33,29,1],[39,35,1],[47,42,2] 212 ], 213 0x2291: [ // SQUARE IMAGE OF OR EQUAL TO 214 [6,7,2],[7,8,2],[9,9,2],[10,12,3],[12,13,3],[14,16,4],[17,18,4],[20,22,5], 215 [23,26,6],[28,30,7],[33,36,8],[39,43,10],[46,50,11],[55,60,14] 216 ], 217 0x2292: [ // SQUARE ORIGINAL OF OR EQUAL TO 218 [6,7,2],[7,8,2],[8,9,2],[10,12,3],[12,13,3],[14,16,4],[16,18,4],[19,22,5], 219 [23,26,6],[27,30,7],[32,36,8],[38,43,10],[45,50,11],[53,60,14] 220 ], 221 0x2293: [ // stix-square intersection, serifs 222 [5,5,1],[6,5,0],[7,6,0],[9,8,1],[10,10,1],[12,11,0],[14,12,0],[17,15,0], 223 [20,17,0],[23,20,0],[28,25,1],[33,29,0],[39,34,0],[47,40,0] 224 ], 225 0x2294: [ // stix-square union, serifs 226 [5,5,0],[6,6,0],[7,6,0],[9,8,0],[10,9,0],[12,11,0],[14,12,0],[17,15,0], 227 [20,17,0],[23,20,0],[28,24,0],[33,29,0],[39,34,0],[47,40,0] 228 ], 229 0x2295: [ // stix-circled plus (with rim) 230 [7,6,1],[7,7,1],[8,8,2],[10,10,2],[12,11,2],[14,14,3],[17,16,3],[20,19,4], 231 [23,22,4],[28,26,5],[33,31,6],[39,37,7],[46,43,8],[55,51,9] 232 ], 233 0x2296: [ // CIRCLED MINUS 234 [6,6,1],[7,7,1],[9,8,2],[10,10,2],[12,11,2],[14,14,3],[17,16,3],[20,19,4], 235 [23,22,4],[28,26,5],[33,31,6],[39,37,7],[46,43,8],[55,51,9] 236 ], 237 0x2297: [ // stix-circled times (with rim) 238 [6,6,1],[7,7,1],[8,8,2],[10,10,2],[12,11,2],[14,14,3],[17,16,3],[20,19,4], 239 [23,22,4],[28,26,5],[33,31,6],[39,37,7],[46,43,8],[55,51,9] 240 ], 241 0x2298: [ // CIRCLED DIVISION SLASH 242 [6,6,1],[7,7,1],[8,8,2],[10,10,2],[12,11,2],[14,14,3],[17,16,3],[20,19,4], 243 [23,22,4],[28,26,5],[33,31,6],[39,37,7],[46,43,8],[55,51,9] 244 ], 245 0x2299: [ // CIRCLED DOT OPERATOR 246 [6,6,1],[7,7,1],[8,8,2],[10,10,2],[12,11,2],[14,14,3],[17,16,3],[20,19,4], 247 [23,22,4],[28,26,5],[33,31,6],[39,37,7],[46,43,8],[55,51,9] 248 ], 249 0x22A2: [ // RIGHT TACK 250 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[9,10,0],[11,12,0],[13,14,0],[15,17,0], 251 [18,20,0],[21,23,0],[25,28,0],[30,33,0],[36,39,0],[42,46,0] 252 ], 253 0x22A3: [ // LEFT TACK 254 [5,5,0],[6,6,0],[7,7,0],[8,9,0],[9,10,0],[11,12,0],[13,14,0],[15,17,0], 255 [18,20,0],[21,23,0],[25,28,0],[30,33,0],[36,39,0],[42,46,0] 256 ], 257 0x22A4: [ // DOWN TACK 258 [6,5,0],[7,6,0],[9,7,0],[10,10,1],[12,10,0],[14,13,1],[17,15,1],[20,17,0], 259 [23,21,1],[28,23,0],[33,28,0],[39,34,1],[46,39,0],[55,46,0] 260 ], 261 0x22A5: [ // UP TACK 262 [6,5,0],[7,6,0],[9,7,0],[10,9,0],[12,10,0],[14,12,0],[17,14,0],[20,17,0], 263 [23,20,0],[28,23,0],[33,28,0],[39,33,0],[46,39,0],[55,46,0] 264 ], 265 0x22A8: [ // TRUE 266 [7,8,2],[8,10,3],[10,11,3],[11,12,3],[13,15,4],[16,18,5],[19,20,5],[22,24,6], 267 [26,28,7],[31,34,9],[36,40,10],[43,47,12],[51,56,14],[61,67,17] 268 ], 269 0x22C4: [ // DIAMOND OPERATOR 270 [4,5,1],[5,6,1],[6,7,1],[7,8,1],[8,9,1],[10,10,1],[11,12,1],[14,14,1], 271 [16,16,1],[19,19,1],[22,22,1],[27,26,1],[32,31,2],[37,37,2] 272 ], 273 0x22C5: [ // DOT OPERATOR 274 [2,2,-1],[3,2,-1],[3,3,-1],[3,3,-1],[4,3,-2],[5,4,-2],[5,4,-3],[6,5,-3], 275 [7,6,-4],[9,7,-5],[10,8,-6],[12,9,-7],[14,10,-9],[17,13,-10] 276 ], 277 0x22C6: [ // STAR OPERATOR 278 [4,4,0],[5,5,0],[6,5,0],[7,6,0],[8,7,0],[10,9,0],[11,10,0],[13,12,0], 279 [16,14,0],[19,17,0],[22,20,0],[26,24,0],[31,28,0],[37,34,0] 280 ], 281 0x22C8: [ // BOWTIE 282 [7,5,1],[8,6,1],[10,7,1],[12,8,1],[13,9,1],[17,10,1],[19,12,1],[23,14,1], 283 [27,17,2],[32,20,2],[38,24,2],[45,28,2],[54,33,3],[64,39,3] 284 ], 285 0x22EE: [ // VERTICAL ELLIPSIS 286 [2,8,1],[3,9,1],[3,11,1],[3,13,1],[4,15,1],[5,17,1],[5,20,1],[6,24,1], 287 [7,28,1],[9,33,1],[10,40,2],[12,47,2],[14,55,2],[17,65,2] 288 ], 289 0x22EF: [ // MIDLINE HORIZONTAL ELLIPSIS 290 [9,2,-1],[11,2,-1],[13,3,-1],[15,3,-1],[17,3,-2],[21,4,-2],[24,4,-3],[29,5,-3], 291 [34,6,-4],[41,7,-5],[48,8,-6],[57,9,-7],[68,10,-9],[81,13,-10] 292 ], 293 0x22F1: [ // DOWN RIGHT DIAGONAL ELLIPSIS 294 [9,7,0],[10,8,0],[12,9,0],[15,10,-1],[17,12,-1],[20,14,-1],[24,16,-1],[28,19,-2], 295 [33,23,-2],[40,26,-3],[47,32,-3],[56,37,-4],[67,44,-5],[79,52,-6] 296 ] 297 } 298 }); 299 300 MathJax.Ajax.loadComplete(MathJax.OutputJax["HTML-CSS"].imgDir+"/Main/Bold"+ 301 MathJax.OutputJax["HTML-CSS"].imgPacked+"/MathOperators.js");