Annotation of loncom/html/adm/jsMath/jsMath-fallback-mac.js, revision 1.3

1.1       albertel    1: /*
                      2:  *  jsMath-fallback-mac.js
                      3:  *  
                      4:  *  Part of the jsMath package for mathematics on the web.
                      5:  *
                      6:  *  This file makes changes needed for when the TeX fonts are not available
                      7:  *  with a browser on the Mac.
                      8:  *
                      9:  *  ---------------------------------------------------------------------
                     10:  *
1.3     ! albertel   11:  *  Copyright 2004-2006 by Davide P. Cervone
        !            12:  * 
        !            13:  *  Licensed under the Apache License, Version 2.0 (the "License");
        !            14:  *  you may not use this file except in compliance with the License.
        !            15:  *  You may obtain a copy of the License at
        !            16:  * 
        !            17:  *      http://www.apache.org/licenses/LICENSE-2.0
        !            18:  * 
        !            19:  *  Unless required by applicable law or agreed to in writing, software
        !            20:  *  distributed under the License is distributed on an "AS IS" BASIS,
        !            21:  *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
        !            22:  *  See the License for the specific language governing permissions and
        !            23:  *  limitations under the License.
        !            24:  */
        !            25: 
        !            26: jsMath.Script.Uncompress([
        !            27:   ['jsMath.Script.Start();jsMath.Add(jsMath.TeX,{cmr10',':[{c:"&Gamma;",','tclass:"greek"},{c:"&','Delta;",',2,'Theta;",',2,'Lambda;",',2,'Xi;",',2,'Pi;",',2,'Sigma;",',2,'Upsilon;",',2,'Phi;",',2,'Psi;",',2,'Omega;",','tclass:"','greek','"},{c:"','ff','",ic:0.0778,krn:{"39":0.0778,"63":0.0778,"33":0.0778,"41":0.0778,"93":0.0778},lig:{"105":','14,"108":15},','tclass:"normal"},{c',':"fi",',28,':"fl",',28,':"ffi",',28,':"ffl",',28,':"&#x131',';",a:0,',28,':"j",d:0.2,',28,':"&#x60;",',22,'accent','"},{c:"&#','xB4;",',22,44,45,'x2C7;",',22,44,45,'x2D8;",',22,44,'"},{c:"<span style=\\"','position:relative; top',':.1em\\">&#x2C9',';</span>",',22,44,45,'x2DA;",',22,44,45,'x0327;",',28,':"&#xDF;",',28,':"&#xE6',38,28,':"&#x153',38,28,':"&#xF8;",',28,':"&#xC6;",',28,':"&#x152;",',28,':"&#xD8;",',28,':"?",krn:{"108":-0.278,"76":-0.319},',28,':"!",lig:{"96":60},',28,':"&#x201D;",',28,':"#",',28,':"$",',28,':"%",',28,':"&amp;",',28,':"&#x2019;",krn:{"63":0.111,"33":0.','111},','lig:{"39":34},',28,':"(",','d:0.2,',28,':")",',105,28,':"*",',28,':"+",','a:0.1,',28,':",",a:-','0.3,d:0.2,','w:0.278,',28,':"-",','a:0,','lig:{"45":123},',28,':".",a:-0.','25,',28,':"/",',28,':"0",',28,':"1",',28,':"2",',28,':"3",',28,':"4",',28,':"5",',28,':"6",',28,':"7",',28,':"8",',28,':"9",',28,':":",',28,':";",',28,':"&#xA1;",',28,':"=",','a:0,d:-0.','1,',28,':"&#xBF;",',28,':"?",lig:{"96":62},',28,':"@",',28,':"A','",krn:{"','116','":-0.0278,"','67',167,'79',167,'71',167,'85',167,'81',167,'84','":-0.0833,"','89',179,'86','":-0.111',',"87',183,'},',28,':"B",',28,':"C",',28,':"D',165,'88',167,'87',167,'65',167,'86',167,'89','":-0.0278','},',28,':"E",',28,':"F',165,'111',179,'101',179,'117','":-0.0833,"114":-0.0833,"97":-0.0833,"65":-0.','111,"79',167,'67',167,'71',167,'81',203,'},',28,':"G",',28,':"H",',28,':"I',165,'73":0.','0278','},',28,':"J",',28,':"K',165,'79',167,'67',167,'71',167,'81',203,'},',28,':"L',165,'84',179,'89',179,'86',183,',"87',183,'},',28,':"M",',28,':"N",',28,':"O',165,'88',167,'87',167,'65',167,'86',167,'89',203,'},',28,':"P',165,'65',179,'111',167,'101',167,'97',167,'46',179,'44":-0.','0833','},',28,':"Q",','d:0.1,',28,':"R',165,'116',167,'67',167,'79',167,'71',167,'85',167,'81',167,'84',179,'89',179,'86',183,',"87',183,'},',28,':"S",',28,':"T',165,'121',167,'101',179,'111',215,293,',"117":-0.',293,'},',28,':"U",',28,':"V",','ic:0.0139,krn:{"','111',179,'101',179,'117',215,'111,"79',167,'67',167,'71',167,'81',203,'},',28,':"W",',341,'111',179,'101',179,'117',215,'111,"79',167,'67',167,'71',167,'81',203,'},',28,':"X',165,'79',167,'67',167,'71',167,'81',203,'},',28,':"Y",ic:0.025,','krn:{"101',179,'111',215,293,334,293,'},',28,':"Z",',28,':"[",',297,28,':"&#x201C;",',28,':"]",',297,28,':"&#x2C6;",',22,44,45,'x2D9;",',22,44,45,'x2018;",lig:{"96":92},',28,':"a','",a:0,krn:{"','118',167,'106":0.','0556,"121',167,'119',203,'},',28,':"b',165,'101','":0.0278,"','111',432,'120',167,'100',432,'99',432,'113',432,'118',167,422,'0556,"121',167,'119',203,'},',28,':"c',419,'104',167,'107',203,'},',28,':"d",',28,':"e','",a:0,',28,':"f',26,'12,"102":11,"108":13},',28,':"g",','a:0,d:0.2,ic:0.','0139,krn:{"',422,233,'},',28,':"h',165,'116',167,'117',167,'98',167,'121',167,'118',167,'119',203,'},',28,':"i",',28,40,28,':"k',165,'97','":-0.0556,"','101',167,'97',167,'111',167,'99',203,'},',28,':"l",',28,':"m',419,'116',167,'117',167,'98',167,'121',167,'118',167,'119',203,'},',28,':"n',419,'116',167,'117',167,'98',167,'121',167,'118',167,'119',203,'},',28,':"o',419,'101',432,'111',432,'120',167,'100',432,'99',432,'113',432,'118',167,422,'0556,"121',167,'119',203,'},',28,':"p',463,105,389,432,'111',432,'120',167,'100',432,'99',432,'113',432,'118',167,422,'0556,"121',167,'119',203,'},',28,':"q',463,105,28,':"r',463,28,':"s',463,28,':"t',165,'121',167,'119',203,'},',28,':"u',419,'119',203,'},',28,':"v',463,341,'97',499,'101',167,'97',167,'111',167,'99',203,'},',28,':"w',463,341,'101',167,'97',167,'111',167,'99',203,'},',28,':"x',463,28,':"y",',470,471,'111',167,'101',167,'97',167,'46',179,'44":-0.',293,'},',28,':"z',463,28,':"&#x2013',';",a:0.1,','ic:0.',233,',lig:{"45":124},',28,':"&#x2014',665,'ic:0.',233,',',28,':"&#x2DD;",',22,44,45,'x2DC;",',22,44,45,'xA8;",',22,44,'"}],cmmi10',1,'ic:0.139',',krn:{"61":-0.0556,"59":-0.111,"58":-0.111,"127":0.',293,'},tclass:"igreek"},{c:"&',3,'krn:{"127":0.','167',692,5,'ic:0.',233,',krn:{"127":0.',293,692,7,694,'167',692,9,'ic:0.0757',700,293,692,11,'ic:0.0812,krn:{"61',499,'59":-0.0556,"58":-0.0556,"127":0.','0556',692,13,'ic:0.0576',700,293,692,15,'ic:0.139',690,'0556',692,17,694,293,692,19,'ic:0.11,krn:{"61',499,715,'0556',692,21,'ic:0.0502',700,293,692,'alpha',';",a:0,ic:0.','0037',700,233,'},',2,'beta;",','d:0.2,ic:0.','0528',700,293,'},',2,'gamma;",',470,'0556,',2,'delta;",ic:0.0378,krn:{"',715,'0556},',2,'epsilon;",a:0',700,'0556},',22,'lucida"},{c:"&zeta;",',751,'0738',700,293,'},',2,'eta;",',470,'0359',700,'0556},',2,'theta;",ic:0.',233,700,293,'},',2,'iota;",a:0',700,'0556},',2,'kappa',38,2,'lambda;",',2,'mu',38,'d:0.2',700,233,'},',2,'nu',744,'0637,krn:{"',715,233,'},',2,'xi;",',751,'046',700,101,2,'pi',744,'0359,',2,'rho',38,'d:0.2',700,293,'},',2,'sigma',744,819,'krn:{"59',499,'58":-0.0556','},',2,'tau',744,'113,krn:{"',715,233,'},',2,'upsilon',744,'0359',700,233,'},',2,'phi',665,'d:0.2',700,293,'},',2,'chi',38,'d:0.2',700,'0556},',2,'psi',665,751,'0359',700,101,2,'omega',744,819,2,'epsilon;",a:0',700,293,'},',22,'greek',45,'x3D1;",',694,293,'},',28,':"&#x3D6',744,233,',',28,':"&#x3F1',38,'d:0.2',700,293,'},',28,':"&#x3C2;",',470,'0799',700,293,'},',28,':"&#x3D5',665,'d:0.2',700,293,'},',28,':"&#x21BC;",',155,'2,',22,'harpoon',45,'x21BD;",',155,'1,',22,'harpoon',45,'x21C0;",',155,'2,',22,'harpoon',45,'x21C1;",',155,'1,',22,'harpoon',57,'font-size',': 133%; ',58,':.1em; margin:-.2em; left:-.05em\\">&#','x02D3',60,113,22,'lucida',57,936,937,58,939,'x02D2',60,113,22,'lucida',57,936,':50%\\">&#','x25B7',60,22,'symbol',57,936,957,'x25C1',60,22,961,24,'0",',28,':"1",',28,':"2",',28,':"3",',28,':"4",',28,':"5",',28,':"6",',28,':"7",',28,':"8",',28,':"9",',28,123,'3,',28,':",",a:-',116,28,':"&lt',665,28,':"<span style=\\"',936,':133%; ',58,':.1em\\">/</','span>",',297,'krn:{"1',499,'65',499,'77',499,'78',499,'89":0.0556,"90":-0.0556},',28,':"&gt',665,28,999,936,957,'x2605',60,120,'tclass:"symbol"},{c:"&#','x2202;",ic:0.0556',700,293,'},',28,':"A",',694,'139','},tclass:"italic"},{c:"','B",ic:0.0502',700,293,1034,'C",ic:0.0715,krn:{"61',167,715,293,1034,'D",ic:0.',233,700,'0556',1034,'E",ic:0.0576',700,293,1034,'F",ic:0.139',690,293,1034,'G",',694,293,1034,'H",ic:0.0812,krn:{"61',499,715,'0556',1034,'I",ic:0.0785',700,'111',1034,'J",ic:0.0962',690,'167',1034,'K",ic:0.0715,krn:{"61',499,715,'0556',1034,'L",',694,233,1034,'M','",ic:0.109,krn:{"','61',499,715,293,1034,'N',1084,'61',179,'61',167,715,293,1034,'O",ic:0.',233,700,293,1034,'P",ic:0.139',690,293,1034,'Q",d:0.2',700,293,1034,'R",ic:0.00773',700,293,1034,'S",ic:0.0576,krn:{"61',499,715,293,1034,'T','",ic:0.139,krn:{"','61',167,715,293,1034,'U',1084,'59',183,',"58',183,',"61',499,'127":0.',233,1034,'V",ic:0.222,krn:{"59','":-0.167,"','58',1140,'61',183,1034,'W',1122,'59',1140,'58',1140,'61',183,1034,'X",ic:0.0785,krn:{"61',179,'61',167,715,293,1034,'Y",ic:0.222,krn:{"59',1140,'58',1140,'61',183,1034,'Z",ic:0.0715,krn:{"61',499,715,293,'},',22,'italic',45,'x266D;",',22,'symbol2',45,'x266E;",',22,'symbol2',45,'x266F;",',22,'symbol2',57,'position: relative; top',':.5em\\">&#x2323',60,155,'1,',28,999,1189,':-.3em\\">&#x2322',60,155,'1,',28,':"&#x2113;",',694,101,22,961,24,'a',463,22,'italic"},{c:"','b",',22,1211,'c",a:0',700,'0556',1034,'d',165,'89":0.0556,"90',499,'106',183,',"102',1140,1136,'167',1034,'e",a:0',700,'0556',1034,'f",',751,'108,krn:{"',715,'167',1034,'g",',470,'0359',700,233,1034,'h',165,'127',203,1034,'i",',22,1211,'j",',751,'0572,krn:{"59',499,833,1034,'k",ic:0.0315,',22,1211,'l",ic:0.0197',700,293,1034,'m',463,22,1211,'n',463,22,1211,'o",a:0',700,'0556',1034,'p',463,'d:0.2',700,293,1034,'q",',470,'0359',700,293,1034,'r','",a:0,ic:0.',233,',krn:{"',715,'0556',1034,'s",a:0',700,'0556',1034,'t",',694,293,1034,'u",a:0',700,233,1034,'v',1292,'0359',700,233,1034,'w',1292,'0269',700,293,1034,'x",a:0',700,233,1034,'y",',470,'0359',700,'0556',1034,'z',1292,'044',700,'0556},',22,'italic',45,'x131;",a:0',700,233,1034,'j",d:0.2',700,293,'},',22,'italic',45,'x2118',38,'d:0.2',700,101,28,999,'position:relative; left: .4em; top: -.8em; ',936,': 50%\\">&#x2192',60,'ic:0.154,',1025,'x0311;",ic:0.399,',22,'normal"}],cmsy10:[{c:"&#x2212',665,1025,'xB7;",',155,'2,',1025,'xD7',38,22,961,57,58,':.3em\\">&#x2A',60,120,1025,'xF7',38,1025,'x25CA;",',22,'lucida',45,'xB1',665,1025,'x2213;",',1025,'x2295;",',1025,'x2296;",',1025,'x2297;",',1025,'x2298;",',1025,'x2299;",',22,'symbol3',45,'x25EF;",',22,961,57,58,':.25em;\\">&#xB0',60,155,'1,',1025,'x2022;",',155,'2,',1025,'x224D',665,1025,'x2261',665,1025,'x2286;",',1025,'x2287;",',1025,'x2264;",',1025,'x2265;",',1025,'x227C;",',1025,'x227D;",',22,961,'"},{c:"~",',155,'2,',28,':"&#x2248',665,'d:-0.1,',1025,'x2282;",',1025,'x2283;",',1025,'x226A;",',1025,'x226B;",',1025,'x227A;",',1025,'x227B;",',1025,'x2190;",',155,'15,',22,'arrow1',45,'x2192;",',155,'15,',22,'arrow1',45,'x2191',';",h:1,',22,'arrow1a',45,'x2193',1473,22,'arrow1a',45,'x2194',38,22,'arrow1',45,'x2197',1473,22,'arrows',45,'x2198',1473,22,'arrows',45,'x2243',665,1025,'x21D0',665,22,'arrow2',45,'x21D2',665,22,'arrow2',45,'x21D1;",h:0.9,',297,22,'arrow2a',45,'x21D3;",h:0.9,',297,22,'arrow2a',45,'x21D4',665,22,'arrow2',45,'x2196',1473,22,'arrows',45,'x2199',1473,22,'arrows',45,'x221D',665,22,961,57,936,937,'margin-right',': -.1em; ',1189,':.4em\\">&#x2032',60,120,22,'lucida',45,'x221E',665,1025,'x2208;",',1025,'x220B;",',1025,'x25B3;",',1025,'x25BD;",',22,961,'"},{c:"/",',22,961,57,936,':50%; ',58,':-.3em; ',1542,':-.2em\\">|</',1004,120,28,':"&#x2200;",',1025,'x2203;",',1025,'xAC;",',155,'1,',22,'symbol1',45,'x2205;",',1025,'x211C;",',1025,'x2111;",',1025,'x22A4;",',1025,'x22A5;",',1025,'x2135;",',22,961,24,'A','",krn:{"48":0.','194','},tclass:"cal"},{c:"','B",ic:0.0304',',krn:{"48":0.','139',1603,'C",ic:0.0583',1605,'139',1603,'D",ic:0.',233,1605,293,1603,'E",ic:0.0894',1605,'111',1603,'F",ic:0.0993',1605,'111',1603,'G",',751,'0593',1605,'111',1603,'H",ic:0.00965',1605,'111',1603,'I",ic:0.0738',1605,233,1603,'J",',751,'185',1605,'167',1603,'K",ic:0.0144',1605,'0556',1603,'L',1601,'139',1603,'M',1601,'139',1603,'N",ic:0.147',1605,293,1603,'O",ic:0.',233,1605,'111',1603,'P",ic:0.0822',1605,293,1603,'Q",d:0.2',1605,'111',1603,'R',1601,293,1603,'S",ic:0.075',1605,'139',1603,'T",ic:0.254',1605,233,1603,'U",ic:0.0993',1605,293,1603,'V",ic:0.0822',1605,233,1603,'W",ic:0.0822',1605,293,1603,'X",ic:0.146',1605,'139',1603,'Y",ic:0.0822',1605,293,1603,'Z",ic:0.0794',1605,'139},',22,'cal',45,'x22C3;",',1025,'x22C2;",',1025,'x228E;",',1025,'x22C0;",',1025,'x22C1;",',1025,'x22A2;",',1025,'x22A3;",',22,'symbol2',45,'xF8F0',';",a:',116,28,':"&#xF8FB;",a:',116,28,':"&#xF8EE;",a:',116,28,':"&#xF8F9;",a:',116,28,':"{",',105,28,':"}",',105,28,':"&#x3008;",a:',116,28,':"&#x3009;",a:',116,28,':"|",',297,22,'vertical','"},{c:"||",',297,22,'vertical',45,'x2195',1473,'d:0.15,',22,'arrow1a',45,'x21D5;",a:0.2,',297,22,'arrows',57,'margin:-.1em\\">&#','x2216',60,'a:0.3,',297,22,'lucida',57,936,': 75%; margin:-.3em\\">&#x2240',60,22,961,57,58,': .86em\\">&#x221A',60,'h:0.04,d:0.9,',22,'lucida',45,'x2210;",a:0.4,',1025,'x2207;",',1025,'x222B',1473,297,'ic:0.111,',22,'root',45,'x2294;",',1025,'x2293;",',1025,'x2291;",',1025,'x2292;",',1025,'xA7;",',297,28,':"&#x2020;",',297,28,':"&#x2021;",',297,28,':"&#xB6;",a:0.3,',297,22,'lucida',45,'x2663;",',1025,'x2666;",',1025,'x2665;",',1025,'x2660;",',22,961,'"}],cmex10:[{c',104,'h:0.04,d:1.16,n:','16,',22,'delim1"},{c',107,1838,'17,',22,1841,400,1838,'104,',22,1841,405,1838,'105,',22,'delim1',45,1728,'",',1838,'106,',22,'delim1',45,'xF8FB',';",h:0.04,d:','1.16,n:','107,',22,'delim1',45,'xF8EE',1866,1867,'108,',22,'delim1',45,'xF8F9',1866,1867,'109,',22,1841,1741,1838,'110,',22,1841,1744,1838,'111,',22,'delim1',45,'x3008',1866,1867,'68,',22,'delim1c',45,'x3009',1866,1867,'69,',22,'delim1c"},{c',1753,'h:0.7,d:0.15,delim:{','rep:12},',22,'vertical1',1757,1910,'rep:13},',22,'vertical1',45,'x2215',1866,1867,'46,',22,'delim1b',45,1774,1866,1867,'47,',22,'delim1b"},{c',104,'h:0.04,d:1.76,n:','18,',22,'delim2"},{c',107,1934,'19,',22,1937,104,'h:0.04,d:2.36,n:','32,',22,'delim3"},{c',107,1944,'33,',22,1947,400,1944,'34,',22,1947,405,1944,'35,',22,'delim3',45,1728,1866,'2.36,n:','36,',22,'delim3',45,'xF8FB',1866,1966,'37,',22,'delim3',45,'xF8EE',1866,1966,'38,',22,'delim3',45,'xF8F9',1866,1966,'39,',22,'delim3',57,'margin: -.1em','\\">{</',1004,1944,'40,',22,'delim3',57,1992,'\\">}</',1004,1944,'41,',22,'delim3',45,'x3008',1866,1966,'42,',22,'delim3c',45,'x3009',1866,1966,'43,',22,'delim3c',45,'x2215',1866,1966,'44,',22,'delim3b',45,1774,1866,1966,'45,',22,'delim3b"},{c',104,'h:0.04,d:2.96,n:','48,',22,'delim4"},{c',107,2036,'49,',22,2039,400,2036,'50,',22,2039,405,2036,'51,',22,'delim4',45,1728,1866,'2.96,','n:52,',22,'delim4',45,'xF8FB',1866,2058,'n:53,',22,'delim4',45,'xF8EE',1866,2058,'n:54,',22,'delim4',45,'xF8F9',1866,2058,'n:55,',22,'delim4',57,1992,'\\">{</',1004,2036,'56,',22,'delim4',57,1992,'\\">}</',1004,2036,'57,',22,'delim4',45,'x3008',1866,2058,22,'delim4c',45,'x3009',1866,2058,22,'delim4c',45,'x2215',1866,2058,22,'delim4b',45,1774,1866,2058,22,'delim4b',45,'x2215',1866,'1.76,n:','30,',22,'delim2b',45,1774,1866,2126,'31,',22,'delim2b',45,'xF8EB',';",h:0.85,d:0.2,delim:{','top:48,bot:64,rep:66},',28,':"&#xF8F6',2139,'top:49,bot:65,rep:67},',28,':"&#xF8EE',2139,'top:50,bot:52,rep:54},',28,':"&#xF8F9',2139,'top:51,bot:53,rep:55},',28,':"&#',1728,2139,'bot:52,rep:54},',28,':"&#xF8FB',2139,'bot:53,rep:55},',28,':"&#xF8EF',2139,'top:50,rep:54},',28,':"&#xF8FA',2139,'top:51,rep:55},',28,':"&#xF8F1',2139,'top:56,mid:60,bot:58,rep:62},',28,':"&#xF8FC',2139,'top:57,mid:61,bot:59,rep:62},',28,':"&#xF8F3',2139,'top:56,bot:','58,rep:62},',28,':"&#xF8FE',2139,'top:57,bot:','59,rep:62},',28,':"&#xF8F2',2139,'rep:63},',28,':"&#xF8FD',2139,'rep:119},',28,':"&#xF8F4',2139,'rep:62},',28,1753,1910,'top:120,bot:121,rep:63},',22,'vertical2',45,'xF8ED',2139,2181,'59,rep:62},',28,':"&#xF8F8',2139,2186,'58,rep:62},',28,':"&#xF8EC',2139,'rep:66},',28,':"&#xF8F7',2139,'rep:67},',28,':"&#x3008',1866,2126,'28,',22,'delim2c',45,'x3009',1866,2126,'29,',22,'delim2c',45,'x2294',';",h:0,d:1,n:','71,',22,'bigop1',45,1805,'h:0.1,d:1.5,',22,'bigop2',45,'x222E;",h:0,d:','1.11,ic:0.095,n:73,',22,'bigop1c',45,2250,'2.22,ic:0.222,',22,'bigop2c',45,'x2299',2240,'75,',22,'bigop1',45,1403,'h:0.1,d:1.5,',22,'bigop2',45,'x2295',2240,'77,',22,'bigop1',45,1395,'h:0.1,d:1.5,',22,'bigop2',45,'x2297',2240,'79,',22,'bigop1',45,1399,'h:0.1,d:1.5,',22,'bigop2',45,'x2211',2240,'88,tcl'],
        !            28:   ['ass:"','bigop1a','"},{c:"&#','x220F',';",h:0,d:1,n:','89,','tclass:"',1,2,'x222B;",h:0,d:','1.11,','ic:0.','095,n:90,',6,'bigop1c',2,'x222A',4,'91,',6,'bigop1b',2,'x2229',4,'92,',6,20,2,'x228E',4,'93,',6,20,2,'x2227',4,'94,',6,'bigop1',2,'x2228',4,'95,',6,38,2,'x2211',';",h:0.1,d:1.','6,',6,'bigop2a',2,'x220F',47,'5,',6,50,2,9,'2.22,',11,'222,',6,'bigop2c',2,16,47,'5,',6,'bigop2b',2,22,47,'5,',6,69,2,'x228E',47,'5,',6,69,2,34,47,'5,',6,'bigop2',2,40,47,'5,',6,87,2,'x2210',4,'97,',6,1,2,'x2210',47,'5,',6,50,2,'xFE3F;",h:0.','722,w:0.','65,n:99,',6,'wide1',2,107,'85,w:1.1,n:100,',6,'wide2',2,107,'99,w:1.65,',6,'wide3',2,'x2053;",h:0.',108,'75,n:102,',6,'wide1a',2,123,'8,w:1.35,n:103,',6,'wide2a',2,123,'99,w:2,',6,'wide3a"},{c:"[",','h:0.04,d:1.76,n:','20,',6,'delim2','"},{c:"]",',138,'21,',6,141,2,'xF8F0;",',138,'22,',6,141,2,'xF8FB;",',138,'23,',6,141,2,'xF8EE;",',138,'24,',6,141,2,'xF8F9",',138,'25,',6,141,'"},{c:"<','span style=\\"','margin: -.1em','\\">{</span>",',138,'26,',6,141,'"},{c:"<',172,173,'\\">}</span>",',138,'27,',6,141,'"},{c:"<span style=\\"font-size: ','125','%; position:relative; top:.','95em','\\">&#x221A;</span>",h:0.','04,d:1.16,n:113,',6,'root',187,'190',189,'925em',191,'04,d:1.76,n:114,',6,194,187,'250',189,'925em',191,'06,d:2.36,n:115,',6,194,187,'320',189,'92em',191,'08,d:2.96,n:116,',6,194,187,'400',189,'92em',191,'1,d:3.75,n:117,',6,194,187,'500',189,'9em',191,'12,d:4.5,n:118,',6,194,187,'625',189,'9em',191,'14,d:5.7,',6,194,'"},{c:"||",h:0.65,d:0.15',',delim:{top:126,','bot:127,rep:119},',6,'vertical2',2,'x25B5;",h:0.','4,delim:{top:120,rep:63},',6,'arrow1b',2,'x25BF;",h:0.','38,delim:{bot:121,rep:63},',6,252,187,'67',189,'35em','; margin-left:-.','5em\\">&#x256D',';</span>",','h:0.1,',6,'symbol',187,'67',189,'35em; margin-right:-.5em\\">&#','x256E',264,265,6,267,187,'67',189,'35em',262,'5em\\">&#x2570',264,265,6,267,187,'67',189,271,'x256F',264,265,6,267,2,249,'5',244,'rep:119},',6,'arrow2b',2,254,'6,d:-0.1,delim:{bot:127,rep:119},',6,302,'"}],cmti10',':[{c:"&Gamma;",',11,'133,',6,'igreek"},{c:"&','Delta;",',6,313,'Theta;",','ic:0.094,',6,313,'Lambda;",',6,313,'Xi;",',11,'153,',6,313,'Pi;",',11,'164,',6,313,'Sigma;",',11,'12,',6,313,'Upsilon;",',11,'111,',6,313,'Phi;",',11,'0599,',6,313,'Psi;",',11,341,6,313,'Omega;",','ic:0.103,',6,'igreek','"},{c:"ff','",ic:0.212,krn:{"39":0.104,"63":0.104,"33":0.104,"41":0.104,"93":0.104},lig:{"105":','14,"108":15},','tclass:"italic"},{c',':"fi','",ic:0.103,',361,':"fl',363,361,':"ffi',363,361,':"ffl',363,361,':"&#x131;",a:0,',11,'0767,',361,':"j",d:0.2,',11,'0374,',361,':"&#x60;",',6,'iaccent',2,'xB4;",',11,'0969,',6,384,2,'x2C7;",',11,'083,',6,384,2,'x2D8;",',11,'108,',6,384,2,'x2C9;",',355,6,384,2,'x2DA;",',6,384,'"},{c:"?",','d:0.17,w:0.46,',361,':"&#xDF;",',11,'105,',361,':"&#xE6;",a:0,','ic:0.0751,',361,':"&#x153;",a:0,',420,361,':"&#xF8;",',11,'0919,',361,':"&#xC6;",',11,'12,',361,':"&#x152;",',11,'12,',361,':"&#xD8;",',318,361,':"?",krn:{"108":-0.','256,"76":-0.321},',361,':"!",','ic:0.124,lig:{"96":','60},',361,':"&#x201D;",',11,'0696,',361,':"#",',11,'0662,',361,':"$",',361,':"%",',11,'136,',361,':"&amp;",',11,'0969,',361,':"&#x2019;",',11,'124,','krn:{"63":0.','102,"33":0.102},lig:{"39":34},',361,':"(",d:0.2,',11,'162,',361,':")",d:0.2,',11,'0369,',361,':"*",',11,'149,',361,':"+",a:0.1,',11,'0369,',361,':",",a:-0.3,d:0.2,w:0.278,',361,':"-",a:0,',11,'0283',',lig:{"45":','123},',361,':".",a:-0.25,',361,':"/",',11,'162,',361,':"0",',11,'136,',361,':"1",',11,'136,',361,':"2",',11,'136,',361,':"3",',11,'136,',361,':"4",',11,'136,',361,':"5",',11,'136,',361,':"6",',11,'136,',361,':"7",',11,'136,',361,':"8",',11,'136,',361,':"9",',11,'136,',361,':":",',11,'0582,',361,':";",',11,'0582,',361,':"&#xA1;",',11,'0756,',361,':"=",a:0,d:-0.1,',11,'0662,',361,':"&#xBF;",',361,':"?",','ic:0.122,','lig:{"96":','62},',361,':"@",',11,'096,',361,':"A",','krn:{"110":-0.0256,"108":-0.0256,"114":-0.0256,"117":-0.0256,"109":-0.0256,"116":-0.0256,"105":-0.0256,"67":-0.0256,"79":-0.0256,"71":-0.0256,"104":-0.0256,"98":-0.0256,"85":-0.0256,"107":-0.0256,"118":-0.0256,"119":-0.0256,"81":-','0.0256,"84','":-0.0767,"','89',571,'86','":-0.102,"','87',575,'101','":-0.0511,"','97',579,'111',579,'100',579,'99',579,'103',579,'113','":-0.0511','},',361,':"B',363,361,':"C",','ic:0.145,',361,':"D",',318,'krn:{"88','":-0.0256,"','87',603,'65',603,'86',603,'89":-0.','0256},',361,':"E",',11,'12,',361,':"F','",ic:0.133,krn:{"','111',571,'101',571,'117','":-0.0767,"114":-0.0767,"97":-0.0767,"','65',575,'79',603,'67',603,'71',603,'81":-0.0256','},',361,':"G",',11,'0872,',361,':"H",',11,'164,',361,':"I",',11,'158,',361,':"J",',11,'14,',361,':"K",',598,'krn:{"79',603,'67',603,'71',603,633,'},',361,':"L",krn:{"84',571,'89',571,'86',575,'87',575,'101',579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"M",',11,'164,',361,':"N",',11,'164,',361,':"O",',318,'krn:{"88',603,'87',603,'65',603,'86',603,610,'0256},',361,':"P',363,'krn:{"65":-0.0767},',361,':"Q",d:0.1,',318,361,':"R",',11,'0387,',569,'0.0256,"84',571,'89',571,'86',575,'87',575,'101',579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"S",',11,'12,',361,':"T',618,'121',571,'101',571,'111',624,'117',571,'65":-0.0767},',361,':"U",',11,'164,',361,':"V",ic:0.','184,krn:{"','111',571,'101',571,'117',624,'65',575,'79',603,'67',603,'71',603,633,'},',361,':"W",ic:0.',764,'65":-0.0767},',361,':"X",',11,'158,krn:{"79',603,'67',603,'71',603,633,'},',361,':"Y",',11,'194',',krn:{"101',571,'111',624,'117',571,'65":-0.0767},',361,':"Z",',598,361,':"[",d:0.1,',11,'188,',361,':"&#x201C;",',11,'169,',361,':"]",d:0.1,',11,'105,',361,':"&#x2C6;",',11,'0665,',6,384,2,'x2D9;",',11,'118,',6,384,2,'x2018;",',444,'92},',361,':"a','",a:0,ic:0.',376,361,':"b",',11,'0631',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"c',840,'0565',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"d',363,'krn:{"108":','0.0511},',361,':"e',840,'0751',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"f',359,'12,"102":11,"108":13},',361,':"g','",a:0,d:0.2,ic:0.','0885,',361,':"h",',11,376,361,':"i",',11,'102,',361,378,598,361,':"k",',11,400,361,':"l',363,883,'0.0511},',361,':"m',840,376,361,':"n',840,376,'krn:{"39":-0.102},',361,':"o',840,'0631',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"p',910,'0631',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"q',910,'0885,',361,':"r',840,'108',800,579,'97',579,'111',579,'100',579,'99',579,'103',579,'113',591,'},',361,':"s',840,'0821,',361,':"t",',11,'0949,',361,':"u',840,376,361,':"v',840,400,361,':"w',840,400,883,'0.0511},',361,':"x',840,'12,',361,':"y',910,'0885,',361,':"z',840,'123,',361,':"&#x2013;",a:0.1,ic:0.','0921',492,'124},',361,':"&#x2014;",a:0.1,ic:0.','0921,',361,':"&#x2DD;",',560,6,384,2,'x2DC;",',11,'116,',6,384,2,'xA8;",',6,384,'"}],cmbx10',309,6,'bgreek"},{c:"&','Delta;",',6,1062,317,6,1062,'Lambda;",',6,1062,324,6,1062,329,6,1062,334,6,1062,339,6,1062,344,6,1062,349,6,1062,354,6,'bgreek','"},{c:"ff','",ic:0.0778,krn:{"39":0.0778,"63":0.0778,"33":0.0778,"41":0.0778,"93":0.0778},lig:{"105":','14,"108":15},','tclass:"bold"},{c',':"fi",',1096,':"fl",',1096,':"ffi",',1096,':"ffl",',1096,374,1096,378,1096,':"&#x60;",',6,'baccent',2,386,6,1111,2,392,6,1111,2,398,6,1111,2,404,6,1111,2,'x2DA;",',6,1111,412,1096,415,1096,419,1096,422,1096,425,1096,429,1096,433,1096,437,1096,440,'278,"76":-0.319},',1096,443,561,'60},',1096,447,1096,451,1096,':"$",',1096,457,1096,461,1096,465,468,'111,"33":0.111},lig:{"39":34},',1096,471,1096,475,1096,479,1096,483,1096,':",",a:-0.3,d:0.2,w:0.278,',1096,':"-",a:0',492,'123},',1096,':".",a:-0.25,',1096,497,1096,501,1096,505,1096,509,1096,513,1096,517,1096,521,1096,525,1096,529,1096,533,1096,537,1096,541,1096,545,1096,549,1096,553,1096,':"&#xBF;",',1096,559,561,'62},',1096,564,1096,':"A",krn:{"116','":-0.0278,"','67',1224,'79',1224,'71',1224,'85',1224,'81',1224,'84','":-0.0833,"','89',1236,'86":-0.','111,"87":-0.111},',1096,':"B",',1096,597,1096,':"D",krn:{"88',1224,'87',1224,'65',1224,'86',1224,610,'0278},',1096,613,1096,':"F",krn:{"111',1236,'101',1236,'117','":-0.0833,"114":-0.0833,"97":-0.0833,"65":-0.','111,"79',1224,'67',1224,'71',1224,'81":-0.0278','},',1096,636,1096,640,1096,':"I",krn:{"73":0.0278},',1096,648,1096,':"K",krn:{"79',1224,'67',1224,'71',1224,1271,'},',1096,':"L",krn:{"84',1236,'89',1236,1239,'111,"87":-0.111},',1096,687,1096,691,1096,':"O",krn:{"88',1224,'87',1224,'65',1224,'86',1224,610,'0278},',1096,':"P",krn:{"65',1236,'111',1224,'101',1224,'97',1224,'46',1236,'44":-0.0833},',1096,712,1096,':"R",krn:{"116',1224,'67',1224,'79',1224,'71',1224,'85',1224,'81',1224,'84',1236,'89',1236,1239,'111,"87":-0.111},',1096,743,1096,':"T",krn:{"121',1224,'101',1236,'111',1264,'0833,"117":-0.0833','},',1096,759,1096,763,'0139,krn:{"','111',1236,'101',1236,'117',1264,'111,"79',1224,'67',1224,'71',1224,1271,'},',1096,782,1360,'111',1236,'101',1236,'117',1264,'111,"79',1224,'67',1224,'71',1224,1271,'},',1096,':"X",krn:{"79',1224,'67',1224,'71',1224,1271,'},',1096,':"Y",',11,'025',800,1236,'111',1264,1354,'},',1096,808,1096,811,1096,815,1096,819,1096,823,6,1111,2,829,6,1111,2,835,561,'92},',1096,':"a','",a:0,krn:{"','118',1224,'106":0.','0556,"121',1224,'119":-0.','0278},',1096,':"b",krn:{"101','":0.0278,"','111',1443,'120',1224,'100',1443,'99',1443,'113',1443,'118',1224,1436,'0556,"121',1224,1439,'0278},',1096,':"c',1433,'104',1224,'107":-0.0278},',1096,':"d",',1096,':"e",a:0,',1096,':"f',1094,'12,"102":11,"108":13},',1096,':"g',910,1360,1436,'0278},',1096,':"h",krn:{"116',1224,'117',1224,'98',1224,'121',1224,'118',1224,1439,'0278},',1096,917,1096,378,1096,':"k",krn:{"97":-0.0556,"101',1224,'97',1224,'111',1224,'99":-0.','0278},',1096,':"l",',1096,':"m',1433,'116',1224,'117',1224,'98',1224,'121',1224,'118',1224,1439,'0278},',1096,':"n',1433,'116',1224,'117',1224,'98',1224,'121',1224,'118',1224,1439,'0278},',1096,':"o",a:0',800,1443,'111',1443,'120',1224,'100',1443,'99',1443,'113',1443,'118',1224,1436,'0556,"121',1224,1439,'0278},',1096,':"p",a:0,d:0.2',800,1443,'111',1443,'120',1224,'100',1443,'99',1443,'113',1443,'118',1224,1436,'0556,"121',1224,1439,'0278},',1096,':"q",a:0,d:0.2,',1096,':"r",a:0,',1096,':"s",a:0,',1096,':"t",krn:{"121',1224,1439,'0278},',1096,':"u',1433,1439,'0278},',1096,':"v',840,1360,'97":-0.0556,"101',1224,'97',1224,'111',1224,1505,'0278},',1096,':"w',840,'0139',800,1224,'97',1224,'111',1224,1505,'0278},',1096,':"x",a:0,',1096,':"y',910,1360,'111',1224,'101',1224,'97',1224,'46',1236,'44":-0.0833},',1096,':"z",a:0,',1096,1037,'0278',492,'124},',1096,1042,'0278,',1096,1045,6,1111,2,1050,6,1111,2,'xA8;",',6,1111,'"}]});','jsMath.Setup.Styles({".typeset .','cmr10','":"font-family: ','serif','",".typeset .','italic":"font-style: italic',1663,'bold":"font-weight: bold',1663,'lucida":"font-family: \'Lucida Grande','\'",".typeset .','asymbol','":"font-family: \'Apple ','Symbols\'; ','font-size: ','115','%",".typeset .','cal',1671,'Chancery',1669,'arrows','":"font-family: \'Hiragino Mincho Pro',1669,'arrow1',1681,'\'; ','position: relative; top',': .075em; margin: -1px',1663,'arrow1a',1681,'\'; margin:-.','3em',1663,252,1661,'AppleGothic','; ',1673,'50',1675,'arrow2',1661,'Symbol','; ',1673,'140%; ',1686,': .','1em; margin:-1px',1663,'arrow2a',1661,1703,1663,302,1661,1696,'; ',1673,'67',1675,'harpoon',1661,1696,'; ',1673,'90',1675,267,1681,1669,'symbol2',1681,1691,'2em',1663,'symbol3',1661,1696,1663,'delim1',1661,'Times; ',1673,'133',189,'75em',1663,'delim1b',1681,'\'; ',1673,'133',189,'8em; ',173,1663,'delim1c',1661,1703,'; ',1673,'120',189,'8em',';",".typeset .',141,1661,'Baskerville','; ',1673,'180',189,1747,1663,'delim2b',1681,'\'; ',1673,'190',189,'8em; ',173,1663,'delim2c',1661,1703,'; ',1673,'167',189,'8em',1766,'delim3',1661,1769,'; ',1673,'250',189,'725em',1663,'delim3b',1681,'\'; ',1673,'250',189,'8em; ',173,1663,'delim3c',1661,267,'; ',1673,'240',189,'775em',1766,'delim4',1661,1769,'; ',1673,'325',189,'7em',1663,'delim4b',1681,'\'; ',1673,'325',189,'8em; ',173,1663,'delim4c',1661,1703,'; ',1673,'300',189,'8em',1766,'vertical',1661,'Copperplate',1663,'vertical1',1661,1850,'; ',1673,'85%; margin: .','15em',1766,247,1661,1850,'; ',1673,1857,'17em',1766,'greek',1661,1662,1663,357,1661,1662,'; font-style:italic',1663,1092,1661,1662,'; font-weight:bold',1663,38,1681,'\'; ',1673,'133%; ',1686,': .85em','; margin:-.','05em',1663,1,1661,1769,'; ',1673,'100%; ',1686,': .775em',1766,20,1681,'\'; ',1673,'160%; ',1686,': .7em','; margin:-.1em',1663,14,1661,'Apple Symbols','; ',1673,'125%; ',1686,': .',1747,1908,1766,87,1681,'\'; ',1673,'200%; ',1686,': .8em',1889,'07em',1663,50,1661,1769,'; ',1673,'175%; ',1686,1907,1766,69,1681,'\'; ',1673,'270%; ',1686,': .62em',1908,1663,63,1671,'Symbols\'; ',1673,'250%; ',1686,1907,1889,'17em',1766,111,'":"',1673,'67%; ',1686,':-.8em',1663,116,'":"',1673,'110%; ',1686,':-.5em',1663,121,'":"',1673,'175%; ',1686,':-.32em',1663,127,'":"',1673,'75%; ',1686,1971,1663,132,'":"',1673,'133%; ',1686,': -.15em',1663,'wide3a":"',1673,'200%; ',1686,': -.05em',1663,194,1661,1769,1766,'accent":"',1686,': .02em',1663,384,'":"',1686,2006,'; font-style:italic',1663,1111,'":"',1686,2006,1880,'"});jsMath.noAppleSymbols=(jsMath.BBoxFor("&#x2223;").w==jsMath.BBoxFor("<',172,'font-family: ',1912,'\\">&#x2223;</span>").w);','if(jsMath.noAppleSymbols){jsMath.Update.TeXfonts({cmsy10:{"','16":{c:"<','span style=\\"position:relative',';top:.','25em; ',1673,'67%\\">&#x2323;</span><',2026,';top:-.15em;font-size:67%;','margin-left:-','1em\\">&#x2322',264,6,'normal"},"','22','":{c:"&#','x227A;<',2026,2027,'3em; ',2033,'1em\\">&','mdash',264,6,2037,'23',2039,'x227B;<',2026,2027,2043,2033,2045,'mdash',264,6,2037,'91','":{c:"&#x222A',';"},"92',2039,22,';"},"93',2063,';<',172,1673,'50%; ',2033,'1.1em; ',1686,':-.3em; margin-right:.4em\\">+</span','>"},"94',2039,34,';"},"95',2039,40,';"},"96":{c:"|<',2026,'; top:-.15em',262,2045,'ndash',264,6,2037,'109',2039,'x21D1;<',2026,'; top:.','1em',262,'6em\\">&#x21D3',264,'h:0.9,d:0.2,',6,1711,'"}},cmex10:{"85',2063,';<',172,1673,'50%; ',2033,'1.1em; ',1686,2076,'>"},"93',2063,';<',172,1673,'50%; ',2033,'1.1em; ',1686,2076,'>"}}});jsMath.Macro("rightleftharpoons","\\\\unicode{x21CC}");}else{',1659,'harpoon',1661,1912,'; ',1673,'125%"});}','if(jsMath.browser=="','OmniWeb"){jsMath.Update.TeXfonts({cmsy10:{"55":{c:"<',172,1673,'75%; ','position:relative','; left:.3em',2085,262,'3em\\">&#x02EB;</span>"},"104":{c:"<',2026,2096,'2em',262,'55em\\">&#x3008;</span>"},"105":{c:"<',2026,2096,'2em','; margin-right',':-.55em\\">&#x3009;</span>"}}});',1659,'arrow2',1661,1703,'; ',1673,'100%; ',1686,': -.',1709,'"});',2024,'22',2039,'x227A;<',2026,2027,'25em',262,'8em',2150,':.2em\\">&ndash',264,6,2037,'23',2039,'x227B;<',2026,2027,'25em',262,'7em',2150,':.',2045,'ndash',264,6,2037,'96":{c:"<',172,'font-size:80%; ',2137,2085,'\\">|</span><',2026,'; top:-.1em',262,2045,'ndash',264,6,'normal"}}});}}',2132,'Opera"){',1659,14,'":"margin:0pt .12em 0pt 0pt',1766,63,2210,';"});}',2132,'Mozilla','"){jsMath.Setup.Script("jsMath-fallback-mac-','mozilla.js");}',2132,'MSIE',2217,'msie.js");}jsMath.Macro("not","\\\\mathrel{\\\\rlap{\\\\kern 4mu/}}");jsMath.Box.defaultH=0.8;jsMath.Script.End();']
        !            29: ]);

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