/************************************************************* * * Copyright (c) 2017 The MathJax Consortium * * 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. */ /** * @fileoverview Mappings for TeX parsing of the AMS math package. * * @author v.sorge@mathjax.org (Volker Sorge) */ import AmsMethods from './AmsMethods.js'; import * as sm from '../SymbolMap.js'; import {TexConstant} from '../TexConstants.js'; import ParseMethods from '../ParseMethods.js'; import ParseUtil from '../ParseUtil.js'; import {TEXCLASS} from '../../../core/MmlTree/MmlNode.js'; let COLS = function(W: number[]) { const WW: string[] = []; for (let i = 0, m = W.length; i < m; i++) { WW[i] = ParseUtil.Em(W[i]); } return WW.join(' '); }; /** * Operators from the AMS Math package. */ new sm.CharacterMap('AMSmath-mathchar0mo', ParseMethods.mathchar0mo, { iiiint: ['\u2A0C', {texClass: TEXCLASS.OP}] }); /** * Macros from the AMS Math package. */ new sm.CommandMap('AMSmath-macros', { mathring: ['Accent', '02DA'], // or 0x30A nobreakspace: 'Tilde', negmedspace: ['Spacer', TexConstant.Length.NEGATIVEMEDIUMMATHSPACE], negthickspace: ['Spacer', TexConstant.Length.NEGATIVETHICKMATHSPACE], // intI: ['Macro', '\\mathchoice{\\!}{}{}{}\\!\\!\\int'], // iint: ['MultiIntegral', '\\int\\intI'], // now in core TeX input jax // iiint: ['MultiIntegral', '\\int\\intI\\intI'], // now in core TeX input jax // iiiint: ['MultiIntegral', '\\int\\intI\\intI\\intI'], // now in mathchar0mo above idotsint: ['MultiIntegral', '\\int\\cdots\\int'], // dddot: ['Macro', '\\mathop{#1}\\limits^{\\textstyle \\mathord{.}\\mathord{.}\\mathord{.}}', 1], // ddddot: ['Macro', '\\mathop{#1}\\limits^{\\textstyle \\mathord{.}\\mathord{.}\\mathord{.}\\mathord{.}}', 1], dddot: ['Accent', '20DB'], ddddot: ['Accent', '20DC'], sideset: ['Macro', '\\mathop{\\mathop{\\rlap{\\phantom{#3}}}\\nolimits#1' + '\\!\\mathop{#3}\\nolimits#2}', 3], boxed: ['Macro', '\\fbox{$\\displaystyle{#1}$}', 1], tag: 'HandleTag', notag: 'HandleNoTag', eqref: ['HandleRef', true], substack: ['Macro', '\\begin{subarray}{c}#1\\end{subarray}', 1], injlim: ['NamedOp', 'inj lim'], projlim: ['NamedOp', 'proj lim'], varliminf: ['Macro', '\\mathop{\\underline{\\mmlToken{mi}{lim}}}'], varlimsup: ['Macro', '\\mathop{\\overline{\\mmlToken{mi}{lim}}}'], varinjlim: ['Macro', '\\mathop{\\underrightarrow{\\mmlToken{mi}{lim}}}'], varprojlim: ['Macro', '\\mathop{\\underleftarrow{\\mmlToken{mi}{lim}}}'], DeclareMathOperator: 'HandleDeclareOp', operatorname: 'HandleOperatorName', SkipLimits: 'SkipLimits', genfrac: 'Genfrac', frac: ['Genfrac', '', '', '', ''], tfrac: ['Genfrac', '', '', '', '1'], dfrac: ['Genfrac', '', '', '', '0'], binom: ['Genfrac', '(', ')', '0', ''], tbinom: ['Genfrac', '(', ')', '0', '1'], dbinom: ['Genfrac', '(', ')', '0', '0'], cfrac: 'CFrac', shoveleft: ['HandleShove', TexConstant.Align.LEFT], shoveright: ['HandleShove', TexConstant.Align.RIGHT], xrightarrow: ['xArrow', 0x2192, 5, 6], xleftarrow: ['xArrow', 0x2190, 7, 3] }, AmsMethods); /** * Environments from the AMS Math package. */ new sm.EnvironmentMap('AMSmath-environment', ParseMethods.environment, { 'eqnarray*': ['EqnArray', null, false, true, 'rcl', '0 ' + TexConstant.Length.THICKMATHSPACE, '.5em'], align: ['EqnArray', null, true, true, 'rlrlrlrlrlrl', COLS([0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0])], 'align*': ['EqnArray', null, false, true, 'rlrlrlrlrlrl', COLS([0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0])], multline: ['Multline', null, true], 'multline*': ['Multline', null, false], split: ['EqnArray', null, false, false, 'rl', COLS([0])], gather: ['EqnArray', null, true, true, 'c'], 'gather*': ['EqnArray', null, false, true, 'c'], alignat: ['AlignAt', null, true, true], 'alignat*': ['AlignAt', null, false, true], alignedat: ['AlignAt', null, false, false], aligned: ['AmsEqnArray', null, null, null, 'rlrlrlrlrlrl', COLS([0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0]), '.5em', 'D'], gathered: ['AmsEqnArray', null, null, null, 'c', null, '.5em', 'D'], subarray: ['Array', null, null, null, null, COLS([0]), '0.1em', 'S', 1], smallmatrix: ['Array', null, null, null, 'c', COLS([1 / 3]), '.2em', 'S', 1], matrix: ['Array', null, null, null, 'c'], pmatrix: ['Array', null, '(', ')', 'c'], bmatrix: ['Array', null, '[', ']', 'c'], Bmatrix: ['Array', null, '\\{', '\\}', 'c'], vmatrix: ['Array', null, '\\vert', '\\vert', 'c'], Vmatrix: ['Array', null, '\\Vert', '\\Vert', 'c'], cases: ['Array', null, '\\{', '.', 'll', null, '.2em', 'T'] }, AmsMethods); /** * Delimiters from the AMS Math package. */ new sm.DelimiterMap('AMSmath-delimiter', ParseMethods.delimiter, { '\\lvert': ['\u007C', {texClass: TEXCLASS.OPEN}], '\\rvert': ['\u007C', {texClass: TEXCLASS.CLOSE}], '\\lVert': ['\u2016', {texClass: TEXCLASS.OPEN}], '\\rVert': ['\u2016', {texClass: TEXCLASS.CLOSE}] }); /** * Identifiers from the AMS Symbols package. */ new sm.CharacterMap('AMSsymbols-mathchar0mi', ParseMethods.mathchar0mi, { // Lowercase Greek letters digamma: '\u03DD', varkappa: '\u03F0', // Uppercase Greek letters varGamma: ['\u0393', {mathvariant: TexConstant.Variant.ITALIC}], varDelta: ['\u0394', {mathvariant: TexConstant.Variant.ITALIC}], varTheta: ['\u0398', {mathvariant: TexConstant.Variant.ITALIC}], varLambda: ['\u039B', {mathvariant: TexConstant.Variant.ITALIC}], varXi: ['\u039E', {mathvariant: TexConstant.Variant.ITALIC}], varPi: ['\u03A0', {mathvariant: TexConstant.Variant.ITALIC}], varSigma: ['\u03A3', {mathvariant: TexConstant.Variant.ITALIC}], varUpsilon: ['\u03A5', {mathvariant: TexConstant.Variant.ITALIC}], varPhi: ['\u03A6', {mathvariant: TexConstant.Variant.ITALIC}], varPsi: ['\u03A8', {mathvariant: TexConstant.Variant.ITALIC}], varOmega: ['\u03A9', {mathvariant: TexConstant.Variant.ITALIC}], // Hebrew letters beth: '\u2136', gimel: '\u2137', daleth: '\u2138', // Miscellaneous symbols // hbar: '\u0127', // in TeX/jax.js backprime: ['\u2035', {variantForm: true}], hslash: '\u210F', varnothing: ['\u2205', {variantForm: true}], blacktriangle: '\u25B4', triangledown: ['\u25BD', {variantForm: true}], blacktriangledown: '\u25BE', square: '\u25FB', Box: '\u25FB', blacksquare: '\u25FC', lozenge: '\u25CA', Diamond: '\u25CA', blacklozenge: '\u29EB', circledS: ['\u24C8', {mathvariant: TexConstant.Variant.NORMAL}], bigstar: '\u2605', // angle: '\u2220', // in TeX/jax.js sphericalangle: '\u2222', measuredangle: '\u2221', nexists: '\u2204', complement: '\u2201', mho: '\u2127', eth: ['\u00F0', {mathvariant: TexConstant.Variant.NORMAL}], Finv: '\u2132', diagup: '\u2571', Game: '\u2141', diagdown: '\u2572', Bbbk: ['\u006B', {mathvariant: TexConstant.Variant.DOUBLESTRUCK}], yen: '\u00A5', circledR: '\u00AE', checkmark: '\u2713', maltese: '\u2720' }); /** * Operators from the AMS Symbols package. */ new sm.CharacterMap('AMSsymbols-mathchar0m0', ParseMethods.mathchar0mo, { // Binary operators dotplus: '\u2214', ltimes: '\u22C9', smallsetminus: '\u2216', rtimes: '\u22CA', Cap: '\u22D2', doublecap: '\u22D2', leftthreetimes: '\u22CB', Cup: '\u22D3', doublecup: '\u22D3', rightthreetimes: '\u22CC', barwedge: '\u22BC', curlywedge: '\u22CF', veebar: '\u22BB', curlyvee: '\u22CE', doublebarwedge: '\u2A5E', boxminus: '\u229F', circleddash: '\u229D', boxtimes: '\u22A0', circledast: '\u229B', boxdot: '\u22A1', circledcirc: '\u229A', boxplus: '\u229E', centerdot: ['\u22C5', {variantForm: true}], divideontimes: '\u22C7', intercal: '\u22BA', // Binary relations leqq: '\u2266', geqq: '\u2267', leqslant: '\u2A7D', geqslant: '\u2A7E', eqslantless: '\u2A95', eqslantgtr: '\u2A96', lesssim: '\u2272', gtrsim: '\u2273', lessapprox: '\u2A85', gtrapprox: '\u2A86', approxeq: '\u224A', lessdot: '\u22D6', gtrdot: '\u22D7', lll: '\u22D8', llless: '\u22D8', ggg: '\u22D9', gggtr: '\u22D9', lessgtr: '\u2276', gtrless: '\u2277', lesseqgtr: '\u22DA', gtreqless: '\u22DB', lesseqqgtr: '\u2A8B', gtreqqless: '\u2A8C', doteqdot: '\u2251', Doteq: '\u2251', eqcirc: '\u2256', risingdotseq: '\u2253', circeq: '\u2257', fallingdotseq: '\u2252', triangleq: '\u225C', backsim: '\u223D', thicksim: ['\u223C', {variantForm: true}], backsimeq: '\u22CD', thickapprox: ['\u2248', {variantForm: true}], subseteqq: '\u2AC5', supseteqq: '\u2AC6', Subset: '\u22D0', Supset: '\u22D1', sqsubset: '\u228F', sqsupset: '\u2290', preccurlyeq: '\u227C', succcurlyeq: '\u227D', curlyeqprec: '\u22DE', curlyeqsucc: '\u22DF', precsim: '\u227E', succsim: '\u227F', precapprox: '\u2AB7', succapprox: '\u2AB8', vartriangleleft: '\u22B2', lhd: '\u22B2', vartriangleright: '\u22B3', rhd: '\u22B3', trianglelefteq: '\u22B4', unlhd: '\u22B4', trianglerighteq: '\u22B5', unrhd: '\u22B5', vDash: '\u22A8', Vdash: '\u22A9', Vvdash: '\u22AA', smallsmile: ['\u2323', {variantForm: true}], shortmid: ['\u2223', {variantForm: true}], smallfrown: ['\u2322', {variantForm: true}], shortparallel: ['\u2225', {variantForm: true}], bumpeq: '\u224F', between: '\u226C', Bumpeq: '\u224E', pitchfork: '\u22D4', varpropto: '\u221D', backepsilon: '\u220D', blacktriangleleft: '\u25C2', blacktriangleright: '\u25B8', therefore: '\u2234', because: '\u2235', eqsim: '\u2242', vartriangle: ['\u25B3', {variantForm: true}], Join: '\u22C8', // Negated relations nless: '\u226E', ngtr: '\u226F', nleq: '\u2270', ngeq: '\u2271', nleqslant: ['\u2A87', {variantForm: true}], ngeqslant: ['\u2A88', {variantForm: true}], nleqq: ['\u2270', {variantForm: true}], ngeqq: ['\u2271', {variantForm: true}], lneq: '\u2A87', gneq: '\u2A88', lneqq: '\u2268', gneqq: '\u2269', lvertneqq: ['\u2268', {variantForm: true}], gvertneqq: ['\u2269', {variantForm: true}], lnsim: '\u22E6', gnsim: '\u22E7', lnapprox: '\u2A89', gnapprox: '\u2A8A', nprec: '\u2280', nsucc: '\u2281', npreceq: ['\u22E0', {variantForm: true}], nsucceq: ['\u22E1', {variantForm: true}], precneqq: '\u2AB5', succneqq: '\u2AB6', precnsim: '\u22E8', succnsim: '\u22E9', precnapprox: '\u2AB9', succnapprox: '\u2ABA', nsim: '\u2241', ncong: '\u2246', nshortmid: ['\u2224', {variantForm: true}], nshortparallel: ['\u2226', {variantForm: true}], nmid: '\u2224', nparallel: '\u2226', nvdash: '\u22AC', nvDash: '\u22AD', nVdash: '\u22AE', nVDash: '\u22AF', ntriangleleft: '\u22EA', ntriangleright: '\u22EB', ntrianglelefteq: '\u22EC', ntrianglerighteq: '\u22ED', nsubseteq: '\u2288', nsupseteq: '\u2289', nsubseteqq: ['\u2288', {variantForm: true}], nsupseteqq: ['\u2289', {variantForm: true}], subsetneq: '\u228A', supsetneq: '\u228B', varsubsetneq: ['\u228A', {variantForm: true}], varsupsetneq: ['\u228B', {variantForm: true}], subsetneqq: '\u2ACB', supsetneqq: '\u2ACC', varsubsetneqq: ['\u2ACB', {variantForm: true}], varsupsetneqq: ['\u2ACC', {variantForm: true}], // Arrows leftleftarrows: '\u21C7', rightrightarrows: '\u21C9', leftrightarrows: '\u21C6', rightleftarrows: '\u21C4', Lleftarrow: '\u21DA', Rrightarrow: '\u21DB', twoheadleftarrow: '\u219E', twoheadrightarrow: '\u21A0', leftarrowtail: '\u21A2', rightarrowtail: '\u21A3', looparrowleft: '\u21AB', looparrowright: '\u21AC', leftrightharpoons: '\u21CB', rightleftharpoons: ['\u21CC', {variantForm: true}], curvearrowleft: '\u21B6', curvearrowright: '\u21B7', circlearrowleft: '\u21BA', circlearrowright: '\u21BB', Lsh: '\u21B0', Rsh: '\u21B1', upuparrows: '\u21C8', downdownarrows: '\u21CA', upharpoonleft: '\u21BF', upharpoonright: '\u21BE', downharpoonleft: '\u21C3', restriction: '\u21BE', multimap: '\u22B8', downharpoonright: '\u21C2', leftrightsquigarrow: '\u21AD', rightsquigarrow: '\u21DD', leadsto: '\u21DD', dashrightarrow: '\u21E2', dashleftarrow: '\u21E0', // Negated arrows nleftarrow: '\u219A', nrightarrow: '\u219B', nLeftarrow: '\u21CD', nRightarrow: '\u21CF', nleftrightarrow: '\u21AE', nLeftrightarrow: '\u21CE' }); /** * Delimiters from the AMS Symbols package. */ new sm.DelimiterMap('AMSsymbols-delimiter', ParseMethods.delimiter, { // corners '\\ulcorner': '\u231C', '\\urcorner': '\u231D', '\\llcorner': '\u231E', '\\lrcorner': '\u231F' }); /** * Macros from the AMS Symbols package. */ new sm.CommandMap('AMSsymbols-macros', { implies: ['Macro', '\\;\\Longrightarrow\\;'], impliedby: ['Macro', '\\;\\Longleftarrow\\;'] }, AmsMethods);