AMSsymbols.js (13177B)
1 /* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */ 2 /* vim: set ts=2 et sw=2 tw=80: */ 3 4 /************************************************************* 5 * 6 * MathJax/extensions/TeX/AMSsymbols.js 7 * 8 * Implements macros for accessing the AMS symbol fonts. 9 * 10 * --------------------------------------------------------------------- 11 * 12 * Copyright (c) 2009-2015 The MathJax Consortium 13 * 14 * Licensed under the Apache License, Version 2.0 (the "License"); 15 * you may not use this file except in compliance with the License. 16 * You may obtain a copy of the License at 17 * 18 * http://www.apache.org/licenses/LICENSE-2.0 19 * 20 * Unless required by applicable law or agreed to in writing, software 21 * distributed under the License is distributed on an "AS IS" BASIS, 22 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 23 * See the License for the specific language governing permissions and 24 * limitations under the License. 25 */ 26 27 MathJax.Extension["TeX/AMSsymbols"] = { 28 version: "2.6.0" 29 }; 30 31 MathJax.Hub.Register.StartupHook("TeX Jax Ready",function () { 32 var MML = MathJax.ElementJax.mml, 33 TEXDEF = MathJax.InputJax.TeX.Definitions; 34 35 TEXDEF.Add({ 36 37 mathchar0mi: { 38 // Lowercase Greek letters 39 digamma: '03DD', 40 varkappa: '03F0', 41 42 // Uppercase Greek letters 43 varGamma: ['0393',{mathvariant: MML.VARIANT.ITALIC}], 44 varDelta: ['0394',{mathvariant: MML.VARIANT.ITALIC}], 45 varTheta: ['0398',{mathvariant: MML.VARIANT.ITALIC}], 46 varLambda: ['039B',{mathvariant: MML.VARIANT.ITALIC}], 47 varXi: ['039E',{mathvariant: MML.VARIANT.ITALIC}], 48 varPi: ['03A0',{mathvariant: MML.VARIANT.ITALIC}], 49 varSigma: ['03A3',{mathvariant: MML.VARIANT.ITALIC}], 50 varUpsilon: ['03A5',{mathvariant: MML.VARIANT.ITALIC}], 51 varPhi: ['03A6',{mathvariant: MML.VARIANT.ITALIC}], 52 varPsi: ['03A8',{mathvariant: MML.VARIANT.ITALIC}], 53 varOmega: ['03A9',{mathvariant: MML.VARIANT.ITALIC}], 54 55 // Hebrew letters 56 beth: '2136', 57 gimel: '2137', 58 daleth: '2138', 59 60 // Miscellaneous symbols 61 // hbar: '0127', // in TeX/jax.js 62 backprime: ['2035',{variantForm: true}], 63 hslash: '210F', 64 varnothing: ['2205',{variantForm: true}], 65 blacktriangle: '25B4', 66 triangledown: ['25BD',{variantForm: true}], 67 blacktriangledown: '25BE', 68 square: '25FB', 69 Box: '25FB', 70 blacksquare: '25FC', 71 lozenge: '25CA', 72 Diamond: '25CA', 73 blacklozenge: '29EB', 74 circledS: ['24C8',{mathvariant: MML.VARIANT.NORMAL}], 75 bigstar: '2605', 76 // angle: '2220', // in TeX/jax.js 77 sphericalangle: '2222', 78 measuredangle: '2221', 79 nexists: '2204', 80 complement: '2201', 81 mho: '2127', 82 eth: ['00F0',{mathvariant: MML.VARIANT.NORMAL}], 83 Finv: '2132', 84 diagup: '2571', 85 Game: '2141', 86 diagdown: '2572', 87 Bbbk: ['006B',{mathvariant: MML.VARIANT.DOUBLESTRUCK}], 88 89 yen: '00A5', 90 circledR: '00AE', 91 checkmark: '2713', 92 maltese: '2720' 93 }, 94 95 mathchar0mo: { 96 // Binary operators 97 dotplus: '2214', 98 ltimes: '22C9', 99 smallsetminus: '2216', 100 rtimes: '22CA', 101 Cap: '22D2', 102 doublecap: '22D2', 103 leftthreetimes: '22CB', 104 Cup: '22D3', 105 doublecup: '22D3', 106 rightthreetimes: '22CC', 107 barwedge: '22BC', 108 curlywedge: '22CF', 109 veebar: '22BB', 110 curlyvee: '22CE', 111 doublebarwedge: '2A5E', 112 boxminus: '229F', 113 circleddash: '229D', 114 boxtimes: '22A0', 115 circledast: '229B', 116 boxdot: '22A1', 117 circledcirc: '229A', 118 boxplus: '229E', 119 centerdot: ['22C5',{variantForm: true}], 120 divideontimes: '22C7', 121 intercal: '22BA', 122 123 // Binary relations 124 leqq: '2266', 125 geqq: '2267', 126 leqslant: '2A7D', 127 geqslant: '2A7E', 128 eqslantless: '2A95', 129 eqslantgtr: '2A96', 130 lesssim: '2272', 131 gtrsim: '2273', 132 lessapprox: '2A85', 133 gtrapprox: '2A86', 134 approxeq: '224A', 135 lessdot: '22D6', 136 gtrdot: '22D7', 137 lll: '22D8', 138 llless: '22D8', 139 ggg: '22D9', 140 gggtr: '22D9', 141 lessgtr: '2276', 142 gtrless: '2277', 143 lesseqgtr: '22DA', 144 gtreqless: '22DB', 145 lesseqqgtr: '2A8B', 146 gtreqqless: '2A8C', 147 doteqdot: '2251', 148 Doteq: '2251', 149 eqcirc: '2256', 150 risingdotseq: '2253', 151 circeq: '2257', 152 fallingdotseq: '2252', 153 triangleq: '225C', 154 backsim: '223D', 155 thicksim: ['223C',{variantForm: true}], 156 backsimeq: '22CD', 157 thickapprox: ['2248',{variantForm: true}], 158 subseteqq: '2AC5', 159 supseteqq: '2AC6', 160 Subset: '22D0', 161 Supset: '22D1', 162 sqsubset: '228F', 163 sqsupset: '2290', 164 preccurlyeq: '227C', 165 succcurlyeq: '227D', 166 curlyeqprec: '22DE', 167 curlyeqsucc: '22DF', 168 precsim: '227E', 169 succsim: '227F', 170 precapprox: '2AB7', 171 succapprox: '2AB8', 172 vartriangleleft: '22B2', 173 lhd: '22B2', 174 vartriangleright: '22B3', 175 rhd: '22B3', 176 trianglelefteq: '22B4', 177 unlhd: '22B4', 178 trianglerighteq: '22B5', 179 unrhd: '22B5', 180 vDash: '22A8', 181 Vdash: '22A9', 182 Vvdash: '22AA', 183 smallsmile: ['2323',{variantForm: true}], 184 shortmid: ['2223',{variantForm: true}], 185 smallfrown: ['2322',{variantForm: true}], 186 shortparallel: ['2225',{variantForm: true}], 187 bumpeq: '224F', 188 between: '226C', 189 Bumpeq: '224E', 190 pitchfork: '22D4', 191 varpropto: '221D', 192 backepsilon: '220D', 193 blacktriangleleft: '25C2', 194 blacktriangleright: '25B8', 195 therefore: '2234', 196 because: '2235', 197 eqsim: '2242', 198 vartriangle: ['25B3',{variantForm: true}], 199 Join: '22C8', 200 201 // Negated relations 202 nless: '226E', 203 ngtr: '226F', 204 nleq: '2270', 205 ngeq: '2271', 206 nleqslant: ['2A87',{variantForm: true}], 207 ngeqslant: ['2A88',{variantForm: true}], 208 nleqq: ['2270',{variantForm: true}], 209 ngeqq: ['2271',{variantForm: true}], 210 lneq: '2A87', 211 gneq: '2A88', 212 lneqq: '2268', 213 gneqq: '2269', 214 lvertneqq: ['2268',{variantForm: true}], 215 gvertneqq: ['2269',{variantForm: true}], 216 lnsim: '22E6', 217 gnsim: '22E7', 218 lnapprox: '2A89', 219 gnapprox: '2A8A', 220 nprec: '2280', 221 nsucc: '2281', 222 npreceq: ['22E0',{variantForm: true}], 223 nsucceq: ['22E1',{variantForm: true}], 224 precneqq: '2AB5', 225 succneqq: '2AB6', 226 precnsim: '22E8', 227 succnsim: '22E9', 228 precnapprox: '2AB9', 229 succnapprox: '2ABA', 230 nsim: '2241', 231 ncong: '2246', 232 nshortmid: ['2224',{variantForm: true}], 233 nshortparallel: ['2226',{variantForm: true}], 234 nmid: '2224', 235 nparallel: '2226', 236 nvdash: '22AC', 237 nvDash: '22AD', 238 nVdash: '22AE', 239 nVDash: '22AF', 240 ntriangleleft: '22EA', 241 ntriangleright: '22EB', 242 ntrianglelefteq: '22EC', 243 ntrianglerighteq: '22ED', 244 nsubseteq: '2288', 245 nsupseteq: '2289', 246 nsubseteqq: ['2288',{variantForm: true}], 247 nsupseteqq: ['2289',{variantForm: true}], 248 subsetneq: '228A', 249 supsetneq: '228B', 250 varsubsetneq: ['228A',{variantForm: true}], 251 varsupsetneq: ['228B',{variantForm: true}], 252 subsetneqq: '2ACB', 253 supsetneqq: '2ACC', 254 varsubsetneqq: ['2ACB',{variantForm: true}], 255 varsupsetneqq: ['2ACC',{variantForm: true}], 256 257 258 // Arrows 259 leftleftarrows: '21C7', 260 rightrightarrows: '21C9', 261 leftrightarrows: '21C6', 262 rightleftarrows: '21C4', 263 Lleftarrow: '21DA', 264 Rrightarrow: '21DB', 265 twoheadleftarrow: '219E', 266 twoheadrightarrow: '21A0', 267 leftarrowtail: '21A2', 268 rightarrowtail: '21A3', 269 looparrowleft: '21AB', 270 looparrowright: '21AC', 271 leftrightharpoons: '21CB', 272 rightleftharpoons: ['21CC',{variantForm: true}], 273 curvearrowleft: '21B6', 274 curvearrowright: '21B7', 275 circlearrowleft: '21BA', 276 circlearrowright: '21BB', 277 Lsh: '21B0', 278 Rsh: '21B1', 279 upuparrows: '21C8', 280 downdownarrows: '21CA', 281 upharpoonleft: '21BF', 282 upharpoonright: '21BE', 283 downharpoonleft: '21C3', 284 restriction: '21BE', 285 multimap: '22B8', 286 downharpoonright: '21C2', 287 leftrightsquigarrow: '21AD', 288 rightsquigarrow: '21DD', 289 leadsto: '21DD', 290 dashrightarrow: '21E2', 291 dashleftarrow: '21E0', 292 293 // Negated arrows 294 nleftarrow: '219A', 295 nrightarrow: '219B', 296 nLeftarrow: '21CD', 297 nRightarrow: '21CF', 298 nleftrightarrow: '21AE', 299 nLeftrightarrow: '21CE' 300 }, 301 302 delimiter: { 303 // corners 304 "\\ulcorner": '231C', 305 "\\urcorner": '231D', 306 "\\llcorner": '231E', 307 "\\lrcorner": '231F' 308 }, 309 310 macros: { 311 implies: ['Macro','\\;\\Longrightarrow\\;'], 312 impliedby: ['Macro','\\;\\Longleftarrow\\;'] 313 } 314 315 },null,true); 316 317 var REL = MML.mo.OPTYPES.REL; 318 319 MathJax.Hub.Insert(MML.mo.prototype,{ 320 OPTABLE: { 321 infix: { 322 '\u2322': REL, // smallfrown 323 '\u2323': REL, // smallsmile 324 '\u25B3': REL, // vartriangle 325 '\uE006': REL, // nshortmid 326 '\uE007': REL, // nshortparallel 327 '\uE00C': REL, // lvertneqq 328 '\uE00D': REL, // gvertneqq 329 '\uE00E': REL, // ngeqq 330 '\uE00F': REL, // ngeqslant 331 '\uE010': REL, // nleqslant 332 '\uE011': REL, // nleqq 333 '\uE016': REL, // nsubseteqq 334 '\uE017': REL, // varsubsetneqq 335 '\uE018': REL, // nsupseteqq 336 '\uE019': REL, // varsupsetneqq 337 '\uE01A': REL, // varsubsetneq 338 '\uE01B': REL, // varsupsetneq 339 '\uE04B': REL, // npreceq 340 '\uE04F': REL // nsucceq 341 } 342 } 343 }); 344 345 MathJax.Hub.Startup.signal.Post("TeX AMSsymbols Ready"); 346 347 }); 348 349 MathJax.Ajax.loadComplete("[MathJax]/extensions/TeX/AMSsymbols.js");