MathOperators.js (12009B)
1 /************************************************************* 2 * 3 * MathJax/jax/output/HTML-CSS/optable/MathOperators.js 4 * 5 * Copyright (c) 2010-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 (function (MML) { 22 var MO = MML.mo.OPTYPES; 23 var TEXCLASS = MML.TEXCLASS; 24 25 MathJax.Hub.Insert(MML.mo.prototype,{ 26 OPTABLE: { 27 prefix: { 28 '\u2204': MO.ORD21, // there does not exist 29 '\u221B': MO.ORD11, // cube root 30 '\u221C': MO.ORD11, // fourth root 31 '\u2221': MO.ORD, // measured angle 32 '\u2222': MO.ORD, // spherical angle 33 '\u222C': MO.INTEGRAL, // double integral 34 '\u222D': MO.INTEGRAL, // triple integral 35 '\u222F': MO.INTEGRAL, // surface integral 36 '\u2230': MO.INTEGRAL, // volume integral 37 '\u2231': MO.INTEGRAL, // clockwise integral 38 '\u2232': MO.INTEGRAL, // clockwise contour integral 39 '\u2233': MO.INTEGRAL // anticlockwise contour integral 40 }, 41 infix: { 42 '\u2201': [1,2,TEXCLASS.ORD], // complement 43 '\u2206': MO.BIN3, // increment 44 '\u220A': MO.REL, // small element of 45 '\u220C': MO.REL, // does not contain as member 46 '\u220D': MO.REL, // small contains as member 47 '\u220E': MO.BIN3, // end of proof 48 '\u2214': MO.BIN4, // dot plus 49 '\u221F': MO.REL, // right angle 50 '\u2224': MO.REL, // does not divide 51 '\u2226': MO.REL, // not parallel to 52 '\u2234': MO.REL, // therefore 53 '\u2235': MO.REL, // because 54 '\u2236': MO.REL, // ratio 55 '\u2237': MO.REL, // proportion 56 '\u2238': MO.BIN4, // dot minus 57 '\u2239': MO.REL, // excess 58 '\u223A': MO.BIN4, // geometric proportion 59 '\u223B': MO.REL, // homothetic 60 '\u223D': MO.REL, // reversed tilde 61 '\u223D\u0331': MO.BIN3, // reversed tilde with underline 62 '\u223E': MO.REL, // inverted lazy s 63 '\u223F': MO.BIN3, // sine wave 64 '\u2241': MO.REL, // not tilde 65 '\u2242': MO.REL, // minus tilde 66 '\u2242\u0338': MO.REL, // minus tilde with slash 67 '\u2244': MO.REL, // not asymptotically equal to 68 '\u2246': MO.REL, // approximately but not actually equal to 69 '\u2247': MO.REL, // neither approximately nor actually equal to 70 '\u2249': MO.REL, // not almost equal to 71 '\u224A': MO.REL, // almost equal or equal to 72 '\u224B': MO.REL, // triple tilde 73 '\u224C': MO.REL, // all equal to 74 '\u224E': MO.REL, // geometrically equivalent to 75 '\u224E\u0338': MO.REL, // geometrically equivalent to with slash 76 '\u224F': MO.REL, // difference between 77 '\u224F\u0338': MO.REL, // difference between with slash 78 '\u2251': MO.REL, // geometrically equal to 79 '\u2252': MO.REL, // approximately equal to or the image of 80 '\u2253': MO.REL, // image of or approximately equal to 81 '\u2254': MO.REL, // colon equals 82 '\u2255': MO.REL, // equals colon 83 '\u2256': MO.REL, // ring in equal to 84 '\u2257': MO.REL, // ring equal to 85 '\u2258': MO.REL, // corresponds to 86 '\u2259': MO.REL, // estimates 87 '\u225A': MO.REL, // equiangular to 88 '\u225C': MO.REL, // delta equal to 89 '\u225D': MO.REL, // equal to by definition 90 '\u225E': MO.REL, // measured by 91 '\u225F': MO.REL, // questioned equal to 92 '\u2262': MO.REL, // not identical to 93 '\u2263': MO.REL, // strictly equivalent to 94 '\u2266': MO.REL, // less-than over equal to 95 '\u2266\u0338': MO.REL, // less-than over equal to with slash 96 '\u2267': MO.REL, // greater-than over equal to 97 '\u2268': MO.REL, // less-than but not equal to 98 '\u2269': MO.REL, // greater-than but not equal to 99 '\u226A\u0338': MO.REL, // much less than with slash 100 '\u226B\u0338': MO.REL, // much greater than with slash 101 '\u226C': MO.REL, // between 102 '\u226D': MO.REL, // not equivalent to 103 '\u226E': MO.REL, // not less-than 104 '\u226F': MO.REL, // not greater-than 105 '\u2270': MO.REL, // neither less-than nor equal to 106 '\u2271': MO.REL, // neither greater-than nor equal to 107 '\u2272': MO.REL, // less-than or equivalent to 108 '\u2273': MO.REL, // greater-than or equivalent to 109 '\u2274': MO.REL, // neither less-than nor equivalent to 110 '\u2275': MO.REL, // neither greater-than nor equivalent to 111 '\u2276': MO.REL, // less-than or greater-than 112 '\u2277': MO.REL, // greater-than or less-than 113 '\u2278': MO.REL, // neither less-than nor greater-than 114 '\u2279': MO.REL, // neither greater-than nor less-than 115 '\u227C': MO.REL, // precedes or equal to 116 '\u227D': MO.REL, // succeeds or equal to 117 '\u227E': MO.REL, // precedes or equivalent to 118 '\u227F': MO.REL, // succeeds or equivalent to 119 '\u227F\u0338': MO.REL, // succeeds or equivalent to with slash 120 '\u2280': MO.REL, // does not precede 121 '\u2281': MO.REL, // does not succeed 122 '\u2282\u20D2': MO.REL, // subset of with vertical line 123 '\u2283\u20D2': MO.REL, // superset of with vertical line 124 '\u2284': MO.REL, // not a subset of 125 '\u2285': MO.REL, // not a superset of 126 '\u2288': MO.REL, // neither a subset of nor equal to 127 '\u2289': MO.REL, // neither a superset of nor equal to 128 '\u228A': MO.REL, // subset of with not equal to 129 '\u228B': MO.REL, // superset of with not equal to 130 '\u228C': MO.BIN4, // multiset 131 '\u228D': MO.BIN4, // multiset multiplication 132 '\u228F': MO.REL, // square image of 133 '\u228F\u0338': MO.REL, // square image of with slash 134 '\u2290': MO.REL, // square original of 135 '\u2290\u0338': MO.REL, // square original of with slash 136 '\u229A': MO.BIN4, // circled ring operator 137 '\u229B': MO.BIN4, // circled asterisk operator 138 '\u229C': MO.BIN4, // circled equals 139 '\u229D': MO.BIN4, // circled dash 140 '\u229E': MO.BIN4, // squared plus 141 '\u229F': MO.BIN4, // squared minus 142 '\u22A0': MO.BIN4, // squared times 143 '\u22A1': MO.BIN4, // squared dot operator 144 '\u22A6': MO.REL, // assertion 145 '\u22A7': MO.REL, // models 146 '\u22A9': MO.REL, // forces 147 '\u22AA': MO.REL, // triple vertical bar right turnstile 148 '\u22AB': MO.REL, // double vertical bar double right turnstile 149 '\u22AC': MO.REL, // does not prove 150 '\u22AD': MO.REL, // not true 151 '\u22AE': MO.REL, // does not force 152 '\u22AF': MO.REL, // negated double vertical bar double right turnstile 153 '\u22B0': MO.REL, // precedes under relation 154 '\u22B1': MO.REL, // succeeds under relation 155 '\u22B2': MO.REL, // normal subgroup of 156 '\u22B3': MO.REL, // contains as normal subgroup 157 '\u22B4': MO.REL, // normal subgroup of or equal to 158 '\u22B5': MO.REL, // contains as normal subgroup or equal to 159 '\u22B6': MO.REL, // original of 160 '\u22B7': MO.REL, // image of 161 '\u22B8': MO.REL, // multimap 162 '\u22B9': MO.REL, // hermitian conjugate matrix 163 '\u22BA': MO.BIN4, // intercalate 164 '\u22BB': MO.BIN4, // xor 165 '\u22BC': MO.BIN4, // nand 166 '\u22BD': MO.BIN4, // nor 167 '\u22BE': MO.BIN3, // right angle with arc 168 '\u22BF': MO.BIN3, // right triangle 169 '\u22C7': MO.BIN4, // division times 170 '\u22C9': MO.BIN4, // left normal factor semidirect product 171 '\u22CA': MO.BIN4, // right normal factor semidirect product 172 '\u22CB': MO.BIN4, // left semidirect product 173 '\u22CC': MO.BIN4, // right semidirect product 174 '\u22CD': MO.REL, // reversed tilde equals 175 '\u22CE': MO.BIN4, // curly logical or 176 '\u22CF': MO.BIN4, // curly logical and 177 '\u22D0': MO.REL, // double subset 178 '\u22D1': MO.REL, // double superset 179 '\u22D2': MO.BIN4, // double intersection 180 '\u22D3': MO.BIN4, // double union 181 '\u22D4': MO.REL, // pitchfork 182 '\u22D5': MO.REL, // equal and parallel to 183 '\u22D6': MO.REL, // less-than with dot 184 '\u22D7': MO.REL, // greater-than with dot 185 '\u22D8': MO.REL, // very much less-than 186 '\u22D9': MO.REL, // very much greater-than 187 '\u22DA': MO.REL, // less-than equal to or greater-than 188 '\u22DB': MO.REL, // greater-than equal to or less-than 189 '\u22DC': MO.REL, // equal to or less-than 190 '\u22DD': MO.REL, // equal to or greater-than 191 '\u22DE': MO.REL, // equal to or precedes 192 '\u22DF': MO.REL, // equal to or succeeds 193 '\u22E0': MO.REL, // does not precede or equal 194 '\u22E1': MO.REL, // does not succeed or equal 195 '\u22E2': MO.REL, // not square image of or equal to 196 '\u22E3': MO.REL, // not square original of or equal to 197 '\u22E4': MO.REL, // square image of or not equal to 198 '\u22E5': MO.REL, // square original of or not equal to 199 '\u22E6': MO.REL, // less-than but not equivalent to 200 '\u22E7': MO.REL, // greater-than but not equivalent to 201 '\u22E8': MO.REL, // precedes but not equivalent to 202 '\u22E9': MO.REL, // succeeds but not equivalent to 203 '\u22EA': MO.REL, // not normal subgroup of 204 '\u22EB': MO.REL, // does not contain as normal subgroup 205 '\u22EC': MO.REL, // not normal subgroup of or equal to 206 '\u22ED': MO.REL, // does not contain as normal subgroup or equal 207 '\u22F0': MO.REL, // up right diagonal ellipsis 208 '\u22F2': MO.REL, // element of with long horizontal stroke 209 '\u22F3': MO.REL, // element of with vertical bar at end of horizontal stroke 210 '\u22F4': MO.REL, // small element of with vertical bar at end of horizontal stroke 211 '\u22F5': MO.REL, // element of with dot above 212 '\u22F6': MO.REL, // element of with overbar 213 '\u22F7': MO.REL, // small element of with overbar 214 '\u22F8': MO.REL, // element of with underbar 215 '\u22F9': MO.REL, // element of with two horizontal strokes 216 '\u22FA': MO.REL, // contains with long horizontal stroke 217 '\u22FB': MO.REL, // contains with vertical bar at end of horizontal stroke 218 '\u22FC': MO.REL, // small contains with vertical bar at end of horizontal stroke 219 '\u22FD': MO.REL, // contains with overbar 220 '\u22FE': MO.REL, // small contains with overbar 221 '\u22FF': MO.REL // z notation bag membership 222 } 223 } 224 }); 225 226 MathJax.Ajax.loadComplete(MML.optableDir+"/MathOperators.js"); 227 228 })(MathJax.ElementJax.mml);