diff options
Diffstat (limited to 'tex/context/base/char-def.lua')
| -rw-r--r-- | tex/context/base/char-def.lua | 209 |
1 files changed, 174 insertions, 35 deletions
diff --git a/tex/context/base/char-def.lua b/tex/context/base/char-def.lua index 7aa2609f4..29a325697 100644 --- a/tex/context/base/char-def.lua +++ b/tex/context/base/char-def.lua @@ -407,15 +407,6 @@ characters.data={ direction="cs", linebreak="is", mathclass="punctuation", ---mathspec={ --- { --- class="punctuation", --- }, --- { --- class="ord", --- name="mathcomma", --- }, ---}, unicodeslot=0x002C, }, { @@ -432,20 +423,13 @@ characters.data={ adobename="period", category="po", cjkwd="na", + comment="class needed for autopunctuation", contextname="textperiod", description="FULL STOP", direction="cs", linebreak="is", - mathclass="ord", mathclass="punctuation", - comment = "class needed for autopunctuation", mathspec={ --- { --- class="ord", --- }, --- { --- class="punctuation", --- }, { class="punctuation", name="ldotp", @@ -607,14 +591,14 @@ characters.data={ direction="on", linebreak="al", mathspec={ - { - class="relation", - name="eq", - }, - { - class="relation", - name="Relbar", - }, + { + class="relation", + name="eq", + }, + { + class="relation", + name="Relbar", + }, }, unicodeslot=0x003D, }, @@ -56627,7 +56611,7 @@ characters.data={ { class="inner", name="dots", - } + }, }, specials={ "compat", 0x002E, 0x002E, 0x002E }, unicodeslot=0x2026, @@ -57258,7 +57242,7 @@ characters.data={ direction="es", linebreak="al", mathclass="binary", - mathname ="positivesign", + mathname="positivesign", specials={ "super", 0x002B }, unicodeslot=0x207A, }, @@ -57268,7 +57252,7 @@ characters.data={ direction="es", linebreak="al", mathclass="binary", - mathname ="negativesign", + mathname="negativesign", specials={ "super", 0x2212 }, unicodeslot=0x207B, }, @@ -59318,6 +59302,7 @@ characters.data={ description="LEFTWARDS ARROW", direction="on", linebreak="ai", + matharrow="l", mathfiller="leftarrowfill", mathspec={ { @@ -59347,6 +59332,7 @@ characters.data={ description="UPWARDS ARROW", direction="on", linebreak="ai", + matharrow="u", mathclass="relation", mathname="uparrow", unicodeslot=0x2191, @@ -59358,6 +59344,7 @@ characters.data={ description="RIGHTWARDS ARROW", direction="on", linebreak="ai", + matharrow="r", mathfiller="rightarrowfill", mathspec={ { @@ -59387,6 +59374,7 @@ characters.data={ description="DOWNWARDS ARROW", direction="on", linebreak="ai", + matharrow="d", mathclass="relation", mathname="downarrow", unicodeslot=0x2193, @@ -59398,6 +59386,7 @@ characters.data={ description="LEFT RIGHT ARROW", direction="on", linebreak="ai", + matharrow="h", mathclass="relation", mathname="leftrightarrow", unicodeslot=0x2194, @@ -59409,6 +59398,7 @@ characters.data={ description="UP DOWN ARROW", direction="on", linebreak="ai", + matharrow="v", mathclass="relation", mathname="updownarrow", unicodeslot=0x2195, @@ -59462,6 +59452,7 @@ characters.data={ description="LEFTWARDS ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="nleftarrow", specials={ "char", 0x2190, 0x0338 }, @@ -59472,6 +59463,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="nrightarrow", specials={ "char", 0x2192, 0x0338 }, @@ -59482,6 +59474,7 @@ characters.data={ description="LEFTWARDS WAVE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftwavearrow", unicodeslot=0x219C, @@ -59491,6 +59484,7 @@ characters.data={ description="RIGHTWARDS WAVE ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightwavearrow", unicodeslot=0x219D, @@ -59500,6 +59494,7 @@ characters.data={ description="LEFTWARDS TWO HEADED ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="twoheadleftarrow", unicodeslot=0x219E, @@ -59509,6 +59504,7 @@ characters.data={ description="UPWARDS TWO HEADED ARROW", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="twoheaduparrow", unicodeslot=0x219F, @@ -59518,6 +59514,7 @@ characters.data={ description="RIGHTWARDS TWO HEADED ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="twoheadrightarrow", unicodeslot=0x21A0, @@ -59527,6 +59524,7 @@ characters.data={ description="DOWNWARDS TWO HEADED ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="twoheaddownarrow", unicodeslot=0x21A1, @@ -59536,6 +59534,7 @@ characters.data={ description="LEFTWARDS ARROW WITH TAIL", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftarrowtail", unicodeslot=0x21A2, @@ -59545,6 +59544,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH TAIL", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightarrowtail", unicodeslot=0x21A3, @@ -59554,6 +59554,7 @@ characters.data={ description="LEFTWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="mapsfrom", unicodeslot=0x21A4, @@ -59563,6 +59564,7 @@ characters.data={ description="UPWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="mapsup", unicodeslot=0x21A5, @@ -59572,6 +59574,7 @@ characters.data={ description="RIGHTWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="mapsto", unicodeslot=0x21A6, @@ -59581,6 +59584,7 @@ characters.data={ description="DOWNWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="mapsdown", unicodeslot=0x21A7, @@ -59591,6 +59595,7 @@ characters.data={ description="UP DOWN ARROW WITH BASE", direction="on", linebreak="al", + matharrow="v", mathclass="ord", mathname="updownarrowbar", unicodeslot=0x21A8, @@ -59600,6 +59605,7 @@ characters.data={ description="LEFTWARDS ARROW WITH HOOK", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="hookleftarrow", unicodeslot=0x21A9, @@ -59609,6 +59615,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH HOOK", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="hookrightarrow", unicodeslot=0x21AA, @@ -59618,6 +59625,7 @@ characters.data={ description="LEFTWARDS ARROW WITH LOOP", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="looparrowleft", unicodeslot=0x21AB, @@ -59627,6 +59635,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH LOOP", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="looparrowright", unicodeslot=0x21AC, @@ -59636,6 +59645,7 @@ characters.data={ description="LEFT RIGHT WAVE ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="leftrightsquigarrow", unicodeslot=0x21AD, @@ -59645,6 +59655,7 @@ characters.data={ description="LEFT RIGHT ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="nleftrightarrow", specials={ "char", 0x2194, 0x0338 }, @@ -59655,6 +59666,7 @@ characters.data={ description="DOWNWARDS ZIGZAG ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="downzigzagarrow", unicodeslot=0x21AF, @@ -59664,6 +59676,7 @@ characters.data={ description="UPWARDS ARROW WITH TIP LEFTWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="Lsh", unicodeslot=0x21B0, @@ -59673,6 +59686,7 @@ characters.data={ description="UPWARDS ARROW WITH TIP RIGHTWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="Rsh", unicodeslot=0x21B1, @@ -59682,6 +59696,7 @@ characters.data={ description="DOWNWARDS ARROW WITH TIP LEFTWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="Ldsh", unicodeslot=0x21B2, @@ -59691,6 +59706,7 @@ characters.data={ description="DOWNWARDS ARROW WITH TIP RIGHTWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="Rdsh", unicodeslot=0x21B3, @@ -59700,6 +59716,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH CORNER DOWNWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="ord", mathname="linefeed", unicodeslot=0x21B4, @@ -59711,6 +59728,7 @@ characters.data={ description="DOWNWARDS ARROW WITH CORNER LEFTWARDS", direction="on", linebreak="al", + matharrow="m", mathclass="ord", mathname="carriagereturn", unicodeslot=0x21B5, @@ -59749,6 +59767,7 @@ characters.data={ description="LEFTWARDS ARROW TO BAR OVER RIGHTWARDS ARROW TO BAR", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="barleftarrowrightarrowbar", unicodeslot=0x21B9, @@ -59875,6 +59894,7 @@ characters.data={ description="RIGHTWARDS ARROW OVER LEFTWARDS ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="rightleftarrows", unicodeslot=0x21C4, @@ -59885,6 +59905,7 @@ characters.data={ description="UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="updownarrows", unicodeslot=0x21C5, @@ -59895,6 +59916,7 @@ characters.data={ description="LEFTWARDS ARROW OVER RIGHTWARDS ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="leftrightarrows", unicodeslot=0x21C6, @@ -59904,6 +59926,7 @@ characters.data={ description="LEFTWARDS PAIRED ARROWS", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftleftarrows", unicodeslot=0x21C7, @@ -59913,6 +59936,7 @@ characters.data={ description="UPWARDS PAIRED ARROWS", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="upuparrows", unicodeslot=0x21C8, @@ -59922,6 +59946,7 @@ characters.data={ description="RIGHTWARDS PAIRED ARROWS", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightrightarrows", unicodeslot=0x21C9, @@ -59931,6 +59956,7 @@ characters.data={ description="DOWNWARDS PAIRED ARROWS", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="downdownarrows", unicodeslot=0x21CA, @@ -59959,6 +59985,7 @@ characters.data={ description="LEFTWARDS DOUBLE ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="nLeftarrow", specials={ "char", 0x21D0, 0x0338 }, @@ -59969,6 +59996,7 @@ characters.data={ description="LEFT RIGHT DOUBLE ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="nLeftrightarrow", specials={ "char", 0x21D4, 0x0338 }, @@ -59980,6 +60008,7 @@ characters.data={ description="RIGHTWARDS DOUBLE ARROW WITH STROKE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="nRightarrow", specials={ "char", 0x21D2, 0x0338 }, @@ -59991,6 +60020,7 @@ characters.data={ description="LEFTWARDS DOUBLE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="Leftarrow", unicodeslot=0x21D0, @@ -60001,6 +60031,7 @@ characters.data={ description="UPWARDS DOUBLE ARROW", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="Uparrow", unicodeslot=0x21D1, @@ -60012,6 +60043,7 @@ characters.data={ description="RIGHTWARDS DOUBLE ARROW", direction="on", linebreak="ai", + matharrow="r", mathspec={ { class="relation", @@ -60030,6 +60062,7 @@ characters.data={ description="DOWNWARDS DOUBLE ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="Downarrow", unicodeslot=0x21D3, @@ -60041,6 +60074,7 @@ characters.data={ description="LEFT RIGHT DOUBLE ARROW", direction="on", linebreak="ai", + matharrow="h", mathclass="relation", mathname="Leftrightarrow", unicodeslot=0x21D4, @@ -60050,6 +60084,7 @@ characters.data={ description="UP DOWN DOUBLE ARROW", direction="on", linebreak="al", + matharrow="v", mathclass="relation", mathname="Updownarrow", unicodeslot=0x21D5, @@ -60095,6 +60130,7 @@ characters.data={ description="LEFTWARDS TRIPLE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="Lleftarrow", unicodeslot=0x21DA, @@ -60104,6 +60140,7 @@ characters.data={ description="RIGHTWARDS TRIPLE ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="Rrightarrow", unicodeslot=0x21DB, @@ -60113,6 +60150,7 @@ characters.data={ description="LEFTWARDS SQUIGGLE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftsquigarrow", unicodeslot=0x21DC, @@ -60140,6 +60178,7 @@ characters.data={ description="UPWARDS ARROW WITH DOUBLE STROKE", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="nHuparrow", unicodeslot=0x21DE, @@ -60150,6 +60189,7 @@ characters.data={ description="DOWNWARDS ARROW WITH DOUBLE STROKE", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="nHdownarrow", unicodeslot=0x21DF, @@ -60160,6 +60200,7 @@ characters.data={ description="LEFTWARDS DASHED ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftdasharrow", unicodeslot=0x21E0, @@ -60170,6 +60211,7 @@ characters.data={ description="UPWARDS DASHED ARROW", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="updasharrow", unicodeslot=0x21E1, @@ -60198,6 +60240,7 @@ characters.data={ description="DOWNWARDS DASHED ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="downdasharrow", unicodeslot=0x21E3, @@ -60208,6 +60251,7 @@ characters.data={ description="LEFTWARDS ARROW TO BAR", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="barleftarrow", unicodeslot=0x21E4, @@ -60218,6 +60262,7 @@ characters.data={ description="RIGHTWARDS ARROW TO BAR", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightarrowbar", unicodeslot=0x21E5, @@ -60228,6 +60273,7 @@ characters.data={ description="LEFTWARDS WHITE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="ord", mathname="leftwhitearrow", unicodeslot=0x21E6, @@ -60239,6 +60285,7 @@ characters.data={ description="UPWARDS WHITE ARROW", direction="on", linebreak="al", + matharrow="u", mathclass="ord", mathname="upwhitearrow", unicodeslot=0x21E7, @@ -60249,6 +60296,7 @@ characters.data={ description="RIGHTWARDS WHITE ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="ord", mathname="rightwhitearrow", unicodeslot=0x21E8, @@ -60259,6 +60307,7 @@ characters.data={ description="DOWNWARDS WHITE ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="ord", mathname="downwhitearrow", unicodeslot=0x21E9, @@ -60276,6 +60325,7 @@ characters.data={ description="UPWARDS WHITE ARROW ON PEDESTAL", direction="on", linebreak="al", + matharrow="u", mathclass="ord", mathname="whitearrowupfrombar", unicodeslot=0x21EB, @@ -60341,6 +60391,7 @@ characters.data={ description="RIGHT ARROW WITH SMALL CIRCLE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="circleonrightarrow", unicodeslot=0x21F4, @@ -60350,6 +60401,7 @@ characters.data={ description="DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW", direction="on", linebreak="al", + matharrow="m", mathclass="relation", mathname="downuparrows", unicodeslot=0x21F5, @@ -60359,6 +60411,7 @@ characters.data={ description="THREE RIGHTWARDS ARROWS", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightthreearrows", unicodeslot=0x21F6, @@ -60368,6 +60421,7 @@ characters.data={ description="LEFTWARDS ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="nvleftarrow", unicodeslot=0x21F7, @@ -60377,6 +60431,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="nvrightarrow", unicodeslot=0x21F8, @@ -60386,6 +60441,7 @@ characters.data={ description="LEFT RIGHT ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="nvleftrightarrow", unicodeslot=0x21F9, @@ -60395,6 +60451,7 @@ characters.data={ description="LEFTWARDS ARROW WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="nVleftarrow", unicodeslot=0x21FA, @@ -60404,6 +60461,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="nVrightarrow", unicodeslot=0x21FB, @@ -60413,6 +60471,7 @@ characters.data={ description="LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="nVleftrightarrow", unicodeslot=0x21FC, @@ -60422,6 +60481,7 @@ characters.data={ description="LEFTWARDS OPEN-HEADED ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="leftarrowtriangle", unicodeslot=0x21FD, @@ -60431,6 +60491,7 @@ characters.data={ description="RIGHTWARDS OPEN-HEADED ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="rightarrowtriangle", unicodeslot=0x21FE, @@ -60440,6 +60501,7 @@ characters.data={ description="LEFT RIGHT OPEN-HEADED ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="leftrightarrowtriangle", unicodeslot=0x21FF, @@ -60652,11 +60714,9 @@ characters.data={ [0x2212]={ adobename="minus", category="sm", ---comment="the mathclass is needed for mathsymbol remapping", description="MINUS SIGN", direction="es", linebreak="pr", ---mathclass="binary", mathspec={ { class="binary", @@ -63263,7 +63323,7 @@ characters.data={ description="LEFT CEILING", direction="on", linebreak="al", - mathspec = { + mathspec={ { class="open", name="lceil", @@ -63271,7 +63331,7 @@ characters.data={ { class="open", name="lceiling", - } + }, }, mirror=0x2309, unicodeslot=0x2308, @@ -63281,7 +63341,7 @@ characters.data={ description="RIGHT CEILING", direction="on", linebreak="al", - mathspec = { + mathspec={ { class="close", name="rceil", @@ -63289,7 +63349,7 @@ characters.data={ { class="close", name="rceiling", - } + }, }, mirror=0x2308, unicodeslot=0x2309, @@ -72720,6 +72780,7 @@ characters.data={ description="UPWARDS QUADRUPLE ARROW", direction="on", linebreak="al", + matharrow="u", unicodeslot=0x27F0, }, [0x27F1]={ @@ -72727,6 +72788,7 @@ characters.data={ description="DOWNWARDS QUADRUPLE ARROW", direction="on", linebreak="al", + matharrow="v", unicodeslot=0x27F1, }, [0x27F2]={ @@ -72748,6 +72810,7 @@ characters.data={ description="RIGHT ARROW WITH CIRCLED PLUS", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x27F4, }, [0x27F5]={ @@ -72755,6 +72818,7 @@ characters.data={ description="LONG LEFTWARDS ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="longleftarrow", unicodeslot=0x27F5, @@ -72764,6 +72828,7 @@ characters.data={ description="LONG RIGHTWARDS ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="longrightarrow", unicodeslot=0x27F6, @@ -72773,6 +72838,7 @@ characters.data={ description="LONG LEFT RIGHT ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="longleftrightarrow", unicodeslot=0x27F7, @@ -72782,6 +72848,7 @@ characters.data={ description="LONG LEFTWARDS DOUBLE ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="Longleftarrow", unicodeslot=0x27F8, @@ -72791,6 +72858,7 @@ characters.data={ description="LONG RIGHTWARDS DOUBLE ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="Longrightarrow", unicodeslot=0x27F9, @@ -72800,6 +72868,7 @@ characters.data={ description="LONG LEFT RIGHT DOUBLE ARROW", direction="on", linebreak="al", + matharrow="h", mathclass="relation", mathname="Longleftrightarrow", unicodeslot=0x27FA, @@ -72809,6 +72878,7 @@ characters.data={ description="LONG LEFTWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="longmapsfrom", unicodeslot=0x27FB, @@ -72818,6 +72888,7 @@ characters.data={ description="LONG RIGHTWARDS ARROW FROM BAR", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="longmapsto", unicodeslot=0x27FC, @@ -72827,6 +72898,7 @@ characters.data={ description="LONG LEFTWARDS DOUBLE ARROW FROM BAR", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="Longmapsfrom", unicodeslot=0x27FD, @@ -72836,6 +72908,7 @@ characters.data={ description="LONG RIGHTWARDS DOUBLE ARROW FROM BAR", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="Longmapsto", unicodeslot=0x27FE, @@ -72845,6 +72918,7 @@ characters.data={ description="LONG RIGHTWARDS SQUIGGLE ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="longrightsquigarrow", unicodeslot=0x27FF, @@ -74646,6 +74720,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2900, }, [0x2901]={ @@ -74653,6 +74728,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2901, }, [0x2902]={ @@ -74660,6 +74736,7 @@ characters.data={ description="LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2902, }, [0x2903]={ @@ -74667,6 +74744,7 @@ characters.data={ description="RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2903, }, [0x2904]={ @@ -74674,6 +74752,7 @@ characters.data={ description="LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="h", unicodeslot=0x2904, }, [0x2905]={ @@ -74681,6 +74760,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW FROM BAR", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2905, }, [0x2906]={ @@ -74688,6 +74768,7 @@ characters.data={ description="LEFTWARDS DOUBLE ARROW FROM BAR", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="Mapsfrom", unicodeslot=0x2906, @@ -74697,6 +74778,7 @@ characters.data={ description="RIGHTWARDS DOUBLE ARROW FROM BAR", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="Mapsto", unicodeslot=0x2907, @@ -74706,6 +74788,7 @@ characters.data={ description="DOWNWARDS ARROW WITH HORIZONTAL STROKE", direction="on", linebreak="al", + matharrow="d", unicodeslot=0x2908, }, [0x2909]={ @@ -74713,6 +74796,7 @@ characters.data={ description="UPWARDS ARROW WITH HORIZONTAL STROKE", direction="on", linebreak="al", + matharrow="u", unicodeslot=0x2909, }, [0x290A]={ @@ -74720,6 +74804,7 @@ characters.data={ description="UPWARDS TRIPLE ARROW", direction="on", linebreak="al", + matharrow="u", mathclass="relation", mathname="Uuparrow", unicodeslot=0x290A, @@ -74729,6 +74814,7 @@ characters.data={ description="DOWNWARDS TRIPLE ARROW", direction="on", linebreak="al", + matharrow="d", mathclass="relation", mathname="Ddownarrow", unicodeslot=0x290B, @@ -74738,6 +74824,7 @@ characters.data={ description="LEFTWARDS DOUBLE DASH ARROW", direction="on", linebreak="al", + matharrow="l", mathclass="relation", mathname="dashedleftarrow", unicodeslot=0x290C, @@ -74747,6 +74834,7 @@ characters.data={ description="RIGHTWARDS DOUBLE DASH ARROW", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="dashedrightarrow", unicodeslot=0x290D, @@ -74756,6 +74844,7 @@ characters.data={ description="LEFTWARDS TRIPLE DASH ARROW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x290E, }, [0x290F]={ @@ -74763,6 +74852,7 @@ characters.data={ description="RIGHTWARDS TRIPLE DASH ARROW", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x290F, }, [0x2910]={ @@ -74770,6 +74860,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2910, }, [0x2911]={ @@ -74777,6 +74868,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH DOTTED STEM", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="dottedrightarrow", unicodeslot=0x2911, @@ -74786,6 +74878,7 @@ characters.data={ description="UPWARDS ARROW TO BAR", direction="on", linebreak="al", + matharrow="u", unicodeslot=0x2912, }, [0x2913]={ @@ -74793,6 +74886,7 @@ characters.data={ description="DOWNWARDS ARROW TO BAR", direction="on", linebreak="al", + matharrow="d", unicodeslot=0x2913, }, [0x2914]={ @@ -74800,6 +74894,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2914, }, [0x2915]={ @@ -74807,6 +74902,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2915, }, [0x2916]={ @@ -74814,6 +74910,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL", direction="on", linebreak="al", + matharrow="r", mathclass="relation", mathname="twoheadrightarrowtail", unicodeslot=0x2916, @@ -74823,6 +74920,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", mathclass="relation", unicodeslot=0x2917, }, @@ -74831,6 +74929,7 @@ characters.data={ description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2918, }, [0x2919]={ @@ -74838,6 +74937,7 @@ characters.data={ description="LEFTWARDS ARROW-TAIL", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2919, }, [0x291A]={ @@ -74845,6 +74945,7 @@ characters.data={ description="RIGHTWARDS ARROW-TAIL", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x291A, }, [0x291B]={ @@ -74852,6 +74953,7 @@ characters.data={ description="LEFTWARDS DOUBLE ARROW-TAIL", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x291B, }, [0x291C]={ @@ -74859,6 +74961,7 @@ characters.data={ description="RIGHTWARDS DOUBLE ARROW-TAIL", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x291C, }, [0x291D]={ @@ -74866,6 +74969,7 @@ characters.data={ description="LEFTWARDS ARROW TO BLACK DIAMOND", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x291D, }, [0x291E]={ @@ -74873,6 +74977,7 @@ characters.data={ description="RIGHTWARDS ARROW TO BLACK DIAMOND", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x291E, }, [0x291F]={ @@ -74880,6 +74985,7 @@ characters.data={ description="LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x291F, }, [0x2920]={ @@ -74887,6 +74993,7 @@ characters.data={ description="RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2920, }, [0x2921]={ @@ -75032,6 +75139,7 @@ characters.data={ description="WAVE ARROW POINTING DIRECTLY RIGHT", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2933, }, [0x2934]={ @@ -75039,6 +75147,7 @@ characters.data={ description="ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS", direction="on", linebreak="al", + matharrow="m", unicodeslot=0x2934, }, [0x2935]={ @@ -75046,6 +75155,7 @@ characters.data={ description="ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS", direction="on", linebreak="al", + matharrow="m", unicodeslot=0x2935, }, [0x2936]={ @@ -75053,6 +75163,7 @@ characters.data={ description="ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS", direction="on", linebreak="al", + matharrow="m", unicodeslot=0x2936, }, [0x2937]={ @@ -75060,6 +75171,7 @@ characters.data={ description="ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS", direction="on", linebreak="al", + matharrow="m", unicodeslot=0x2937, }, [0x2938]={ @@ -75067,6 +75179,7 @@ characters.data={ description="RIGHT-SIDE ARC CLOCKWISE ARROW", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2938, }, [0x2939]={ @@ -75074,6 +75187,7 @@ characters.data={ description="LEFT-SIDE ARC ANTICLOCKWISE ARROW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2939, }, [0x293A]={ @@ -75109,6 +75223,7 @@ characters.data={ description="LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x293E, }, [0x293F]={ @@ -75116,6 +75231,7 @@ characters.data={ description="LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x293F, }, [0x2940]={ @@ -75158,6 +75274,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH PLUS BELOW", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2945, }, [0x2946]={ @@ -75165,6 +75282,7 @@ characters.data={ description="LEFTWARDS ARROW WITH PLUS BELOW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2946, }, [0x2947]={ @@ -75186,6 +75304,7 @@ characters.data={ description="UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE", direction="on", linebreak="al", + matharrow="u", unicodeslot=0x2949, }, [0x294A]={ @@ -75459,6 +75578,7 @@ characters.data={ description="RIGHT DOUBLE ARROW WITH ROUNDED HEAD", direction="on", linebreak="al", + matharrow="r", unicodeslot=0x2970, }, [0x2971]={ @@ -76352,6 +76472,7 @@ characters.data={ description="BLACK DIAMOND WITH DOWN ARROW", direction="on", linebreak="al", + matharrow="d", unicodeslot=0x29EA, }, [0x29EB]={ @@ -76366,6 +76487,7 @@ characters.data={ description="WHITE CIRCLE WITH DOWN ARROW", direction="on", linebreak="al", + matharrow="d", unicodeslot=0x29EC, }, [0x29ED]={ @@ -76373,6 +76495,7 @@ characters.data={ description="BLACK CIRCLE WITH DOWN ARROW", direction="on", linebreak="al", + matharrow="d", unicodeslot=0x29ED, }, [0x29EE]={ @@ -76689,6 +76812,7 @@ characters.data={ description="INTEGRAL WITH LEFTWARDS ARROW WITH HOOK", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2A17, }, [0x2A18]={ @@ -78822,6 +78946,7 @@ characters.data={ description="LEFT ARROW WITH SMALL CIRCLE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B30, }, [0x2B31]={ @@ -78829,6 +78954,7 @@ characters.data={ description="THREE LEFTWARDS ARROWS", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B31, }, [0x2B32]={ @@ -78836,6 +78962,7 @@ characters.data={ description="LEFT ARROW WITH CIRCLED PLUS", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B32, }, [0x2B33]={ @@ -78843,6 +78970,7 @@ characters.data={ description="LONG LEFTWARDS SQUIGGLE ARROW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B33, }, [0x2B34]={ @@ -78850,6 +78978,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B34, }, [0x2B35]={ @@ -78857,6 +78986,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B35, }, [0x2B36]={ @@ -78864,6 +78994,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW FROM BAR", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B36, }, [0x2B37]={ @@ -78871,6 +79002,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED TRIPLE DASH ARROW", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B37, }, [0x2B38]={ @@ -78878,6 +79010,7 @@ characters.data={ description="LEFTWARDS ARROW WITH DOTTED STEM", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B38, }, [0x2B39]={ @@ -78885,6 +79018,7 @@ characters.data={ description="LEFTWARDS ARROW WITH TAIL WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B39, }, [0x2B3A]={ @@ -78892,6 +79026,7 @@ characters.data={ description="LEFTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B3A, }, [0x2B3B]={ @@ -78899,6 +79034,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW WITH TAIL", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B3B, }, [0x2B3C]={ @@ -78906,6 +79042,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B3C, }, [0x2B3D]={ @@ -78913,6 +79050,7 @@ characters.data={ description="LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B3D, }, [0x2B3E]={ @@ -78927,6 +79065,7 @@ characters.data={ description="WAVE ARROW POINTING DIRECTLY LEFT", direction="on", linebreak="al", + matharrow="l", unicodeslot=0x2B3F, }, [0x2B40]={ @@ -187524,4 +187663,4 @@ characters.data={ linebreak="cm", unicodeslot=0xE01EF, }, -} +}
\ No newline at end of file |