123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349 |
- /* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
- /* vim: set ts=2 et sw=2 tw=80: */
- /*************************************************************
- *
- * MathJax/extensions/TeX/AMSsymbols.js
- *
- * Implements macros for accessing the AMS symbol fonts.
- *
- * ---------------------------------------------------------------------
- *
- * Copyright (c) 2009-2015 The MathJax Consortium
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- MathJax.Extension["TeX/AMSsymbols"] = {
- version: "2.5.0"
- };
- MathJax.Hub.Register.StartupHook("TeX Jax Ready",function () {
- var MML = MathJax.ElementJax.mml,
- TEXDEF = MathJax.InputJax.TeX.Definitions;
-
- TEXDEF.Add({
- mathchar0mi: {
- // Lowercase Greek letters
- digamma: '03DD',
- varkappa: '03F0',
-
- // Uppercase Greek letters
- varGamma: ['0393',{mathvariant: MML.VARIANT.ITALIC}],
- varDelta: ['0394',{mathvariant: MML.VARIANT.ITALIC}],
- varTheta: ['0398',{mathvariant: MML.VARIANT.ITALIC}],
- varLambda: ['039B',{mathvariant: MML.VARIANT.ITALIC}],
- varXi: ['039E',{mathvariant: MML.VARIANT.ITALIC}],
- varPi: ['03A0',{mathvariant: MML.VARIANT.ITALIC}],
- varSigma: ['03A3',{mathvariant: MML.VARIANT.ITALIC}],
- varUpsilon: ['03A5',{mathvariant: MML.VARIANT.ITALIC}],
- varPhi: ['03A6',{mathvariant: MML.VARIANT.ITALIC}],
- varPsi: ['03A8',{mathvariant: MML.VARIANT.ITALIC}],
- varOmega: ['03A9',{mathvariant: MML.VARIANT.ITALIC}],
- // Hebrew letters
- beth: '2136',
- gimel: '2137',
- daleth: '2138',
- // Miscellaneous symbols
- // hbar: '0127', // in TeX/jax.js
- backprime: ['2035',{variantForm: true}],
- hslash: '210F',
- varnothing: ['2205',{variantForm: true}],
- blacktriangle: '25B4',
- triangledown: ['25BD',{variantForm: true}],
- blacktriangledown: '25BE',
- square: '25FB',
- Box: '25FB',
- blacksquare: '25FC',
- lozenge: '25CA',
- Diamond: '25CA',
- blacklozenge: '29EB',
- circledS: ['24C8',{mathvariant: MML.VARIANT.NORMAL}],
- bigstar: '2605',
- // angle: '2220', // in TeX/jax.js
- sphericalangle: '2222',
- measuredangle: '2221',
- nexists: '2204',
- complement: '2201',
- mho: '2127',
- eth: ['00F0',{mathvariant: MML.VARIANT.NORMAL}],
- Finv: '2132',
- diagup: '2571',
- Game: '2141',
- diagdown: '2572',
- Bbbk: ['006B',{mathvariant: MML.VARIANT.DOUBLESTRUCK}],
-
- yen: '00A5',
- circledR: '00AE',
- checkmark: '2713',
- maltese: '2720'
- },
- mathchar0mo: {
- // Binary operators
- dotplus: '2214',
- ltimes: '22C9',
- smallsetminus: '2216',
- rtimes: '22CA',
- Cap: '22D2',
- doublecap: '22D2',
- leftthreetimes: '22CB',
- Cup: '22D3',
- doublecup: '22D3',
- rightthreetimes: '22CC',
- barwedge: '22BC',
- curlywedge: '22CF',
- veebar: '22BB',
- curlyvee: '22CE',
- doublebarwedge: '2A5E',
- boxminus: '229F',
- circleddash: '229D',
- boxtimes: '22A0',
- circledast: '229B',
- boxdot: '22A1',
- circledcirc: '229A',
- boxplus: '229E',
- centerdot: '22C5',
- divideontimes: '22C7',
- intercal: '22BA',
- // Binary relations
- leqq: '2266',
- geqq: '2267',
- leqslant: '2A7D',
- geqslant: '2A7E',
- eqslantless: '2A95',
- eqslantgtr: '2A96',
- lesssim: '2272',
- gtrsim: '2273',
- lessapprox: '2A85',
- gtrapprox: '2A86',
- approxeq: '224A',
- lessdot: '22D6',
- gtrdot: '22D7',
- lll: '22D8',
- llless: '22D8',
- ggg: '22D9',
- gggtr: '22D9',
- lessgtr: '2276',
- gtrless: '2277',
- lesseqgtr: '22DA',
- gtreqless: '22DB',
- lesseqqgtr: '2A8B',
- gtreqqless: '2A8C',
- doteqdot: '2251',
- Doteq: '2251',
- eqcirc: '2256',
- risingdotseq: '2253',
- circeq: '2257',
- fallingdotseq: '2252',
- triangleq: '225C',
- backsim: '223D',
- thicksim: ['223C',{variantForm: true}],
- backsimeq: '22CD',
- thickapprox: ['2248',{variantForm: true}],
- subseteqq: '2AC5',
- supseteqq: '2AC6',
- Subset: '22D0',
- Supset: '22D1',
- sqsubset: '228F',
- sqsupset: '2290',
- preccurlyeq: '227C',
- succcurlyeq: '227D',
- curlyeqprec: '22DE',
- curlyeqsucc: '22DF',
- precsim: '227E',
- succsim: '227F',
- precapprox: '2AB7',
- succapprox: '2AB8',
- vartriangleleft: '22B2',
- lhd: '22B2',
- vartriangleright: '22B3',
- rhd: '22B3',
- trianglelefteq: '22B4',
- unlhd: '22B4',
- trianglerighteq: '22B5',
- unrhd: '22B5',
- vDash: '22A8',
- Vdash: '22A9',
- Vvdash: '22AA',
- smallsmile: ['2323',{variantForm: true}],
- shortmid: ['2223',{variantForm: true}],
- smallfrown: ['2322',{variantForm: true}],
- shortparallel: ['2225',{variantForm: true}],
- bumpeq: '224F',
- between: '226C',
- Bumpeq: '224E',
- pitchfork: '22D4',
- varpropto: '221D',
- backepsilon: '220D',
- blacktriangleleft: '25C2',
- blacktriangleright: '25B8',
- therefore: '2234',
- because: '2235',
- eqsim: '2242',
- vartriangle: ['25B3',{variantForm: true}],
- Join: '22C8',
- // Negated relations
- nless: '226E',
- ngtr: '226F',
- nleq: '2270',
- ngeq: '2271',
- nleqslant: ['2A87',{variantForm: true}],
- ngeqslant: ['2A88',{variantForm: true}],
- nleqq: ['2270',{variantForm: true}],
- ngeqq: ['2271',{variantForm: true}],
- lneq: '2A87',
- gneq: '2A88',
- lneqq: '2268',
- gneqq: '2269',
- lvertneqq: ['2268',{variantForm: true}],
- gvertneqq: ['2269',{variantForm: true}],
- lnsim: '22E6',
- gnsim: '22E7',
- lnapprox: '2A89',
- gnapprox: '2A8A',
- nprec: '2280',
- nsucc: '2281',
- npreceq: ['22E0',{variantForm: true}],
- nsucceq: ['22E1',{variantForm: true}],
- precneqq: '2AB5',
- succneqq: '2AB6',
- precnsim: '22E8',
- succnsim: '22E9',
- precnapprox: '2AB9',
- succnapprox: '2ABA',
- nsim: '2241',
- ncong: '2246',
- nshortmid: ['2224',{variantForm: true}],
- nshortparallel: ['2226',{variantForm: true}],
- nmid: '2224',
- nparallel: '2226',
- nvdash: '22AC',
- nvDash: '22AD',
- nVdash: '22AE',
- nVDash: '22AF',
- ntriangleleft: '22EA',
- ntriangleright: '22EB',
- ntrianglelefteq: '22EC',
- ntrianglerighteq: '22ED',
- nsubseteq: '2288',
- nsupseteq: '2289',
- nsubseteqq: ['2288',{variantForm: true}],
- nsupseteqq: ['2289',{variantForm: true}],
- subsetneq: '228A',
- supsetneq: '228B',
- varsubsetneq: ['228A',{variantForm: true}],
- varsupsetneq: ['228B',{variantForm: true}],
- subsetneqq: '2ACB',
- supsetneqq: '2ACC',
- varsubsetneqq: ['2ACB',{variantForm: true}],
- varsupsetneqq: ['2ACC',{variantForm: true}],
- // Arrows
- leftleftarrows: '21C7',
- rightrightarrows: '21C9',
- leftrightarrows: '21C6',
- rightleftarrows: '21C4',
- Lleftarrow: '21DA',
- Rrightarrow: '21DB',
- twoheadleftarrow: '219E',
- twoheadrightarrow: '21A0',
- leftarrowtail: '21A2',
- rightarrowtail: '21A3',
- looparrowleft: '21AB',
- looparrowright: '21AC',
- leftrightharpoons: '21CB',
- rightleftharpoons: ['21CC',{variantForm: true}],
- curvearrowleft: '21B6',
- curvearrowright: '21B7',
- circlearrowleft: '21BA',
- circlearrowright: '21BB',
- Lsh: '21B0',
- Rsh: '21B1',
- upuparrows: '21C8',
- downdownarrows: '21CA',
- upharpoonleft: '21BF',
- upharpoonright: '21BE',
- downharpoonleft: '21C3',
- restriction: '21BE',
- multimap: '22B8',
- downharpoonright: '21C2',
- leftrightsquigarrow: '21AD',
- rightsquigarrow: '21DD',
- leadsto: '21DD',
- dashrightarrow: '21E2',
- dashleftarrow: '21E0',
- // Negated arrows
- nleftarrow: '219A',
- nrightarrow: '219B',
- nLeftarrow: '21CD',
- nRightarrow: '21CF',
- nleftrightarrow: '21AE',
- nLeftrightarrow: '21CE'
- },
-
- delimiter: {
- // corners
- "\\ulcorner": '231C',
- "\\urcorner": '231D',
- "\\llcorner": '231E',
- "\\lrcorner": '231F'
- },
-
- macros: {
- implies: ['Macro','\\;\\Longrightarrow\\;'],
- impliedby: ['Macro','\\;\\Longleftarrow\\;']
- }
-
- },null,true);
-
- var REL = MML.mo.OPTYPES.REL;
- MathJax.Hub.Insert(MML.mo.prototype,{
- OPTABLE: {
- infix: {
- '\u2322': REL, // smallfrown
- '\u2323': REL, // smallsmile
- '\u25B3': REL, // vartriangle
- '\uE006': REL, // nshortmid
- '\uE007': REL, // nshortparallel
- '\uE00C': REL, // lvertneqq
- '\uE00D': REL, // gvertneqq
- '\uE00E': REL, // ngeqq
- '\uE00F': REL, // ngeqslant
- '\uE010': REL, // nleqslant
- '\uE011': REL, // nleqq
- '\uE016': REL, // nsubseteqq
- '\uE017': REL, // varsubsetneqq
- '\uE018': REL, // nsupseteqq
- '\uE019': REL, // varsupsetneqq
- '\uE01A': REL, // varsubsetneq
- '\uE01B': REL, // varsupsetneq
- '\uE04B': REL, // npreceq
- '\uE04F': REL // nsucceq
- }
- }
- });
- MathJax.Hub.Startup.signal.Post("TeX AMSsymbols Ready");
- });
- MathJax.Ajax.loadComplete("[MathJax]/extensions/TeX/AMSsymbols.js");
|