interactive-mining/interactive-mining-3rdparty.../madis/src/docs/source/_static/jsMath/extensions/moreArrows.js

69 lines
2.4 KiB
JavaScript

/*
* extensions/moreArrows.js
*
* Part of the jsMath package for mathematics on the web.
*
* This file implements additional arrow macros with under- and
* overset labels. It can be loaded by
*
* jsMath.Extension.Require('moreArrows');
*
* or using \require{moreArrows} within a math formula.
*
* ---------------------------------------------------------------------
*
* Copyright 2005-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.
*/
/********************************************************************/
jsMath.Extension.Require('leaders');
jsMath.Package(jsMath.Parser,{
macros: {
xrightarrow: ['HandleArrows','rightarrow'],
xleftarrow: ['HandleArrows','leftarrow'],
xuprightharpoon: ['HandleArrows','uprightharpoon'],
xupleftharpoon: ['HandleArrows','upleftharpoon'],
xdownrightharpoon: ['HandleArrows','downrightharpoon'],
xdownleftharpoon: ['HandleArrows','downleftharpoon']
},
leaders: {
upleftharpoon: {left: [1,0x28], rep: [2,0x00]},
uprightharpoon: {rep: [2,0x00], right: [1,0x2A]},
downleftharpoon: {left: [1,0x29], rep: [2,0x00]},
downrightharpoon: {rep: [2,0x00], right: [1,0x2B]}
},
HandleArrows: function (name,data) {
var bot = this.GetBrackets(this.cmd+name); if (this.error) return;
var top = this.ProcessArg(this.cmd+name); if (this.error) return;
var box = jsMath.Box.Set(top,'S',this.mlist.data.size).Remeasured();
var w = box.w;
if (bot) {
bot = this.Process(bot); if (this.error) return;
var box = jsMath.Box.Set(bot,'S',this.mlist.data.size).Remeasured();
w = Math.max(w,box.w);
}
var leader = jsMath.Box.Leaders(w+.75,this.leaders[data[0]]);
box = jsMath.mItem.Atom('op',jsMath.Box.SetList([leader],'T',this.mlist.data.size));
box.limits = 1; box.sup = top; box.sub = bot;
this.mlist.Add(box);
}
});