beta 2013.01.08 01:19

12 files changed, 183 insertions, 171 deletions

diff --git a/tex/context/base/char-def.lua b/tex/context/base/char-def.lua
index 60e445ea9..f26e63f18 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,
+  mathextensible='h',
   unicodeslot=0x002D,
  },
  {
@@ -600,6 +601,7 @@ characters.data={
     name="Relbar",
    },
   },
+  mathextensible='h',
   unicodeslot=0x003D,
  },
  {
@@ -59308,7 +59310,7 @@ characters.data={
   description="LEFTWARDS ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="l",
+  mathextensible="l",
   mathfiller="leftarrowfill",
   mathspec={
    {
@@ -59338,7 +59340,7 @@ characters.data={
   description="UPWARDS ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="uparrow",
   unicodeslot=0x2191,
@@ -59350,7 +59352,7 @@ characters.data={
   description="RIGHTWARDS ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="r",
+  mathextensible="r",
   mathfiller="rightarrowfill",
   mathspec={
    {
@@ -59380,7 +59382,7 @@ characters.data={
   description="DOWNWARDS ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="downarrow",
   unicodeslot=0x2193,
@@ -59392,7 +59394,7 @@ characters.data={
   description="LEFT RIGHT ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="leftrightarrow",
   unicodeslot=0x2194,
@@ -59404,7 +59406,7 @@ characters.data={
   description="UP DOWN ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="v",
+  mathextensible="v",
   mathclass="relation",
   mathname="updownarrow",
   unicodeslot=0x2195,
@@ -59458,7 +59460,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="nleftarrow",
   specials={ "char", 0x2190, 0x0338 },
@@ -59469,7 +59471,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="nrightarrow",
   specials={ "char", 0x2192, 0x0338 },
@@ -59480,7 +59482,7 @@ characters.data={
   description="LEFTWARDS WAVE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftwavearrow",
   unicodeslot=0x219C,
@@ -59490,7 +59492,7 @@ characters.data={
   description="RIGHTWARDS WAVE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightwavearrow",
   unicodeslot=0x219D,
@@ -59500,7 +59502,7 @@ characters.data={
   description="LEFTWARDS TWO HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="twoheadleftarrow",
   unicodeslot=0x219E,
@@ -59510,7 +59512,7 @@ characters.data={
   description="UPWARDS TWO HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="twoheaduparrow",
   unicodeslot=0x219F,
@@ -59520,7 +59522,7 @@ characters.data={
   description="RIGHTWARDS TWO HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="twoheadrightarrow",
   unicodeslot=0x21A0,
@@ -59530,7 +59532,7 @@ characters.data={
   description="DOWNWARDS TWO HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="twoheaddownarrow",
   unicodeslot=0x21A1,
@@ -59540,7 +59542,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH TAIL",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftarrowtail",
   unicodeslot=0x21A2,
@@ -59550,7 +59552,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH TAIL",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightarrowtail",
   unicodeslot=0x21A3,
@@ -59560,7 +59562,7 @@ characters.data={
   description="LEFTWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="mapsfrom",
   unicodeslot=0x21A4,
@@ -59570,7 +59572,7 @@ characters.data={
   description="UPWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="mapsup",
   unicodeslot=0x21A5,
@@ -59580,7 +59582,7 @@ characters.data={
   description="RIGHTWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="mapsto",
   unicodeslot=0x21A6,
@@ -59590,7 +59592,7 @@ characters.data={
   description="DOWNWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="mapsdown",
   unicodeslot=0x21A7,
@@ -59601,7 +59603,7 @@ characters.data={
   description="UP DOWN ARROW WITH BASE",
   direction="on",
   linebreak="al",
-  matharrow="v",
+  mathextensible="v",
   mathclass="ord",
   mathname="updownarrowbar",
   unicodeslot=0x21A8,
@@ -59611,7 +59613,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH HOOK",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="hookleftarrow",
   unicodeslot=0x21A9,
@@ -59621,7 +59623,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH HOOK",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="hookrightarrow",
   unicodeslot=0x21AA,
@@ -59631,7 +59633,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH LOOP",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="looparrowleft",
   unicodeslot=0x21AB,
@@ -59641,7 +59643,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH LOOP",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="looparrowright",
   unicodeslot=0x21AC,
@@ -59651,7 +59653,7 @@ characters.data={
   description="LEFT RIGHT WAVE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="leftrightsquigarrow",
   unicodeslot=0x21AD,
@@ -59661,7 +59663,7 @@ characters.data={
   description="LEFT RIGHT ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="nleftrightarrow",
   specials={ "char", 0x2194, 0x0338 },
@@ -59672,7 +59674,7 @@ characters.data={
   description="DOWNWARDS ZIGZAG ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="downzigzagarrow",
   unicodeslot=0x21AF,
@@ -59682,7 +59684,7 @@ characters.data={
   description="UPWARDS ARROW WITH TIP LEFTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="Lsh",
   unicodeslot=0x21B0,
@@ -59692,7 +59694,7 @@ characters.data={
   description="UPWARDS ARROW WITH TIP RIGHTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="Rsh",
   unicodeslot=0x21B1,
@@ -59702,7 +59704,7 @@ characters.data={
   description="DOWNWARDS ARROW WITH TIP LEFTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="Ldsh",
   unicodeslot=0x21B2,
@@ -59712,7 +59714,7 @@ characters.data={
   description="DOWNWARDS ARROW WITH TIP RIGHTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="Rdsh",
   unicodeslot=0x21B3,
@@ -59722,7 +59724,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH CORNER DOWNWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="ord",
   mathname="linefeed",
   unicodeslot=0x21B4,
@@ -59734,7 +59736,7 @@ characters.data={
   description="DOWNWARDS ARROW WITH CORNER LEFTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="ord",
   mathname="carriagereturn",
   unicodeslot=0x21B5,
@@ -59773,7 +59775,7 @@ characters.data={
   description="LEFTWARDS ARROW TO BAR OVER RIGHTWARDS ARROW TO BAR",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="barleftarrowrightarrowbar",
   unicodeslot=0x21B9,
@@ -59900,7 +59902,7 @@ characters.data={
   description="RIGHTWARDS ARROW OVER LEFTWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="rightleftarrows",
   unicodeslot=0x21C4,
@@ -59911,7 +59913,7 @@ characters.data={
   description="UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="updownarrows",
   unicodeslot=0x21C5,
@@ -59922,7 +59924,7 @@ characters.data={
   description="LEFTWARDS ARROW OVER RIGHTWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="leftrightarrows",
   unicodeslot=0x21C6,
@@ -59932,7 +59934,7 @@ characters.data={
   description="LEFTWARDS PAIRED ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftleftarrows",
   unicodeslot=0x21C7,
@@ -59942,7 +59944,7 @@ characters.data={
   description="UPWARDS PAIRED ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="upuparrows",
   unicodeslot=0x21C8,
@@ -59952,7 +59954,7 @@ characters.data={
   description="RIGHTWARDS PAIRED ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightrightarrows",
   unicodeslot=0x21C9,
@@ -59962,7 +59964,7 @@ characters.data={
   description="DOWNWARDS PAIRED ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="downdownarrows",
   unicodeslot=0x21CA,
@@ -59991,7 +59993,7 @@ characters.data={
   description="LEFTWARDS DOUBLE ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="nLeftarrow",
   specials={ "char", 0x21D0, 0x0338 },
@@ -60002,7 +60004,7 @@ characters.data={
   description="LEFT RIGHT DOUBLE ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="nLeftrightarrow",
   specials={ "char", 0x21D4, 0x0338 },
@@ -60014,7 +60016,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW WITH STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="nRightarrow",
   specials={ "char", 0x21D2, 0x0338 },
@@ -60026,7 +60028,7 @@ characters.data={
   description="LEFTWARDS DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="Leftarrow",
   unicodeslot=0x21D0,
@@ -60037,7 +60039,7 @@ characters.data={
   description="UPWARDS DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="Uparrow",
   unicodeslot=0x21D1,
@@ -60049,7 +60051,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="r",
+  mathextensible="r",
   mathspec={
    {
     class="relation",
@@ -60068,7 +60070,7 @@ characters.data={
   description="DOWNWARDS DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="Downarrow",
   unicodeslot=0x21D3,
@@ -60080,7 +60082,7 @@ characters.data={
   description="LEFT RIGHT DOUBLE ARROW",
   direction="on",
   linebreak="ai",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="Leftrightarrow",
   unicodeslot=0x21D4,
@@ -60090,7 +60092,7 @@ characters.data={
   description="UP DOWN DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="v",
+  mathextensible="v",
   mathclass="relation",
   mathname="Updownarrow",
   unicodeslot=0x21D5,
@@ -60136,7 +60138,7 @@ characters.data={
   description="LEFTWARDS TRIPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="Lleftarrow",
   unicodeslot=0x21DA,
@@ -60146,7 +60148,7 @@ characters.data={
   description="RIGHTWARDS TRIPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="Rrightarrow",
   unicodeslot=0x21DB,
@@ -60156,7 +60158,7 @@ characters.data={
   description="LEFTWARDS SQUIGGLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftsquigarrow",
   unicodeslot=0x21DC,
@@ -60184,7 +60186,7 @@ characters.data={
   description="UPWARDS ARROW WITH DOUBLE STROKE",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="nHuparrow",
   unicodeslot=0x21DE,
@@ -60195,7 +60197,7 @@ characters.data={
   description="DOWNWARDS ARROW WITH DOUBLE STROKE",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="nHdownarrow",
   unicodeslot=0x21DF,
@@ -60206,7 +60208,7 @@ characters.data={
   description="LEFTWARDS DASHED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftdasharrow",
   unicodeslot=0x21E0,
@@ -60217,7 +60219,7 @@ characters.data={
   description="UPWARDS DASHED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="updasharrow",
   unicodeslot=0x21E1,
@@ -60246,7 +60248,7 @@ characters.data={
   description="DOWNWARDS DASHED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="downdasharrow",
   unicodeslot=0x21E3,
@@ -60257,7 +60259,7 @@ characters.data={
   description="LEFTWARDS ARROW TO BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="barleftarrow",
   unicodeslot=0x21E4,
@@ -60268,7 +60270,7 @@ characters.data={
   description="RIGHTWARDS ARROW TO BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightarrowbar",
   unicodeslot=0x21E5,
@@ -60279,7 +60281,7 @@ characters.data={
   description="LEFTWARDS WHITE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="ord",
   mathname="leftwhitearrow",
   unicodeslot=0x21E6,
@@ -60291,7 +60293,7 @@ characters.data={
   description="UPWARDS WHITE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="ord",
   mathname="upwhitearrow",
   unicodeslot=0x21E7,
@@ -60302,7 +60304,7 @@ characters.data={
   description="RIGHTWARDS WHITE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="ord",
   mathname="rightwhitearrow",
   unicodeslot=0x21E8,
@@ -60313,7 +60315,7 @@ characters.data={
   description="DOWNWARDS WHITE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="ord",
   mathname="downwhitearrow",
   unicodeslot=0x21E9,
@@ -60331,7 +60333,7 @@ characters.data={
   description="UPWARDS WHITE ARROW ON PEDESTAL",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="ord",
   mathname="whitearrowupfrombar",
   unicodeslot=0x21EB,
@@ -60397,7 +60399,7 @@ characters.data={
   description="RIGHT ARROW WITH SMALL CIRCLE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="circleonrightarrow",
   unicodeslot=0x21F4,
@@ -60407,7 +60409,7 @@ characters.data={
   description="DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   mathclass="relation",
   mathname="downuparrows",
   unicodeslot=0x21F5,
@@ -60417,7 +60419,7 @@ characters.data={
   description="THREE RIGHTWARDS ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightthreearrows",
   unicodeslot=0x21F6,
@@ -60427,7 +60429,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="nvleftarrow",
   unicodeslot=0x21F7,
@@ -60437,7 +60439,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="nvrightarrow",
   unicodeslot=0x21F8,
@@ -60447,7 +60449,7 @@ characters.data={
   description="LEFT RIGHT ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="nvleftrightarrow",
   unicodeslot=0x21F9,
@@ -60457,7 +60459,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="nVleftarrow",
   unicodeslot=0x21FA,
@@ -60467,7 +60469,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="nVrightarrow",
   unicodeslot=0x21FB,
@@ -60477,7 +60479,7 @@ characters.data={
   description="LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="nVleftrightarrow",
   unicodeslot=0x21FC,
@@ -60487,7 +60489,7 @@ characters.data={
   description="LEFTWARDS OPEN-HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="leftarrowtriangle",
   unicodeslot=0x21FD,
@@ -60497,7 +60499,7 @@ characters.data={
   description="RIGHTWARDS OPEN-HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="rightarrowtriangle",
   unicodeslot=0x21FE,
@@ -60507,7 +60509,7 @@ characters.data={
   description="LEFT RIGHT OPEN-HEADED ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="leftrightarrowtriangle",
   unicodeslot=0x21FF,
@@ -61602,6 +61604,7 @@ characters.data={
   linebreak="ai",
   mathclass="relation",
   mathname="equiv",
+  mathextensible='h',
   unicodeslot=0x2261,
  },
  [0x2262]={
@@ -61612,6 +61615,7 @@ characters.data={
   linebreak="al",
   mathclass="relation",
   mathname="nequiv",
+  mathextensible='h',
   specials={ "char", 0x2261, 0x0338 },
   unicodeslot=0x2262,
  },
@@ -61620,6 +61624,8 @@ characters.data={
   description="STRICTLY EQUIVALENT TO",
   direction="on",
   linebreak="al",
+  mathclass="relation",
+  mathextensible='h',
   unicodeslot=0x2263,
  },
  [0x2264]={
@@ -72786,7 +72792,7 @@ characters.data={
   description="UPWARDS QUADRUPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   unicodeslot=0x27F0,
  },
  [0x27F1]={
@@ -72794,7 +72800,7 @@ characters.data={
   description="DOWNWARDS QUADRUPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="v",
+  mathextensible="v",
   unicodeslot=0x27F1,
  },
  [0x27F2]={
@@ -72816,7 +72822,7 @@ characters.data={
   description="RIGHT ARROW WITH CIRCLED PLUS",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x27F4,
  },
  [0x27F5]={
@@ -72824,7 +72830,7 @@ characters.data={
   description="LONG LEFTWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="longleftarrow",
   unicodeslot=0x27F5,
@@ -72834,7 +72840,7 @@ characters.data={
   description="LONG RIGHTWARDS ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="longrightarrow",
   unicodeslot=0x27F6,
@@ -72844,7 +72850,7 @@ characters.data={
   description="LONG LEFT RIGHT ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="longleftrightarrow",
   unicodeslot=0x27F7,
@@ -72854,7 +72860,7 @@ characters.data={
   description="LONG LEFTWARDS DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="Longleftarrow",
   unicodeslot=0x27F8,
@@ -72864,7 +72870,7 @@ characters.data={
   description="LONG RIGHTWARDS DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="Longrightarrow",
   unicodeslot=0x27F9,
@@ -72874,7 +72880,7 @@ characters.data={
   description="LONG LEFT RIGHT DOUBLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   mathclass="relation",
   mathname="Longleftrightarrow",
   unicodeslot=0x27FA,
@@ -72884,7 +72890,7 @@ characters.data={
   description="LONG LEFTWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="longmapsfrom",
   unicodeslot=0x27FB,
@@ -72894,7 +72900,7 @@ characters.data={
   description="LONG RIGHTWARDS ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="longmapsto",
   unicodeslot=0x27FC,
@@ -72904,7 +72910,7 @@ characters.data={
   description="LONG LEFTWARDS DOUBLE ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="Longmapsfrom",
   unicodeslot=0x27FD,
@@ -72914,7 +72920,7 @@ characters.data={
   description="LONG RIGHTWARDS DOUBLE ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="Longmapsto",
   unicodeslot=0x27FE,
@@ -72924,7 +72930,7 @@ characters.data={
   description="LONG RIGHTWARDS SQUIGGLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="longrightsquigarrow",
   unicodeslot=0x27FF,
@@ -74726,7 +74732,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2900,
  },
  [0x2901]={
@@ -74734,7 +74740,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2901,
  },
  [0x2902]={
@@ -74742,7 +74748,7 @@ characters.data={
   description="LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2902,
  },
  [0x2903]={
@@ -74750,7 +74756,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2903,
  },
  [0x2904]={
@@ -74758,7 +74764,7 @@ characters.data={
   description="LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="h",
+  mathextensible="h",
   unicodeslot=0x2904,
  },
  [0x2905]={
@@ -74766,7 +74772,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2905,
  },
  [0x2906]={
@@ -74774,7 +74780,7 @@ characters.data={
   description="LEFTWARDS DOUBLE ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="Mapsfrom",
   unicodeslot=0x2906,
@@ -74784,7 +74790,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="Mapsto",
   unicodeslot=0x2907,
@@ -74794,7 +74800,7 @@ characters.data={
   description="DOWNWARDS ARROW WITH HORIZONTAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   unicodeslot=0x2908,
  },
  [0x2909]={
@@ -74802,7 +74808,7 @@ characters.data={
   description="UPWARDS ARROW WITH HORIZONTAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   unicodeslot=0x2909,
  },
  [0x290A]={
@@ -74810,7 +74816,7 @@ characters.data={
   description="UPWARDS TRIPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   mathclass="relation",
   mathname="Uuparrow",
   unicodeslot=0x290A,
@@ -74820,7 +74826,7 @@ characters.data={
   description="DOWNWARDS TRIPLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   mathclass="relation",
   mathname="Ddownarrow",
   unicodeslot=0x290B,
@@ -74830,7 +74836,7 @@ characters.data={
   description="LEFTWARDS DOUBLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   mathclass="relation",
   mathname="dashedleftarrow",
   unicodeslot=0x290C,
@@ -74840,7 +74846,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="dashedrightarrow",
   unicodeslot=0x290D,
@@ -74850,7 +74856,7 @@ characters.data={
   description="LEFTWARDS TRIPLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x290E,
  },
  [0x290F]={
@@ -74858,7 +74864,7 @@ characters.data={
   description="RIGHTWARDS TRIPLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x290F,
  },
  [0x2910]={
@@ -74866,7 +74872,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2910,
  },
  [0x2911]={
@@ -74874,7 +74880,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH DOTTED STEM",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="dottedrightarrow",
   unicodeslot=0x2911,
@@ -74884,7 +74890,7 @@ characters.data={
   description="UPWARDS ARROW TO BAR",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   unicodeslot=0x2912,
  },
  [0x2913]={
@@ -74892,7 +74898,7 @@ characters.data={
   description="DOWNWARDS ARROW TO BAR",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   unicodeslot=0x2913,
  },
  [0x2914]={
@@ -74900,7 +74906,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2914,
  },
  [0x2915]={
@@ -74908,7 +74914,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2915,
  },
  [0x2916]={
@@ -74916,7 +74922,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   mathname="twoheadrightarrowtail",
   unicodeslot=0x2916,
@@ -74926,7 +74932,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   mathclass="relation",
   unicodeslot=0x2917,
  },
@@ -74935,7 +74941,7 @@ characters.data={
   description="RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2918,
  },
  [0x2919]={
@@ -74943,7 +74949,7 @@ characters.data={
   description="LEFTWARDS ARROW-TAIL",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2919,
  },
  [0x291A]={
@@ -74951,7 +74957,7 @@ characters.data={
   description="RIGHTWARDS ARROW-TAIL",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x291A,
  },
  [0x291B]={
@@ -74959,7 +74965,7 @@ characters.data={
   description="LEFTWARDS DOUBLE ARROW-TAIL",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x291B,
  },
  [0x291C]={
@@ -74967,7 +74973,7 @@ characters.data={
   description="RIGHTWARDS DOUBLE ARROW-TAIL",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x291C,
  },
  [0x291D]={
@@ -74975,7 +74981,7 @@ characters.data={
   description="LEFTWARDS ARROW TO BLACK DIAMOND",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x291D,
  },
  [0x291E]={
@@ -74983,7 +74989,7 @@ characters.data={
   description="RIGHTWARDS ARROW TO BLACK DIAMOND",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x291E,
  },
  [0x291F]={
@@ -74991,7 +74997,7 @@ characters.data={
   description="LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x291F,
  },
  [0x2920]={
@@ -74999,7 +75005,7 @@ characters.data={
   description="RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2920,
  },
  [0x2921]={
@@ -75145,7 +75151,7 @@ characters.data={
   description="WAVE ARROW POINTING DIRECTLY RIGHT",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2933,
  },
  [0x2934]={
@@ -75153,7 +75159,7 @@ characters.data={
   description="ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   unicodeslot=0x2934,
  },
  [0x2935]={
@@ -75161,7 +75167,7 @@ characters.data={
   description="ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   unicodeslot=0x2935,
  },
  [0x2936]={
@@ -75169,7 +75175,7 @@ characters.data={
   description="ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   unicodeslot=0x2936,
  },
  [0x2937]={
@@ -75177,7 +75183,7 @@ characters.data={
   description="ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS",
   direction="on",
   linebreak="al",
-  matharrow="m",
+  mathextensible="m",
   unicodeslot=0x2937,
  },
  [0x2938]={
@@ -75185,7 +75191,7 @@ characters.data={
   description="RIGHT-SIDE ARC CLOCKWISE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2938,
  },
  [0x2939]={
@@ -75193,7 +75199,7 @@ characters.data={
   description="LEFT-SIDE ARC ANTICLOCKWISE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2939,
  },
  [0x293A]={
@@ -75229,7 +75235,7 @@ characters.data={
   description="LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x293E,
  },
  [0x293F]={
@@ -75237,7 +75243,7 @@ characters.data={
   description="LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x293F,
  },
  [0x2940]={
@@ -75280,7 +75286,7 @@ characters.data={
   description="RIGHTWARDS ARROW WITH PLUS BELOW",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2945,
  },
  [0x2946]={
@@ -75288,7 +75294,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH PLUS BELOW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2946,
  },
  [0x2947]={
@@ -75310,7 +75316,7 @@ characters.data={
   description="UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE",
   direction="on",
   linebreak="al",
-  matharrow="u",
+  mathextensible="u",
   unicodeslot=0x2949,
  },
  [0x294A]={
@@ -75584,7 +75590,7 @@ characters.data={
   description="RIGHT DOUBLE ARROW WITH ROUNDED HEAD",
   direction="on",
   linebreak="al",
-  matharrow="r",
+  mathextensible="r",
   unicodeslot=0x2970,
  },
  [0x2971]={
@@ -76478,7 +76484,7 @@ characters.data={
   description="BLACK DIAMOND WITH DOWN ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   unicodeslot=0x29EA,
  },
  [0x29EB]={
@@ -76493,7 +76499,7 @@ characters.data={
   description="WHITE CIRCLE WITH DOWN ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   unicodeslot=0x29EC,
  },
  [0x29ED]={
@@ -76501,7 +76507,7 @@ characters.data={
   description="BLACK CIRCLE WITH DOWN ARROW",
   direction="on",
   linebreak="al",
-  matharrow="d",
+  mathextensible="d",
   unicodeslot=0x29ED,
  },
  [0x29EE]={
@@ -76818,7 +76824,7 @@ characters.data={
   description="INTEGRAL WITH LEFTWARDS ARROW WITH HOOK",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2A17,
  },
  [0x2A18]={
@@ -78952,7 +78958,7 @@ characters.data={
   description="LEFT ARROW WITH SMALL CIRCLE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B30,
  },
  [0x2B31]={
@@ -78960,7 +78966,7 @@ characters.data={
   description="THREE LEFTWARDS ARROWS",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B31,
  },
  [0x2B32]={
@@ -78968,7 +78974,7 @@ characters.data={
   description="LEFT ARROW WITH CIRCLED PLUS",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B32,
  },
  [0x2B33]={
@@ -78976,7 +78982,7 @@ characters.data={
   description="LONG LEFTWARDS SQUIGGLE ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B33,
  },
  [0x2B34]={
@@ -78984,7 +78990,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B34,
  },
  [0x2B35]={
@@ -78992,7 +78998,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B35,
  },
  [0x2B36]={
@@ -79000,7 +79006,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW FROM BAR",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B36,
  },
  [0x2B37]={
@@ -79008,7 +79014,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED TRIPLE DASH ARROW",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B37,
  },
  [0x2B38]={
@@ -79016,7 +79022,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH DOTTED STEM",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B38,
  },
  [0x2B39]={
@@ -79024,7 +79030,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH TAIL WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B39,
  },
  [0x2B3A]={
@@ -79032,7 +79038,7 @@ characters.data={
   description="LEFTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B3A,
  },
  [0x2B3B]={
@@ -79040,7 +79046,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW WITH TAIL",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B3B,
  },
  [0x2B3C]={
@@ -79048,7 +79054,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B3C,
  },
  [0x2B3D]={
@@ -79056,7 +79062,7 @@ characters.data={
   description="LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B3D,
  },
  [0x2B3E]={
@@ -79071,7 +79077,7 @@ characters.data={
   description="WAVE ARROW POINTING DIRECTLY LEFT",
   direction="on",
   linebreak="al",
-  matharrow="l",
+  mathextensible="l",
   unicodeslot=0x2B3F,
  },
  [0x2B40]={
diff --git a/tex/context/base/cont-new.mkii b/tex/context/base/cont-new.mkii
index 945da783e..8539351c5 100644
--- a/tex/context/base/cont-new.mkii
+++ b/tex/context/base/cont-new.mkii
@@ -11,7 +11,7 @@
 %C therefore copyrighted by \PRAGMA. See mreadme.pdf for
 %C details.
 
-\newcontextversion{2013.01.07 23:25}
+\newcontextversion{2013.01.08 01:19}
 
 %D This file is loaded at runtime, thereby providing an
 %D excellent place for hacks, patches, extensions and new
diff --git a/tex/context/base/cont-new.mkiv b/tex/context/base/cont-new.mkiv
index 73f67a61e..d37334dba 100644
--- a/tex/context/base/cont-new.mkiv
+++ b/tex/context/base/cont-new.mkiv
@@ -11,7 +11,7 @@
 %C therefore copyrighted by \PRAGMA. See mreadme.pdf for
 %C details.
 
-\newcontextversion{2013.01.07 23:25}
+\newcontextversion{2013.01.08 01:19}
 
 %D This file is loaded at runtime, thereby providing an excellent place for
 %D hacks, patches, extensions and new features.
diff --git a/tex/context/base/context-version.pdf b/tex/context/base/context-version.pdf
index 42db0bec5..a0a81ef92 100644
--- a/tex/context/base/context-version.pdf
+++ b/tex/context/base/context-version.pdf
diff --git a/tex/context/base/context-version.png b/tex/context/base/context-version.png
index c7091dca5..f212fc066 100644
--- a/tex/context/base/context-version.png
+++ b/tex/context/base/context-version.png
diff --git a/tex/context/base/context.mkii b/tex/context/base/context.mkii
index 3cd9c6955..5308be962 100644
--- a/tex/context/base/context.mkii
+++ b/tex/context/base/context.mkii
@@ -20,7 +20,7 @@
 %D your styles an modules.
 
 \edef\contextformat {\jobname}
-\edef\contextversion{2013.01.07 23:25}
+\edef\contextversion{2013.01.08 01:19}
 
 %D For those who want to use this:
 
diff --git a/tex/context/base/context.mkiv b/tex/context/base/context.mkiv
index 8948430cd..9285a841f 100644
--- a/tex/context/base/context.mkiv
+++ b/tex/context/base/context.mkiv
@@ -25,7 +25,7 @@
 %D up and the dependencies are more consistent.
 
 \edef\contextformat {\jobname}
-\edef\contextversion{2013.01.07 23:25}
+\edef\contextversion{2013.01.08 01:19}
 
 %D For those who want to use this:
 
diff --git a/tex/context/base/math-act.lua b/tex/context/base/math-act.lua
index eaeb15656..51a06a087 100644
--- a/tex/context/base/math-act.lua
+++ b/tex/context/base/math-act.lua
@@ -246,16 +246,16 @@ local function extensiblecode(font,unicode)
         next = character.next
     end
     local char = chardata[unicode]
-    local matharrow = char and char.matharrow
+    local mathextensible = char and char.mathextensible
     if character.horiz_variants then
         if character.vert_variants then
             return { e_mixed, code, character }
         else
-            local e = matharrow and extensibles[matharrow]
+            local e = mathextensible and extensibles[mathextensible]
             return e and { e, code, character } or unknown
         end
     elseif character.vert_variants then
-        local e =  matharrow and extensibles[matharrow]
+        local e =  mathextensible and extensibles[mathextensible]
         return e and { e, code, character } or unknown
     else
         return unknown
diff --git a/tex/context/base/math-stc.mkvi b/tex/context/base/math-stc.mkvi
index 4760c4b3c..557969f4e 100644
--- a/tex/context/base/math-stc.mkvi
+++ b/tex/context/base/math-stc.mkvi
@@ -176,15 +176,15 @@
      % heads/tails + hoffset
    \else\ifx\p_offset\v!min
      % heads/tails - hoffset
-     \advance\scratchleftoffset -\scratchhoffset
+     \advance\scratchleftoffset-\scratchhoffset
      \advance\scratchrightoffset-\scratchhoffset
    \else % \v!normal
      % hoffset
-     \scratchleftoffset \zeropoint
+     \scratchleftoffset\zeropoint
      \scratchrightoffset\zeropoint
    \fi\fi
-   \ifdim\scratchleftoffset <\zeropoint
-     \scratchleftoffset \zeropoint
+   \ifdim\scratchleftoffset<\zeropoint
+     \scratchleftoffset\zeropoint
    \fi
    \ifdim\scratchrightoffset<\zeropoint
      \scratchrightoffset\zeropoint
@@ -231,6 +231,11 @@
       \fi
       \scratchleftoffset \zeropoint
       \scratchrightoffset\zeropoint
+      \ifcase#method\relax
+        \math_stackers_check_unicode{#codepoint}%
+      \else
+        \edef\m_math_stackers_text_middle{#codepoint}%
+      \fi
       \ifx\m_math_stackers_text_top\empty
         \setbox\scratchboxone\emptyhbox
       \else
@@ -243,7 +248,6 @@
       \fi
       %
       \ifcase#method\relax
-        \math_stackers_check_unicode{#codepoint}%
         \scratchwidth\wd
           \ifdim\wd\scratchboxone>\wd\scratchboxtwo
             \scratchboxone
@@ -252,7 +256,6 @@
           \fi
         \relax
       \else
-        \edef\m_math_stackers_text_middle{#codepoint}%
         \ifx\m_math_stackers_text_middle\empty
           \setbox\scratchboxthree\emptyhbox
         \else
diff --git a/tex/context/base/status-files.pdf b/tex/context/base/status-files.pdf
index dd73b2e66..c5175887c 100644
--- a/tex/context/base/status-files.pdf
+++ b/tex/context/base/status-files.pdf
diff --git a/tex/context/base/status-lua.pdf b/tex/context/base/status-lua.pdf
index c1712b6b2..e66cacae3 100644
--- a/tex/context/base/status-lua.pdf
+++ b/tex/context/base/status-lua.pdf
diff --git a/tex/context/base/strc-doc.lua b/tex/context/base/strc-doc.lua
index d6b4cc96b..b9a176b5e 100644
--- a/tex/context/base/strc-doc.lua
+++ b/tex/context/base/strc-doc.lua
@@ -358,7 +358,10 @@ function sections.somelevel(given)
     local metadata   = given.metadata
     local references = given.references
 
-    references.tag = references.tag or tags.getid(metadata.kind,metadata.name)
+    local tag = references.tag or tags.getid(metadata.kind,metadata.name)
+    if tag and tag ~= "" and tag ~= "?" then
+        references.tag = tag
+    end
 
     local setcomponent = structures.references.setcomponent
     if setcomponent then