User:CBM2/jsMath/extensions/moreArrows.js

/* * 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); }

});