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