2020-10-30 22:27:00

1 files changed, 21 insertions, 23 deletions

diff --git a/tex/context/base/mkiv/char-def.lua b/tex/context/base/mkiv/char-def.lua
index 51a227cb5..70e564399 100644
--- a/tex/context/base/mkiv/char-def.lua
+++ b/tex/context/base/mkiv/char-def.lua
@@ -429,7 +429,7 @@ characters.data={
   direction="on",
   linebreak="al",
   mathclass="binary",
-  mathname="ast",
+--mathname="ast",
   mathsymbol=0x2217,
   synonyms={ "star" },
   unicodeslot=0x2A,
@@ -4893,7 +4893,7 @@ characters.data={
  {
   adobename="Vhook",
   category="lu",
-  contextname="Uhook",
+  contextname="Vhook",
   description="LATIN CAPITAL LETTER V WITH HOOK",
   direction="l",
   lccode=0x28B,
@@ -10546,7 +10546,7 @@ characters.data={
   direction="l",
   linebreak="al",
   mathclass="ordinary",
-  mathname="varkappa",
+--mathname="varkappa",
   specials={ "compat", 0x3BA },
   uccode=0x39A,
   unicodeslot=0x3F0,
@@ -58794,7 +58794,6 @@ characters.data={
  [0x1EF6]={
   adobename="Yhookabove",
   category="lu",
-  contextname="Yhook",
   description="LATIN CAPITAL LETTER Y WITH HOOK ABOVE",
   direction="l",
   lccode=0x1EF7,
@@ -58806,7 +58805,6 @@ characters.data={
  [0x1EF7]={
   adobename="yhookabove",
   category="ll",
-  contextname="yhook",
   description="LATIN SMALL LETTER Y WITH HOOK ABOVE",
   direction="l",
   linebreak="al",
@@ -60767,7 +60765,7 @@ characters.data={
  },
  [0x1FBB]={
   category="lu",
-  contextname="greekAlphatonos",
+  comment="conflict: greekAlphatonos",
   description="GREEK CAPITAL LETTER ALPHA WITH OXIA",
   direction="l",
   lccode=0x1F71,
@@ -60897,7 +60895,7 @@ characters.data={
  },
  [0x1FC9]={
   category="lu",
-  contextname="greekEpsilontonos",
+  comment="conflict: greekEpsilontonos",
   description="GREEK CAPITAL LETTER EPSILON WITH OXIA",
   direction="l",
   lccode=0x1F73,
@@ -60919,7 +60917,7 @@ characters.data={
  },
  [0x1FCB]={
   category="lu",
-  contextname="greekEtatonos",
+  comment="conflict: greekEtatonos",
   description="GREEK CAPITAL LETTER ETA WITH OXIA",
   direction="l",
   lccode=0x1F75,
@@ -60950,7 +60948,7 @@ characters.data={
  },
  [0x1FCE]={
   category="sk",
-  contextname="greekpsilitonos",
+  comment="conflict: greekpsilitonos",
   description="GREEK PSILI AND OXIA",
   direction="on",
   linebreak="al",
@@ -61000,7 +60998,7 @@ characters.data={
  },
  [0x1FD3]={
   category="ll",
-  contextname="greekiotadialytikatonos",
+  comment="conflict: greekiotadialytikatonos",
   description="GREEK SMALL LETTER IOTA WITH DIALYTIKA AND OXIA",
   direction="l",
   linebreak="al",
@@ -61063,7 +61061,7 @@ characters.data={
  },
  [0x1FDB]={
   category="lu",
-  contextname="greekIotatonos",
+  comment="conflict: greekIotatonos",
   description="GREEK CAPITAL LETTER IOTA WITH OXIA",
   direction="l",
   lccode=0x1F77,
@@ -61083,7 +61081,7 @@ characters.data={
  },
  [0x1FDE]={
   category="sk",
-  contextname="greekdasiatonos",
+  comment="conflict: greekdasiatonos",
   description="GREEK DASIA AND OXIA",
   direction="on",
   linebreak="al",
@@ -61133,7 +61131,7 @@ characters.data={
  },
  [0x1FE3]={
   category="ll",
-  contextname="greekupsilondialytikatonos",
+  comment="conflict: greekupsilondialytikatonos",
   description="GREEK SMALL LETTER UPSILON WITH DIALYTIKA AND OXIA",
   direction="l",
   linebreak="al",
@@ -61217,7 +61215,7 @@ characters.data={
  },
  [0x1FEB]={
   category="lu",
-  contextname="greekUpsilontonos",
+  comment="conflict: greekUpsilontonos",
   description="GREEK CAPITAL LETTER UPSILON WITH OXIA",
   direction="l",
   lccode=0x1F7B,
@@ -61248,7 +61246,7 @@ characters.data={
  },
  [0x1FEE]={
   category="sk",
-  contextname="greekdialytikatonos",
+  comment="conflict: greekdialytikatonos",
   description="GREEK DIALYTIKA AND OXIA",
   direction="on",
   linebreak="al",
@@ -61328,7 +61326,7 @@ characters.data={
  },
  [0x1FF9]={
   category="lu",
-  contextname="greekOmicrontonos",
+  comment="conflict: greekOmicrontonos",
   description="GREEK CAPITAL LETTER OMICRON WITH OXIA",
   direction="l",
   lccode=0x1F79,
@@ -61350,7 +61348,7 @@ characters.data={
  },
  [0x1FFB]={
   category="lu",
-  contextname="greekOmegatonos",
+  comment="conflict: greekOmegatonos",
   description="GREEK CAPITAL LETTER OMEGA WITH OXIA",
   direction="l",
   lccode=0x1F7D,
@@ -63212,10 +63210,10 @@ characters.data={
   direction="nsm",
   linebreak="cm",
   mathspec={
-   {
-    class="default",
-    name="bigcircle",
-   },
+-- {
+--  class="default",
+--  name="bigcircle",
+-- },
    {
     class="binary",
     name="bigcircle",
@@ -65221,7 +65219,7 @@ characters.data={
  [0x21B5]={
   adobename="carriagereturn",
   category="so",
-  contextname="carriagereturn",
+  comment="conflict: carriagereturn",
   description="DOWNWARDS ARROW WITH CORNER LEFTWARDS",
   direction="on",
   linebreak="al",
@@ -135799,7 +135797,7 @@ characters.data={
  },
  [0xFDF9]={
   category="lo",
-  contextname="arabicsalla",
+  comment="conflict: arabicsalla",
   description="ARABIC LIGATURE SALLA ISOLATED FORM",
   direction="al",
   linebreak="al",