Math/modules/MathJax/unpacked/jax/output/SVG/fonts/Asana-Math/fontdata-extra.js

430 lines
11 KiB
JavaScript

/*************************************************************
*
* MathJax/jax/output/SVG/fonts/Asana-Math/fontdata-extra.js
*
* Adds extra stretchy characters to the Asana-Math fonts
* Copyright (c) 2013 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.
*/
(function (SVG) {
var VERSION = "2.3";
var DELIMITERS = SVG.FONTDATA.DELIMITERS;
var H = "H", V = "V";
var ALPHABETS = "AsanaMathJax_Alphabets",
ARROWS = "AsanaMathJax_Arrows",
DOUBLESTRUCK = "AsanaMathJax_DoubleStruck",
FRAKTUR = "AsanaMathJax_Fraktur",
LATIN = "AsanaMathJax_Latin",
MAIN = "AsanaMathJax_Main",
MARKS = "AsanaMathJax_Marks",
MISC = "AsanaMathJax_Misc",
MONOSPACE = "AsanaMathJax_Monospace",
NONUNICODE = "AsanaMathJax_NonUnicode",
NORMAL = "AsanaMathJax_Normal",
OPERATORS = "AsanaMathJax_Operators",
SANSSERIF = "AsanaMathJax_SansSerif",
SCRIPT = "AsanaMathJax_Script",
SHAPES = "AsanaMathJax_Shapes",
SIZE1 = "AsanaMathJax_Size1",
SIZE2 = "AsanaMathJax_Size2",
SIZE3 = "AsanaMathJax_Size3",
SIZE4 = "AsanaMathJax_Size4",
SIZE5 = "AsanaMathJax_Size5",
SIZE6 = "AsanaMathJax_Size6",
SYMBOLS = "AsanaMathJax_Symbols",
VARIANTS = "AsanaMathJax_Variants";
var delim = {
0x306:
{
dir: H,
HW: [[282,MAIN], [384,SIZE1], [542,SIZE2], [922,SIZE3], [1762,SIZE4]]
},
0x333:
{
dir: H,
HW: [[433,MARKS], [511,SIZE1], [675,SIZE2], [1127,SIZE3]],
stretch: {rep:[0xE003,SIZE6], right:[0xE003,SIZE6]}
},
0x33F:
{
dir: H,
HW: [[433,MARKS], [511,SIZE1], [675,SIZE2], [1127,SIZE3]],
stretch: {rep:[0xE004,SIZE6], right:[0xE004,SIZE6]}
},
0x2045:
{
dir: V,
HW: [[910,MARKS], [1344,SIZE1], [1862,SIZE2], [2328,SIZE3]],
stretch: {bot:[0xE006,SIZE6], ext:[0xE007,SIZE6], mid:[0xE008,SIZE6], top:[0xE009,SIZE6]}
},
0x2046:
{
dir: V,
HW: [[910,MARKS], [1344,SIZE1], [1862,SIZE2], [2328,SIZE3]],
stretch: {bot:[0xE00A,SIZE6], ext:[0xE00B,SIZE6], mid:[0xE00C,SIZE6], top:[0xE00D,SIZE6]}
},
0x20D0:
{
dir: H,
HW: [[558,MARKS]],
stretch: {left:[0x20D0,MARKS], rep:[0xE00E,SIZE6]}
},
0x20D1:
{
dir: H,
HW: [[558,MARKS]],
stretch: {rep:[0xE00E,SIZE6], right:[0x20D1,MARKS]}
},
0x20D6:
{
dir: H,
HW: [[558,MARKS], [807,SIZE1], [1127,SIZE2], [1878,SIZE3], [3579,SIZE4]],
stretch: {left:[0x20D6,MARKS], rep:[0xE00E,SIZE6]}
},
0x20D7:
{
dir: H,
HW: [[558,MAIN], [807,SIZE1], [1127,SIZE2], [1878,SIZE3], [3579,SIZE4]],
stretch: {rep:[0xE00E,SIZE6], right:[0x20D7,MAIN]}
},
0x20E1:
{
dir: H,
HW: [[557,MARKS]],
stretch: {left:[0x20D6,MARKS], rep:[0xE00E,SIZE6], right:[0x20D7,MAIN]}
},
0x20E9:
{
dir: H,
HW: [[630,MARKS]],
stretch: {left:[0xE00F,SIZE6], rep:[0xE010,SIZE6], right:[0xE011,SIZE6]}
},
0x20EE:
{
dir: H,
HW: [[557,MARKS]],
stretch: {left:[0x20EE,MARKS], rep:[0xE012,SIZE6]}
},
0x20EF:
{
dir: H,
HW: [[557,MARKS]],
stretch: {rep:[0xE012,SIZE6], right:[0x20EF,MARKS]}
},
0x21A9:
{
dir: H,
HW: [[884,MAIN]],
stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE01A,SIZE6]}
},
0x21AA:
{
dir: H,
HW: [[884,MAIN]],
stretch: {left:[0xE01B,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
},
0x2210:
{
dir: V,
HW: [[937,OPERATORS], [1349,SIZE1], [1942,SIZE2], [2797,SIZE3]]
},
0x2211:
{
dir: V,
HW: [[930,OPERATORS], [1339,SIZE1], [1928,SIZE2], [2776,SIZE3]]
},
0x2229:
{
dir: V,
HW: [[603,MAIN], [1559,SIZE1], [2245,SIZE2], [2588,SIZE3]]
},
0x222B:
{
dir: V,
HW: [[1327,MAIN], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]],
stretch: {bot:[0x2321,SYMBOLS], ext:[0x23AE,SYMBOLS], top:[0x2320,SYMBOLS]}
},
0x222C:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x222D:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x222E:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x222F:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2230:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2231:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2232:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2233:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x22C0:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x22C1:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x22C2:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x22C3:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2245,SIZE2], [2588,SIZE3]]
},
0x23B4:
{
dir: H,
HW: [[602,MAIN], [978,SIZE1], [1353,SIZE2], [1690,SIZE3]],
stretch: {left:[0xE00F,SIZE6], rep:[0xE010,SIZE6], right:[0xE011,SIZE6]}
},
0x23B5:
{
dir: H,
HW: [[602,MAIN], [978,SIZE1], [1353,SIZE2], [1690,SIZE3]],
stretch: {left:[0xE023,SIZE6], rep:[0xE024,SIZE6], right:[0xE025,SIZE6]}
},
0x23DC:
{
dir: H,
HW: [[942,MAIN], [973,SIZE1], [1349,SIZE2], [1686,SIZE3]],
stretch: {left:[0xE026,SIZE6], rep:[0xE027,SIZE6], right:[0xE028,SIZE6]}
},
0x23DD:
{
dir: H,
HW: [[942,MAIN], [973,SIZE1], [1349,SIZE2], [1686,SIZE3]],
stretch: {left:[0xE029,SIZE6], rep:[0xE02A,SIZE6], right:[0xE02B,SIZE6]}
},
0x23E0:
{
dir: H,
HW: [[900,MAIN], [1360,SIZE1], [2056,SIZE2], [3108,SIZE3]]
},
0x23E1:
{
dir: H,
HW: [[900,MAIN], [1360,SIZE1], [2056,SIZE2], [3108,SIZE3]]
},
0x27E6:
{
dir: V,
HW: [[910,SYMBOLS], [1025,SIZE1], [1535,SIZE2], [2045,SIZE3], [2556,SIZE4]]
},
0x27E7:
{
dir: V,
HW: [[910,SYMBOLS], [1025,SIZE1], [1535,SIZE2], [2045,SIZE3], [2556,SIZE4]]
},
0x27EA:
{
dir: V,
HW: [[885,SYMBOLS], [1020,SIZE1], [2041,SIZE2], [2552,SIZE3]]
},
0x27EB:
{
dir: V,
HW: [[885,SYMBOLS], [1020,SIZE1], [2041,SIZE2], [2552,SIZE3]]
},
0x29FC:
{
dir: V,
HW: [[953,SYMBOLS], [1372,SIZE1], [1893,SIZE2], [2366,SIZE3]]
},
0x29FD:
{
dir: V,
HW: [[953,SYMBOLS], [1372,SIZE1], [1893,SIZE2], [2366,SIZE3]]
},
0x2A00:
{
dir: V,
HW: [[1146,OPERATORS], [1650,SIZE1], [2376,SIZE2]]
},
0x2A01:
{
dir: V,
HW: [[1149,OPERATORS], [1650,SIZE1], [2376,SIZE2]]
},
0x2A02:
{
dir: V,
HW: [[1149,OPERATORS], [1650,SIZE1], [2376,SIZE2]]
},
0x2A03:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x2A04:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x2A05:
{
dir: V,
HW: [[926,OPERATORS], [1537,SIZE1], [2552,SIZE2]]
},
0x2A06:
{
dir: V,
HW: [[926,OPERATORS], [1537,SIZE1], [2552,SIZE2]]
},
0x2A07:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x2A08:
{
dir: V,
HW: [[939,OPERATORS], [1559,SIZE1], [2588,SIZE2]]
},
0x2A09:
{
dir: V,
HW: [[926,OPERATORS], [1333,SIZE1], [1920,SIZE2]]
},
0x2A0C:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A0D:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A0E:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A0F:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A10:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A11:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A12:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A13:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A14:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A15:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A16:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A17:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A18:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A19:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A1A:
{
dir: V,
HW: [[1327,OPERATORS], [1964,SIZE1], [2711,SIZE2], [3470,SIZE3]]
},
0x2A1B:
{
dir: V,
HW: [[1436,OPERATORS], [2125,SIZE1], [2933,SIZE2], [3754,SIZE3]]
},
0x2A1C:
{
dir: V,
HW: [[1436,OPERATORS], [2125,SIZE1], [2933,SIZE2], [3754,SIZE3]]
}
};
for (var id in delim) {if (delim.hasOwnProperty(id)) {DELIMITERS[id] = delim[id]}};
MathJax.Ajax.loadComplete(SVG.fontDir + "/fontdata-extra.js");
})(MathJax.OutputJax["SVG"]);