diff options
Diffstat (limited to 'tex/context/base/char-def.lua')
-rw-r--r-- | tex/context/base/char-def.lua | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/tex/context/base/char-def.lua b/tex/context/base/char-def.lua index 71110ab00..118fbc701 100644 --- a/tex/context/base/char-def.lua +++ b/tex/context/base/char-def.lua @@ -417,6 +417,7 @@ characters.data={ direction="es", linebreak="hy", mathsymbol=0x2212, + mathfiller="relfill", mathextensible='h', unicodeslot=0x002D, }, @@ -601,6 +602,7 @@ characters.data={ name="Relbar", }, }, + mathfiller="equalfill", mathextensible='h', unicodeslot=0x003D, }, @@ -59502,6 +59504,7 @@ characters.data={ description="LEFTWARDS TWO HEADED ARROW", direction="on", linebreak="al", + mathfiller="twoheadleftarrowfill", mathextensible="l", mathclass="relation", mathname="twoheadleftarrow", @@ -59522,6 +59525,7 @@ characters.data={ description="RIGHTWARDS TWO HEADED ARROW", direction="on", linebreak="al", + mathfiller="twoheadrightarrowfill", mathextensible="r", mathclass="relation", mathname="twoheadrightarrow", @@ -59582,6 +59586,7 @@ characters.data={ description="RIGHTWARDS ARROW FROM BAR", direction="on", linebreak="al", + mathfiller="mapstofill", mathextensible="r", mathclass="relation", mathname="mapsto", @@ -59614,6 +59619,7 @@ characters.data={ direction="on", linebreak="al", mathextensible="l", + mathfiller="hookleftarrowfill", mathclass="relation", mathname="hookleftarrow", unicodeslot=0x21A9, @@ -59623,6 +59629,7 @@ characters.data={ description="RIGHTWARDS ARROW WITH HOOK", direction="on", linebreak="al", + mathfiller="hookrightarrowfill", mathextensible="r", mathclass="relation", mathname="hookrightarrow", @@ -59820,6 +59827,8 @@ characters.data={ description="LEFTWARDS HARPOON WITH BARB UPWARDS", direction="on", linebreak="al", + mathfiller="leftharpoonupfill", + mathextensible="l", mathclass="relation", mathname="leftharpoonup", unicodeslot=0x21BC, @@ -59829,6 +59838,8 @@ characters.data={ description="LEFTWARDS HARPOON WITH BARB DOWNWARDS", direction="on", linebreak="al", + mathfiller="leftharpoondownfill", + mathextensible="l", mathclass="relation", mathname="leftharpoondown", unicodeslot=0x21BD, @@ -59865,6 +59876,8 @@ characters.data={ description="RIGHTWARDS HARPOON WITH BARB UPWARDS", direction="on", linebreak="al", + mathfiller="rightharpoonupfill", + mathextensible="r", mathclass="relation", mathname="rightharpoonup", unicodeslot=0x21C0, @@ -59874,6 +59887,9 @@ characters.data={ description="RIGHTWARDS HARPOON WITH BARB DOWNWARDS", direction="on", linebreak="al", + mathfiller="rightharpoondownfill", + mathextensible="r", + mathclass="relation", mathclass="relation", mathname="rightharpoondown", unicodeslot=0x21C1, @@ -59902,6 +59918,7 @@ characters.data={ description="RIGHTWARDS ARROW OVER LEFTWARDS ARROW", direction="on", linebreak="al", + mathfiller="rightoverleftarrowfill", mathextensible="h", mathclass="relation", mathname="rightleftarrows", @@ -59924,6 +59941,7 @@ characters.data={ description="LEFTWARDS ARROW OVER RIGHTWARDS ARROW", direction="on", linebreak="al", + mathfiller="lefgtoverrightarrowfill", mathextensible="h", mathclass="relation", mathname="leftrightarrows", @@ -59974,6 +59992,8 @@ characters.data={ description="LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON", direction="on", linebreak="al", + mathfiller="leftrightharpoonsfill", + mathextensible="h", mathclass="relation", mathname="leftrightharpoons", unicodeslot=0x21CB, @@ -59983,6 +60003,8 @@ characters.data={ description="RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON", direction="on", linebreak="al", + mathfiller="rightleftharpoonsfill", + mathextensible="h", mathclass="relation", mathname="rightleftharpoons", unicodeslot=0x21CC, @@ -61614,8 +61636,9 @@ characters.data={ direction="on", linebreak="al", mathclass="relation", - mathname="nequiv", mathextensible='h', + mathfiller="triplerelfill", + mathname="nequiv", specials={ "char", 0x2261, 0x0338 }, unicodeslot=0x2262, }, @@ -72851,6 +72874,7 @@ characters.data={ direction="on", linebreak="al", mathextensible="h", + mathfiller="leftrightarrowfill", mathclass="relation", mathname="longleftrightarrow", unicodeslot=0x27F7, @@ -72861,6 +72885,7 @@ characters.data={ direction="on", linebreak="al", mathextensible="l", + mathfiller="Leftarrowfill", mathclass="relation", mathname="Longleftarrow", unicodeslot=0x27F8, @@ -72871,6 +72896,7 @@ characters.data={ direction="on", linebreak="al", mathextensible="r", + mathfiller="Rightarrowfill", mathclass="relation", mathname="Longrightarrow", unicodeslot=0x27F9, @@ -72881,6 +72907,7 @@ characters.data={ direction="on", linebreak="al", mathextensible="h", + mathfiller="Leftrightarrowfill", mathclass="relation", mathname="Longleftrightarrow", unicodeslot=0x27FA, |