beta 2013.01.13 23:10

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,