Annotation of loncom/html/adm/jsMath/extensions/AMSsymbols.js, revision 1.2

1.1       albertel    1: /*
                      2:  *  extensions/AMSsymbol.js
                      3:  *  
                      4:  *  Part of the jsMath package for mathematics on the web.
                      5:  *
                      6:  *  This file defines the macros needed to access the AMS symbol fonts
                      7:  *  available in msam10 and msbm10.  You can activate it by calling
                      8:  *  
                      9:  *    jsMath.Extension.Require('AMSsymbols');
                     10:  *  
                     11:  *  once jsMath.js has been loaded.
                     12:  *  
                     13:  *  Note that you will need to install the msam10 and msbm10 fonts
                     14:  *  that are available from the jsMath extra font page at
                     15:  *  
                     16:  *      http://www.math.union.edu/locate/jsMath/download/extra-fonts/
                     17:  *  
                     18:  *  in order to make this work in image mode.  Note that there is no
                     19:  *  unicode fallback mode for these fonts at this time.
                     20:  *  
                     21:  *  ---------------------------------------------------------------------
                     22:  *
                     23:  *  Copyright 2006 by Davide P. Cervone
                     24:  * 
                     25:  *  Licensed under the Apache License, Version 2.0 (the "License");
                     26:  *  you may not use this file except in compliance with the License.
                     27:  *  You may obtain a copy of the License at
                     28:  * 
                     29:  *      http://www.apache.org/licenses/LICENSE-2.0
                     30:  * 
                     31:  *  Unless required by applicable law or agreed to in writing, software
                     32:  *  distributed under the License is distributed on an "AS IS" BASIS,
                     33:  *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                     34:  *  See the License for the specific language governing permissions and
                     35:  *  limitations under the License.
                     36:  */
                     37: 
                     38: /********************************************************************/
                     39: 
                     40: 
                     41: delete jsMath.Parser.prototype.macros['hbar'];
                     42: delete jsMath.Parser.prototype.macros['angle'];
                     43: delete jsMath.Parser.prototype.macros['rightleftharpoons'];
                     44: 
                     45: jsMath.Extension.MathChar("msam10",{
                     46:   // Miscellaneous symbols
                     47:   vartriangle:        [3,0x4D],
                     48:   triangledown:       [0,0x4F],
                     49:   square:             [0,0x03],
                     50:   lozenge:            [0,0x06],
                     51:   circledS:           [0,0x73],
                     52:   angle:              [0,0x5C],
                     53:   measuredangle:      [0,0x5D],
                     54:   backprime:          [0,0x38],
                     55:   blacktriangle:      [0,0x4E],
                     56:   blacktriangledown:  [0,0x48],
                     57:   blacksquare:        [0,0x04],
                     58:   blacklozenge:       [0,0x07],
                     59:   bigstar:            [0,0x46],
                     60:   sphericalangle:     [0,0x5E],
                     61:   complement:         [0,0x7B],
                     62: 
                     63:   // Binary operators
                     64:   dotplus:            [2,0x75],
                     65:   Cap:                [2,0x65],
                     66:   doublecap:          [2,0x65],
                     67:   Cup:                [2,0x64],
                     68:   doublecup:          [2,0x64],
                     69:   barwedge:           [2,0x5A],
                     70:   veebar:             [2,0x59],
                     71:   doublebarwedge:     [2,0x5B],
                     72:   boxminus:           [2,0x0C],
                     73:   boxtimes:           [2,0x02],
                     74:   boxdot:             [2,0x00],
                     75:   boxplus:            [2,0x01],
                     76:   leftthreetimes:     [2,0x68],
                     77:   rightthreetimes:    [2,0x69],
                     78:   curlywedge:         [2,0x66],
                     79:   curlyvee:           [2,0x67],
                     80:   circleddash:        [2,0x7F],
                     81:   circledast:         [2,0x7E],
                     82:   circledcirc:        [2,0x7D],
                     83:   centerdot:          [2,0x05],
                     84:   intercal:           [2,0x7C],
                     85: 
                     86:   // Binary relations
                     87:   leqq:               [3,0x35],
                     88:   leqslant:           [3,0x36],
                     89:   eqslantless:        [3,0x30],
                     90:   lesssim:            [3,0x2E],
                     91:   lessapprox:         [3,0x2F],
                     92:   lll:                [3,0x6E],
                     93:   llless:             [3,0x6E],
                     94:   lessgtr:            [3,0x37],
                     95:   lesseqgtr:          [3,0x51],
                     96:   lesseqqgtr:         [3,0x53],
                     97:   doteqdot:           [3,0x2B],
                     98:   Doteq:              [3,0x2B],
                     99:   risingdotseq:       [3,0x3A],
                    100:   fallingdotseq:      [3,0x3B],
                    101:   backsim:            [3,0x76],
                    102:   backsimeq:          [3,0x77],
                    103:   subseteqq:          [3,0x6A],
                    104:   Subset:             [3,0x62],
                    105:   sqsubset:           [3,0x40],
                    106:   preccurlyeq:        [3,0x34],
                    107:   curlyeqprec:        [3,0x32],
                    108:   precsim:            [3,0x2D],
                    109:   vartriangleleft:    [3,0x43],
                    110:   trianglelefteq:     [3,0x45],
                    111:   vDash:              [3,0x0F],
                    112:   Vvdash:             [3,0x0E],
                    113:   smallsmile:         [3,0x60],
                    114:   smallfrown:         [3,0x61],
                    115:   bumpeq:             [3,0x6C],
                    116:   Bumpeq:             [3,0x6D],
                    117:   varpropto:          [3,0x5F],
                    118:   blacktriangleleft:  [3,0x4A],
                    119:   therefore:          [3,0x29],
                    120:   geqq:               [3,0x3D],
                    121:   geqslant:           [3,0x3E],
                    122:   eqslantgtr:         [3,0x31],
                    123:   gtrsim:             [3,0x26],
                    124:   gtrapprox:          [3,0x27],
                    125:   ggg:                [3,0x6F],
                    126:   gggtr:              [3,0x6F],
                    127:   gtrless:            [3,0x3F],
                    128:   gtreqless:          [3,0x52],
                    129:   gtreqqless:         [3,0x54],
                    130:   eqcirc:             [3,0x50],
                    131:   circeq:             [3,0x24],
                    132:   triangleq:          [3,0x2C],
                    133:   supseteqq:          [3,0x6B],
                    134:   Supset:             [3,0x63],
                    135:   sqsupset:           [3,0x41],
                    136:   succcurlyeq:        [3,0x3C],
                    137:   curlyeqsucc:        [3,0x33],
                    138:   succsim:            [3,0x25],
                    139:   vartriangleright:   [3,0x42],
                    140:   trianglerighteq:    [3,0x44],
                    141:   Vdash:              [3,0x0D],
                    142:   between:            [3,0x47],
                    143:   pitchfork:          [3,0x74],
                    144:   blacktriangleright: [3,0x49],
                    145:   because:            [3,0x2A],
                    146: 
                    147:   // Arrows
                    148:   leftleftarrows:     [3,0x12],
                    149:   leftrightarrows:    [3,0x1C],
                    150:   Lleftarrow:         [3,0x57],
                    151:   twoheadleftarrow:   [3,0x11],
                    152:   leftarrowtail:      [3,0x1B],
                    153:   looparrowleft:      [3,0x22],
                    154:   leftrightharpoons:  [3,0x0B],
                    155:   circlearrowleft:    [3,0x09],
                    156:   Lsh:                [3,0x1E],
                    157:   upuparrows:         [3,0x14],
                    158:   upharpoonleft:      [3,0x18],
                    159:   downharpoonleft:    [3,0x19],
                    160:   multimap:           [3,0x28],
                    161:   leftrightsquigarrow:[3,0x21],
                    162:   rightrightarrows:   [3,0x13],
                    163:   rightleftarrows:    [3,0x1D],
                    164:   Rrightarrow:        [3,0x56],
                    165:   twoheadrightarrow:  [3,0x10],
                    166:   rightarrowtail:     [3,0x1A],
                    167:   looparrowright:     [3,0x23],
                    168:   rightleftharpoons:  [3,0x0A],
                    169:   circlearrowright:   [3,0x08],
                    170:   Rsh:                [3,0x1F],
                    171:   downdownarrows:     [3,0x15],
                    172:   upharpoonright:     [3,0x16],
                    173:   downharpoonright:   [3,0x17],
                    174:   rightsquigarrow:    [3,0x20]
                    175: });
                    176: 
                    177: jsMath.Extension.MathChar("msbm10",{
                    178:   // Lowercase Greek letters
                    179:   digamma:            [0,0x7A],
                    180:   varkappa:           [0,0x7B],
                    181: 
                    182:   // Hebrew letters
                    183:   beth:               [0,0x69],
                    184:   daleth:             [0,0x6B],
                    185:   gimel:              [0,0x6A],
                    186: 
                    187:   // Miscellaneous symbols
                    188:   hbar:               [0,0x7E],
                    189:   hslash:             [0,0x7D],
                    190:   nexists:            [0,0x40],
                    191:   mho:                [0,0x66],
                    192:   Finv:               [0,0x60],
                    193:   Game:               [0,0x61],
                    194:   Bbbk:               [0,0x7C],
                    195:   varnothing:         [0,0x3F],
                    196:   eth:                [0,0x67],
                    197:   diagup:             [0,0x1E],
                    198:   diagdown:           [0,0x1F],
                    199: 
                    200:   // Binary operators
                    201:   smallsetminus:      [2,0x72],
                    202:   divideontimes:      [2,0x3E],
                    203:   ltimes:             [2,0x6E],
                    204:   rtimes:             [2,0x6F],
                    205: 
                    206:   // Binary relations
                    207:   approxeq:           [3,0x75],
                    208:   lessdot:            [3,0x6C],
                    209:   precapprox:         [3,0x77],
                    210:   gtrdot:             [3,0x6D],
                    211:   thicksim:           [3,0x73],
                    212:   thickapprox:        [3,0x74],
                    213:   succapprox:         [3,0x76],
                    214:   shortmid:           [3,0x70],
                    215:   shortparallel:      [3,0x71],
                    216:   backepsilon:        [3,0x7F],
                    217: 
                    218:   // Negated relations
                    219:   nless:              [3,0x04],
                    220:   nleq:               [3,0x02],
                    221:   nleqslant:          [3,0x0A],
                    222:   nleqq:              [3,0x14],
                    223:   lneq:               [3,0x0C],
                    224:   lneqq:              [3,0x08],
                    225:   lvertneqq:          [3,0x00],
                    226:   lnsim:              [3,0x12],
                    227:   lnapprox:           [3,0x1A],
                    228:   nprec:              [3,0x06],
                    229:   npreceq:            [3,0x0E],
                    230:   precneqq:           [3,0x16],
                    231:   precnsim:           [3,0x10],
                    232:   precnapprox:        [3,0x18],
                    233:   nsim:               [3,0x1C],
                    234:   nshortmid:          [3,0x2E],
                    235:   nmid:               [3,0x2D],
                    236:   nvdash:             [3,0x30],
                    237:   nVdash:             [3,0x31],
                    238:   ntriangleleft:      [3,0x36],
                    239:   ntrianglelefteq:    [3,0x35],
                    240:   nsubseteq:          [3,0x2A],
                    241:   nsubseteqq:         [3,0x22],
                    242:   subsetneq:          [3,0x28],
                    243:   varsubsetneq:       [3,0x20],
                    244:   subsetneqq:         [3,0x24],
                    245:   varsubsetneqq:      [3,0x26],
                    246:   ngtr:               [3,0x05],
                    247:   ngeq:               [3,0x03],
                    248:   ngeqslant:          [3,0x0B],
                    249:   ngeqq:              [3,0x15],
                    250:   gneq:               [3,0x0D],
                    251:   gneqq:              [3,0x09],
                    252:   gvertneqq:          [3,0x01],
                    253:   gnsim:              [3,0x13],
                    254:   gnapprox:           [3,0x1B],
                    255:   nsucc:              [3,0x07],
                    256:   nsucceq:            [3,0x0F],
                    257:   succneqq:           [3,0x17],
                    258:   succnsim:           [3,0x11],
                    259:   succnapprox:        [3,0x19],
                    260:   ncong:              [3,0x1D],
                    261:   nshortparallel:     [3,0x2F],
                    262:   nparallel:          [3,0x2C],
                    263:   nvDash:             [3,0x32],
                    264:   nVDash:             [3,0x33],
                    265:   ntriangleright:     [3,0x37],
                    266:   ntrianglerighteq:   [3,0x34],
                    267:   nsupseteq:          [3,0x2B],
                    268:   nsupseteqq:         [3,0x23],
                    269:   supsetneq:          [3,0x29],
                    270:   varsupsetneq:       [3,0x21],
                    271:   supsetneqq:         [3,0x25],
                    272:   varsupsetneqq:      [3,0x27],
                    273: 
                    274:   // Arrows
                    275:   curvearrowleft:     [3,0x78],
                    276:   curvearrowright:    [3,0x79],
                    277: 
                    278:   // Negated arrows
                    279:   nleftarrow:         [3,0x38],
                    280:   nLeftarrow:         [3,0x3A],
                    281:   nleftrightarrow:    [3,0x3D],
                    282:   nrightarrow:        [3,0x39],
                    283:   nRightarrow:        [3,0x3B],
                    284:   nLeftrightarrow:    [3,0x3C]
                    285: });
                    286: 
                    287: jsMath.Macro('Bbb','{\\msbm #1}',1);
1.2     ! albertel  288: jsMath.Macro('mathbb','{\\msbm #1}',1);
1.1       albertel  289: jsMath.Extension.Font('msbm');
                    290: jsMath.Extension.Font('msam');

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>