+++ /dev/null
-/*
- * extensions/AMSsymbol.js
- *
- * Part of the jsMath package for mathematics on the web.
- *
- * This file defines the macros needed to access the AMS symbol fonts
- * available in msam10 and msbm10. You can activate it by calling
- *
- * jsMath.Extension.Require('AMSsymbols');
- *
- * once jsMath.js has been loaded.
- *
- * Note that you will need to install the msam10 and msbm10 fonts
- * that are available from the jsMath extra font page at
- *
- * http://www.math.union.edu/locate/jsMath/download/extra-fonts/
- *
- * in order to make this work in image mode. Note that there is no
- * unicode fallback mode for these fonts at this time.
- *
- * ---------------------------------------------------------------------
- *
- * Copyright 2006 by Davide P. Cervone
- *
- * 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.
- */
-
-/********************************************************************/
-
-
-delete jsMath.Parser.prototype.macros['hbar'];
-delete jsMath.Parser.prototype.macros['angle'];
-delete jsMath.Parser.prototype.macros['rightleftharpoons'];
-
-jsMath.Extension.MathChar("msam10",{
- // Miscellaneous symbols
- vartriangle: [3,0x4D],
- triangledown: [0,0x4F],
- square: [0,0x03],
- lozenge: [0,0x06],
- circledS: [0,0x73],
- angle: [0,0x5C],
- measuredangle: [0,0x5D],
- backprime: [0,0x38],
- blacktriangle: [0,0x4E],
- blacktriangledown: [0,0x48],
- blacksquare: [0,0x04],
- blacklozenge: [0,0x07],
- bigstar: [0,0x46],
- sphericalangle: [0,0x5E],
- complement: [0,0x7B],
-
- // Binary operators
- dotplus: [2,0x75],
- Cap: [2,0x65],
- doublecap: [2,0x65],
- Cup: [2,0x64],
- doublecup: [2,0x64],
- barwedge: [2,0x5A],
- veebar: [2,0x59],
- doublebarwedge: [2,0x5B],
- boxminus: [2,0x0C],
- boxtimes: [2,0x02],
- boxdot: [2,0x00],
- boxplus: [2,0x01],
- leftthreetimes: [2,0x68],
- rightthreetimes: [2,0x69],
- curlywedge: [2,0x66],
- curlyvee: [2,0x67],
- circleddash: [2,0x7F],
- circledast: [2,0x7E],
- circledcirc: [2,0x7D],
- centerdot: [2,0x05],
- intercal: [2,0x7C],
-
- // Binary relations
- leqq: [3,0x35],
- leqslant: [3,0x36],
- eqslantless: [3,0x30],
- lesssim: [3,0x2E],
- lessapprox: [3,0x2F],
- lll: [3,0x6E],
- llless: [3,0x6E],
- lessgtr: [3,0x37],
- lesseqgtr: [3,0x51],
- lesseqqgtr: [3,0x53],
- doteqdot: [3,0x2B],
- Doteq: [3,0x2B],
- risingdotseq: [3,0x3A],
- fallingdotseq: [3,0x3B],
- backsim: [3,0x76],
- backsimeq: [3,0x77],
- subseteqq: [3,0x6A],
- Subset: [3,0x62],
- sqsubset: [3,0x40],
- preccurlyeq: [3,0x34],
- curlyeqprec: [3,0x32],
- precsim: [3,0x2D],
- vartriangleleft: [3,0x43],
- trianglelefteq: [3,0x45],
- vDash: [3,0x0F],
- Vvdash: [3,0x0E],
- smallsmile: [3,0x60],
- smallfrown: [3,0x61],
- bumpeq: [3,0x6C],
- Bumpeq: [3,0x6D],
- varpropto: [3,0x5F],
- blacktriangleleft: [3,0x4A],
- therefore: [3,0x29],
- geqq: [3,0x3D],
- geqslant: [3,0x3E],
- eqslantgtr: [3,0x31],
- gtrsim: [3,0x26],
- gtrapprox: [3,0x27],
- ggg: [3,0x6F],
- gggtr: [3,0x6F],
- gtrless: [3,0x3F],
- gtreqless: [3,0x52],
- gtreqqless: [3,0x54],
- eqcirc: [3,0x50],
- circeq: [3,0x24],
- triangleq: [3,0x2C],
- supseteqq: [3,0x6B],
- Supset: [3,0x63],
- sqsupset: [3,0x41],
- succcurlyeq: [3,0x3C],
- curlyeqsucc: [3,0x33],
- succsim: [3,0x25],
- vartriangleright: [3,0x42],
- trianglerighteq: [3,0x44],
- Vdash: [3,0x0D],
- between: [3,0x47],
- pitchfork: [3,0x74],
- blacktriangleright: [3,0x49],
- because: [3,0x2A],
-
- // Arrows
- leftleftarrows: [3,0x12],
- leftrightarrows: [3,0x1C],
- Lleftarrow: [3,0x57],
- twoheadleftarrow: [3,0x11],
- leftarrowtail: [3,0x1B],
- looparrowleft: [3,0x22],
- leftrightharpoons: [3,0x0B],
- circlearrowleft: [3,0x09],
- Lsh: [3,0x1E],
- upuparrows: [3,0x14],
- upharpoonleft: [3,0x18],
- downharpoonleft: [3,0x19],
- multimap: [3,0x28],
- leftrightsquigarrow:[3,0x21],
- rightrightarrows: [3,0x13],
- rightleftarrows: [3,0x1D],
- Rrightarrow: [3,0x56],
- twoheadrightarrow: [3,0x10],
- rightarrowtail: [3,0x1A],
- looparrowright: [3,0x23],
- rightleftharpoons: [3,0x0A],
- circlearrowright: [3,0x08],
- Rsh: [3,0x1F],
- downdownarrows: [3,0x15],
- upharpoonright: [3,0x16],
- downharpoonright: [3,0x17],
- rightsquigarrow: [3,0x20]
-});
-
-jsMath.Extension.MathChar("msbm10",{
- // Lowercase Greek letters
- digamma: [0,0x7A],
- varkappa: [0,0x7B],
-
- // Hebrew letters
- beth: [0,0x69],
- daleth: [0,0x6B],
- gimel: [0,0x6A],
-
- // Miscellaneous symbols
- hbar: [0,0x7E],
- hslash: [0,0x7D],
- nexists: [0,0x40],
- mho: [0,0x66],
- Finv: [0,0x60],
- Game: [0,0x61],
- Bbbk: [0,0x7C],
- varnothing: [0,0x3F],
- eth: [0,0x67],
- diagup: [0,0x1E],
- diagdown: [0,0x1F],
-
- // Binary operators
- smallsetminus: [2,0x72],
- divideontimes: [2,0x3E],
- ltimes: [2,0x6E],
- rtimes: [2,0x6F],
-
- // Binary relations
- approxeq: [3,0x75],
- lessdot: [3,0x6C],
- precapprox: [3,0x77],
- gtrdot: [3,0x6D],
- thicksim: [3,0x73],
- thickapprox: [3,0x74],
- succapprox: [3,0x76],
- shortmid: [3,0x70],
- shortparallel: [3,0x71],
- backepsilon: [3,0x7F],
-
- // Negated relations
- nless: [3,0x04],
- nleq: [3,0x02],
- nleqslant: [3,0x0A],
- nleqq: [3,0x14],
- lneq: [3,0x0C],
- lneqq: [3,0x08],
- lvertneqq: [3,0x00],
- lnsim: [3,0x12],
- lnapprox: [3,0x1A],
- nprec: [3,0x06],
- npreceq: [3,0x0E],
- precneqq: [3,0x16],
- precnsim: [3,0x10],
- precnapprox: [3,0x18],
- nsim: [3,0x1C],
- nshortmid: [3,0x2E],
- nmid: [3,0x2D],
- nvdash: [3,0x30],
- nVdash: [3,0x31],
- ntriangleleft: [3,0x36],
- ntrianglelefteq: [3,0x35],
- nsubseteq: [3,0x2A],
- nsubseteqq: [3,0x22],
- subsetneq: [3,0x28],
- varsubsetneq: [3,0x20],
- subsetneqq: [3,0x24],
- varsubsetneqq: [3,0x26],
- ngtr: [3,0x05],
- ngeq: [3,0x03],
- ngeqslant: [3,0x0B],
- ngeqq: [3,0x15],
- gneq: [3,0x0D],
- gneqq: [3,0x09],
- gvertneqq: [3,0x01],
- gnsim: [3,0x13],
- gnapprox: [3,0x1B],
- nsucc: [3,0x07],
- nsucceq: [3,0x0F],
- succneqq: [3,0x17],
- succnsim: [3,0x11],
- succnapprox: [3,0x19],
- ncong: [3,0x1D],
- nshortparallel: [3,0x2F],
- nparallel: [3,0x2C],
- nvDash: [3,0x32],
- nVDash: [3,0x33],
- ntriangleright: [3,0x37],
- ntrianglerighteq: [3,0x34],
- nsupseteq: [3,0x2B],
- nsupseteqq: [3,0x23],
- supsetneq: [3,0x29],
- varsupsetneq: [3,0x21],
- supsetneqq: [3,0x25],
- varsupsetneqq: [3,0x27],
-
- // Arrows
- curvearrowleft: [3,0x78],
- curvearrowright: [3,0x79],
-
- // Negated arrows
- nleftarrow: [3,0x38],
- nLeftarrow: [3,0x3A],
- nleftrightarrow: [3,0x3D],
- nrightarrow: [3,0x39],
- nRightarrow: [3,0x3B],
- nLeftrightarrow: [3,0x3C]
-});
-
-jsMath.Macro('Bbb','{\\msbm #1}',1);
-jsMath.Macro('mathbb','{\\msbm #1}',1);
-jsMath.Extension.Font('msbm');
-jsMath.Extension.Font('msam');