1 files changed, 163 insertions, 62 deletions
diff --git a/tex/context/base/mkiv/char-def.lua b/tex/context/base/mkiv/char-def.lua
index 6449e085e..5325dc06e 100644
--- a/tex/context/base/mkiv/char-def.lua
+++ b/tex/context/base/mkiv/char-def.lua
@@ -456,7 +456,7 @@ characters.data={
   direction="es",
   linebreak="pr",
   mathclass="binary",
-  mathgroup="nary arithmic",
+  mathgroup="nary arithmetic",
   unicodeslot=0x2B,
  },
  {
@@ -480,7 +480,7 @@ characters.data={
   direction="es",
   linebreak="hy",
   mathclass="ordinary",
-  mathgroup="binary arithmic",
+  mathgroup="binary arithmetic",
   mathextensible="h",
   mathfiller="relfill",
   mathname="mathhyphen",
@@ -497,8 +497,16 @@ characters.data={
   description="FULL STOP",
   direction="cs",
   linebreak="is",
-  mathclass="punctuation",
-  mathname="ldotp",
+  mathspec={
+   {
+    class="binary",
+    name="ldot",
+   },
+   {
+    class="punctuation",
+    name="ldotp",
+   },
+  },
   synonyms={ "decimal point", "dot", "period" },
   unicodeslot=0x2E,
  },
@@ -511,6 +519,16 @@ characters.data={
   direction="cs",
   linebreak="sy",
   mathclass="division",
+  mathspec={
+   {
+    class="division",
+    name="slash",
+   },
+   {
+    class="division",
+    name="solidus",
+   },
+  },
   synonyms={ "slash", "virgule" },
   unicodeslot=0x2F,
  },
@@ -683,6 +701,7 @@ characters.data={
    {
     class="relation",
     name="Relbar",
+    comment="useless",
    },
   },
   unicodeslot=0x3D,
@@ -1028,13 +1047,14 @@ characters.data={
  {
   adobename="asciicircum",
   category="sk",
+  comment="the Hat looks rediculous in most fonts",
   cjkwd="na",
   contextname="textasciicircum",
   description="CIRCUMFLEX ACCENT",
   direction="on",
   linebreak="al",
-  mathclass="topaccent",
-  mathname="Hat",
+--mathclass="topaccent",
+--mathname="Hat",
   synonyms={ "spacing circumflex accent" },
   unicodeslot=0x5E,
  },
@@ -1057,8 +1077,17 @@ characters.data={
   description="GRAVE ACCENT",
   direction="on",
   linebreak="al",
-  mathclass="topaccent",
-  mathname="grave",
+  mathspec={
+   {
+    class="topaccent",
+    name="grave",
+   },
+   {
+    class="topaccent",
+    name="widegrave",
+    stretch="h",
+   },
+  },
   synonyms={ "spacing grave accent" },
   unicodeslot=0x60,
  },
@@ -1347,11 +1376,12 @@ characters.data={
   description="VERTICAL LINE",
   direction="on",
   linebreak="ba",
+  mathclass="ordinary",
   mathspec={
-   {
-    class="ordinary",
-    name="arrowvert",
-   },
+-- {
+--  class="ordinary",
+--  name="arrowvert",
+-- },
    {
     class="delimiter",
     name="vert",
@@ -1365,10 +1395,6 @@ characters.data={
     name="rvert",
    },
    {
-    class="relation",
-    name="mid",
-   },
-   {
     class="delimiter",
     name="singleverticalbar",
    },
@@ -1733,8 +1759,17 @@ characters.data={
   description="DIAERESIS",
   direction="on",
   linebreak="ai",
-  mathclass="topaccent",
-  mathname="ddot",
+  mathspec={
+   {
+    class="topaccent",
+    name="ddot",
+   },
+   {
+    class="topaccent",
+    name="wideddot",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x308 },
   synonyms={ "spacing diaeresis" },
   unicodeslot=0xA8,
@@ -1824,10 +1859,20 @@ characters.data={
   description="MACRON",
   direction="on",
   linebreak="al",
-  mathclass="topaccent",
-  mathfiller="barfill",
-  mathmleq=0x203E,
-  mathname="bar",
+--mathclass="topaccent",
+--mathfiller="barfill",
+--mathmleq=0x203E,
+  mathspec={
+   {
+    class="topaccent",
+    name="bar",
+   },
+   {
+    class="topaccent",
+    name="widebar",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x304 },
   synonyms={ "apl overbar", "overline", "spacing macron" },
   unicodeslot=0xAF,
@@ -1886,8 +1931,17 @@ characters.data={
   description="ACUTE ACCENT",
   direction="on",
   linebreak="bb",
-  mathclass="topaccent",
-  mathname="acute",
+  mathspec={
+   {
+    class="topaccent",
+    name="acute",
+   },
+   {
+    class="topaccent",
+    name="wideacute",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x301 },
   synonyms={ "spacing acute accent" },
   unicodeslot=0xB4,
@@ -2304,7 +2358,7 @@ characters.data={
   direction="on",
   linebreak="ai",
   mathclass="binary",
-  mathgroup="nary arithmic",
+  mathgroup="nary arithmetic",
   mathname="times",
   synonyms={ "cartesian product" },
   unicodeslot=0xD7,
@@ -2704,7 +2758,7 @@ characters.data={
   direction="on",
   linebreak="ai",
   mathclass="binary",
-  mathgroup="binary arithmic",
+  mathgroup="binary arithmetic",
   mathname="div",
   synonyms={ "obelus" },
   unicodeslot=0xF7,
@@ -7650,8 +7704,17 @@ characters.data={
   description="MODIFIER LETTER CIRCUMFLEX ACCENT",
   direction="on",
   linebreak="al",
-  mathclass="topaccent",
-  mathname="hat",
+  mathspec={
+   {
+    class="topaccent",
+    name="hat",
+   },
+   {
+    class="topaccent",
+    name="widehat",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x302 },
   unicodeslot=0x2C6,
  },
@@ -7664,8 +7727,17 @@ characters.data={
   description="CARON",
   direction="on",
   linebreak="ai",
-  mathclass="topaccent",
-  mathname="check",
+  mathspec={
+   {
+    class="topaccent",
+    name="check",
+   },
+   {
+    class="topaccent",
+    name="widecheck",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x30C },
   synonyms={ "mandarin chinese third tone", "modifier letter hacek" },
   unicodeslot=0x2C7,
@@ -7814,8 +7886,17 @@ characters.data={
   description="BREVE",
   direction="on",
   linebreak="ai",
-  mathclass="topaccent",
-  mathname="breve",
+  mathspec={
+   {
+    class="topaccent",
+    name="breve",
+   },
+   {
+    class="topaccent",
+    name="widebreve",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x306 },
   unicodeslot=0x2D8,
  },
@@ -7827,8 +7908,17 @@ characters.data={
   description="DOT ABOVE",
   direction="on",
   linebreak="ai",
-  mathclass="topaccent",
-  mathname="dot",
+  mathspec={
+   {
+    class="topaccent",
+    name="dot",
+   },
+   {
+    class="topaccent",
+    name="widedot",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x307 },
   synonyms={ "mandarin chinese fifth or neutral tone" },
   unicodeslot=0x2D9,
@@ -7841,8 +7931,17 @@ characters.data={
   description="RING ABOVE",
   direction="on",
   linebreak="ai",
-  mathclass="topaccent",
-  mathname="ring",
+  mathspec={
+   {
+    class="topaccent",
+    name="ring",
+   },
+   {
+    class="topaccent",
+    name="widering",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x30A },
   unicodeslot=0x2DA,
  },
@@ -7864,8 +7963,17 @@ characters.data={
   description="SMALL TILDE",
   direction="on",
   linebreak="al",
-  mathclass="topaccent",
-  mathname="tilde",
+  mathspec={
+   {
+    class="topaccent",
+    name="tilde",
+   },
+   {
+    class="topaccent",
+    name="widetilde",
+    stretch="h",
+   },
+  },
   specials={ "compat", 0x20, 0x303 },
   unicodeslot=0x2DC,
  },
@@ -8142,9 +8250,6 @@ characters.data={
   description="COMBINING GRAVE ACCENT",
   direction="nsm",
   linebreak="cm",
-  mathclass="topaccent",
-  mathname="widegrave",
-  mathstretch="h",
   synonyms={ "greek varia" },
   unicodeslot=0x300,
  },
@@ -8167,9 +8272,6 @@ characters.data={
   description="COMBINING CIRCUMFLEX ACCENT",
   direction="nsm",
   linebreak="cm",
-  mathclass="topaccent",
-  mathname="widehat",
-  mathstretch="h",
   unicodeslot=0x302,
  },
  {
@@ -8180,9 +8282,6 @@ characters.data={
   description="COMBINING TILDE",
   direction="nsm",
   linebreak="cm",
-  mathclass="topaccent",
-  mathname="widetilde",
-  mathstretch="h",
   unicodeslot=0x303,
  },
  {
@@ -62286,7 +62385,8 @@ characters.data={
  [0x2012]={
   adobename="figuredash",
   category="pd",
-  contextname="textminus",
+  contextname="figuredash",
+  contextspec={ "textminus" },
   description="FIGURE DASH",
   direction="on",
   linebreak="ba",
@@ -62842,16 +62942,6 @@ characters.data={
   description="FRACTION SLASH",
   direction="cs",
   linebreak="is",
-  mathspec={
-   {
-    class="ordinary",
-    name="slash",
-   },
-   {
-    class="close",
-    name="solidus",
-   },
-  },
   synonyms={ "solidus" },
   unicodeslot=0x2044,
  },
@@ -66995,7 +67085,7 @@ characters.data={
   description="MINUS SIGN",
   direction="es",
   linebreak="pr",
-  mathgroup="binary arithmic",
+  mathgroup="binary arithmetic",
   mathspec={
    {
     class="binary",
@@ -67004,6 +67094,7 @@ characters.data={
    {
     class="relation",
     name="relbar",
+    comment="useless",
    },
   },
   unicodeslot=0x2212,
@@ -67194,8 +67285,17 @@ characters.data={
   description="DIVIDES",
   direction="on",
   linebreak="ai",
-  mathclass="binary",
-  mathname="divides",
+  mathspec={
+   {
+ -- class="binary",
+    class="ordinary",
+    name="divides",
+   },
+   {
+    class="relation",
+    name="mid",
+   },
+  },
   synonyms={ "apl stile", "such that" },
   unicodeslot=0x2223,
  },
@@ -67206,7 +67306,8 @@ characters.data={
   linebreak="al",
   mathspec={
    {
-    class="binary",
+ -- class="binary",
+    class="ordinary",
     name="ndivides",
    },
    {