MathOperators.js (8132B)
1 /************************************************************* 2 * 3 * MathJax/jax/output/HTML-CSS/fonts/TeX/AMS/Regular/MathOperators.js 4 * 5 * Copyright (c) 2009-2015 The MathJax Consortium 6 * 7 * Licensed under the Apache License, Version 2.0 (the "License"); 8 * you may not use this file except in compliance with the License. 9 * You may obtain a copy of the License at 10 * 11 * http://www.apache.org/licenses/LICENSE-2.0 12 * 13 * Unless required by applicable law or agreed to in writing, software 14 * distributed under the License is distributed on an "AS IS" BASIS, 15 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 16 * See the License for the specific language governing permissions and 17 * limitations under the License. 18 * 19 */ 20 21 MathJax.Hub.Insert( 22 MathJax.OutputJax['HTML-CSS'].FONTDATA.FONTS['MathJax_AMS'], 23 { 24 0x2201: [846,21,500,56,444], // COMPLEMENT 25 0x2204: [860,166,556,55,497], // THERE DOES NOT EXIST 26 0x2205: [587,3,778,54,720], // EMPTY SET 27 0x220D: [440,1,429,102,456], // SMALL CONTAINS AS MEMBER 28 0x2212: [270,-230,500,84,417], // MINUS SIGN 29 0x2214: [766,93,778,57,722], // DOT PLUS 30 0x2216: [430,23,778,91,685], // SET MINUS 31 0x221D: [472,-28,778,56,722], // PROPORTIONAL TO 32 0x2220: [694,0,722,55,666], // ANGLE 33 0x2221: [714,20,722,55,666], // MEASURED ANGLE 34 0x2222: [551,51,722,55,666], // SPHERICAL ANGLE 35 0x2223: [430,23,222,91,131], // DIVIDES 36 0x2224: [750,252,278,-21,297], // DOES NOT DIVIDE 37 0x2225: [431,23,389,55,331], // PARALLEL TO 38 0x2226: [750,250,500,-20,518], // NOT PARALLEL TO 39 0x2234: [471,82,667,24,643], // THEREFORE 40 0x2235: [471,82,667,23,643], // BECAUSE 41 0x223C: [365,-132,778,55,719], // TILDE OPERATOR 42 0x223D: [367,-133,778,56,722], // REVERSED TILDE 43 0x2241: [467,-32,778,55,719], // stix-not, vert, similar 44 0x2242: [463,-34,778,55,720], // MINUS TILDE 45 0x2246: [652,155,778,54,720], // APPROXIMATELY BUT NOT ACTUALLY EQUAL TO 46 0x2248: [481,-50,778,55,719], // ALMOST EQUAL TO 47 0x224A: [579,39,778,51,725], // ALMOST EQUAL OR EQUAL TO 48 0x224E: [492,-8,778,56,722], // GEOMETRICALLY EQUIVALENT TO 49 0x224F: [492,-133,778,56,722], // DIFFERENCE BETWEEN 50 0x2251: [609,108,778,56,722], // GEOMETRICALLY EQUAL TO 51 0x2252: [601,101,778,15,762], // APPROXIMATELY EQUAL TO OR THE IMAGE OF 52 0x2253: [601,102,778,14,762], // IMAGE OF OR APPROXIMATELY EQUAL TO 53 0x2256: [367,-133,778,56,722], // RING IN EQUAL TO 54 0x2257: [721,-133,778,56,722], // RING EQUAL TO 55 0x225C: [859,-133,778,56,723], // DELTA EQUAL TO 56 0x2266: [753,175,778,83,694], // LESS-THAN OVER EQUAL TO 57 0x2267: [753,175,778,83,694], // GREATER-THAN OVER EQUAL TO 58 0x2268: [752,286,778,82,693], // stix-less, vert, not double equals 59 0x2269: [752,286,778,82,693], // stix-gt, vert, not double equals 60 0x226C: [750,250,500,74,425], // BETWEEN 61 0x226E: [708,209,778,82,693], // stix-not, vert, less-than 62 0x226F: [708,209,778,82,693], // stix-not, vert, greater-than 63 0x2270: [801,303,778,82,694], // stix-not, vert, less-than-or-equal 64 0x2271: [801,303,778,82,694], // stix-not, vert, greater-than-or-equal 65 0x2272: [732,228,778,56,722], // stix-less-than or (contour) similar 66 0x2273: [732,228,778,56,722], // stix-greater-than or (contour) similar 67 0x2276: [681,253,778,44,734], // LESS-THAN OR GREATER-THAN 68 0x2277: [681,253,778,83,694], // GREATER-THAN OR LESS-THAN 69 0x227C: [580,153,778,83,694], // PRECEDES OR EQUAL TO 70 0x227D: [580,154,778,82,694], // SUCCEEDS OR EQUAL TO 71 0x227E: [732,228,778,56,722], // PRECEDES OR EQUIVALENT TO 72 0x227F: [732,228,778,56,722], // SUCCEEDS OR EQUIVALENT TO 73 0x2280: [705,208,778,82,693], // DOES NOT PRECEDE 74 0x2281: [705,208,778,82,693], // stix-not (vert) succeeds 75 0x2288: [801,303,778,83,693], // stix-/nsubseteq N: not (vert) subset, equals 76 0x2289: [801,303,778,82,691], // stix-/nsupseteq N: not (vert) superset, equals 77 0x228A: [635,241,778,84,693], // stix-subset, not equals, variant 78 0x228B: [635,241,778,82,691], // stix-superset, not equals, variant 79 0x228F: [539,41,778,83,694], // SQUARE IMAGE OF 80 0x2290: [539,41,778,64,714], // SQUARE ORIGINAL OF 81 0x229A: [582,82,778,57,721], // CIRCLED RING OPERATOR 82 0x229B: [582,82,778,57,721], // CIRCLED ASTERISK OPERATOR 83 0x229D: [582,82,778,57,721], // CIRCLED DASH 84 0x229E: [689,0,778,55,722], // SQUARED PLUS 85 0x229F: [689,0,778,55,722], // SQUARED MINUS 86 0x22A0: [689,0,778,55,722], // SQUARED TIMES 87 0x22A1: [689,0,778,55,722], // SQUARED DOT OPERATOR 88 0x22A8: [694,0,611,55,555], // TRUE 89 0x22A9: [694,0,722,55,666], // FORCES 90 0x22AA: [694,0,889,55,833], // TRIPLE VERTICAL BAR RIGHT TURNSTILE 91 0x22AC: [695,1,611,-55,554], // DOES NOT PROVE 92 0x22AD: [695,1,611,-55,554], // NOT TRUE 93 0x22AE: [695,1,722,-55,665], // DOES NOT FORCE 94 0x22AF: [695,1,722,-55,665], // NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE 95 0x22B2: [539,41,778,83,694], // NORMAL SUBGROUP OF 96 0x22B3: [539,41,778,83,694], // CONTAINS AS NORMAL SUBGROUP 97 0x22B4: [636,138,778,83,694], // NORMAL SUBGROUP OF OR EQUAL TO 98 0x22B5: [636,138,778,83,694], // CONTAINS AS NORMAL SUBGROUP OR EQUAL TO 99 0x22B8: [408,-92,1111,55,1055], // MULTIMAP 100 0x22BA: [431,212,556,57,500], // INTERCALATE 101 0x22BB: [716,0,611,55,555], // XOR 102 0x22BC: [716,0,611,55,555], // NAND 103 0x22C5: [189,0,278,55,222], // DOT OPERATOR 104 0x22C7: [545,44,778,55,720], // DIVISION TIMES 105 0x22C9: [492,-8,778,146,628], // LEFT NORMAL FACTOR SEMIDIRECT PRODUCT 106 0x22CA: [492,-8,778,146,628], // RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT 107 0x22CB: [694,22,778,55,722], // LEFT SEMIDIRECT PRODUCT 108 0x22CC: [694,22,778,55,722], // RIGHT SEMIDIRECT PRODUCT 109 0x22CD: [464,-36,778,56,722], // REVERSED TILDE EQUALS 110 0x22CE: [578,21,760,83,676], // CURLY LOGICAL OR 111 0x22CF: [578,22,760,83,676], // CURLY LOGICAL AND 112 0x22D0: [540,40,778,84,694], // DOUBLE SUBSET 113 0x22D1: [540,40,778,83,693], // DOUBLE SUPERSET 114 0x22D2: [598,22,667,55,611], // DOUBLE INTERSECTION 115 0x22D3: [598,22,667,55,611], // DOUBLE UNION 116 0x22D4: [736,22,667,56,611], // PITCHFORK 117 0x22D6: [541,41,778,82,693], // LESS-THAN WITH DOT 118 0x22D7: [541,41,778,82,693], // GREATER-THAN WITH DOT 119 0x22D8: [568,67,1333,56,1277], // VERY MUCH LESS-THAN 120 0x22D9: [568,67,1333,55,1277], // VERY MUCH GREATER-THAN 121 0x22DA: [886,386,778,83,674], // stix-less, equal, slanted, greater 122 0x22DB: [886,386,778,83,674], // stix-greater, equal, slanted, less 123 0x22DE: [734,0,778,83,694], // EQUAL TO OR PRECEDES 124 0x22DF: [734,0,778,82,694], // EQUAL TO OR SUCCEEDS 125 0x22E0: [801,303,778,82,693], // stix-not (vert) precedes or contour equals 126 0x22E1: [801,303,778,82,694], // stix-not (vert) succeeds or contour equals 127 0x22E6: [730,359,778,55,719], // LESS-THAN BUT NOT EQUIVALENT TO 128 0x22E7: [730,359,778,55,719], // GREATER-THAN BUT NOT EQUIVALENT TO 129 0x22E8: [730,359,778,55,719], // PRECEDES BUT NOT EQUIVALENT TO 130 0x22E9: [730,359,778,55,719], // SUCCEEDS BUT NOT EQUIVALENT TO 131 0x22EA: [706,208,778,82,693], // NOT NORMAL SUBGROUP OF 132 0x22EB: [706,208,778,82,693], // DOES NOT CONTAIN AS NORMAL SUBGROUP 133 0x22EC: [802,303,778,82,693], // stix-not, vert, left triangle, equals 134 0x22ED: [801,303,778,82,693] // stix-not, vert, right triangle, equals 135 } 136 ); 137 138 MathJax.Ajax.loadComplete(MathJax.OutputJax["HTML-CSS"].fontDir + "/AMS/Regular/MathOperators.js");