* Added divides and ndivides

* Removed sub and sup

diff --git a/helm/ocaml/utf8_macros/data/entities-table.xml b/helm/ocaml/utf8_macros/data/entities-table.xml
index ca0bdabcfee2c60c95c51d851b417d0f092e65f6..c283631b4536831c61248bc6957a6abda578c3e1 100644 (file)
--- a/helm/ocaml/utf8_macros/data/entities-table.xml
+++ b/helm/ocaml/utf8_macros/data/entities-table.xml
@@ -1707,7 +1707,6 @@
   <entity name="starf" value="&#x02605;"/>
   <entity name="straightepsilon" value="&#x003B5;"/>
   <entity name="straightphi" value="&#x003C6;"/>
-  <entity name="sub" value="&#x02282;"/>
   <entity name="Sub" value="&#x022D0;"/>
   <entity name="subdot" value="&#x02ABD;"/>
   <entity name="sube" value="&#x02286;"/>
@@ -1744,7 +1743,6 @@
   <entity name="sum" value="&#x02211;"/>
   <entity name="Sum" value="&#x02211;"/>
   <entity name="sung" value="&#x0266A;"/>
-  <entity name="sup" value="&#x02283;"/>
   <entity name="Sup" value="&#x022D1;"/>
   <entity name="sup1" value="&#x000B9;"/>
   <entity name="sup2" value="&#x000B2;"/>

diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index dd4f97580cb923584145cbf0893bdc37dfaeb95b..6023f3fbebfd2a6b801c4e69ae78d08f96c816bb 100644 (file)
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -8,6 +8,8 @@
   <entity name="nleq" value="&#x02270;"/> <!-- ≰ -->
   <entity name="ngeq" value="&#x02271;"/> <!-- ≱ -->
   <entity name="to" value="&#x02192;"/>   <!-- → -->
+  <entity name="divides" value="&#x02223;"/>  <!-- ∣ -->
+  <entity name="ndivides" value="&#x02224;"/>  <!-- ∤ -->
 </entities-table>
 
 <!-- vim: set encoding=utf8: -->

diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml
index d825878737ad7f5c5e6cb8b9e6438b282024c4e5..d0fcd582cb017caf7f735be12fbf05e45748308e 100644 (file)
--- a/helm/ocaml/utf8_macros/utf8MacroTable.ml
+++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml
@@ -924,6 +924,7 @@ let _ = Hashtbl.replace macro2utf8 "sinh" "sinh"
 let _ = Hashtbl.replace macro2utf8 "lharul" "\226\165\170"
 let _ = Hashtbl.replace macro2utf8 "Jukcy" "\208\132"
 let _ = Hashtbl.replace macro2utf8 "permil" "\226\128\176"
+let _ = Hashtbl.replace macro2utf8 "ndivides" "\226\136\164"
 let _ = Hashtbl.replace macro2utf8 "Aring" "\195\133"
 let _ = Hashtbl.replace macro2utf8 "longmapsto" "????"
 let _ = Hashtbl.replace macro2utf8 "Esim" "\226\169\179"
@@ -1473,6 +1474,7 @@ let _ = Hashtbl.replace macro2utf8 "DiacriticalDot" "\203\153"
 let _ = Hashtbl.replace macro2utf8 "Poincareplane" "\226\132\140"
 let _ = Hashtbl.replace macro2utf8 "curlyeqsucc" "\226\139\159"
 let _ = Hashtbl.replace macro2utf8 "Equal" "\226\169\181"
+let _ = Hashtbl.replace macro2utf8 "divides" "\226\136\163"
 let _ = Hashtbl.replace macro2utf8 "scpolint" "\226\168\147"
 let _ = Hashtbl.replace macro2utf8 "ngsim" "\226\137\181"
 let _ = Hashtbl.replace macro2utf8 "larrbfs" "\226\164\159"
@@ -1953,7 +1955,6 @@ let _ = Hashtbl.replace macro2utf8 "sqsup" "\226\138\144"
 let _ = Hashtbl.replace macro2utf8 "boxVH" "\226\149\172"
 let _ = Hashtbl.replace macro2utf8 "bbrk" "\226\142\181"
 let _ = Hashtbl.replace macro2utf8 "tau" "\207\132"
-let _ = Hashtbl.replace macro2utf8 "sub" "\226\138\130"
 let _ = Hashtbl.replace macro2utf8 "UpTee" "\226\138\165"
 let _ = Hashtbl.replace macro2utf8 "NotLeftTriangleBar" "\226\167\143\204\184"
 let _ = Hashtbl.replace macro2utf8 "boxVL" "\226\149\163"
@@ -1973,7 +1974,6 @@ let _ = Hashtbl.replace macro2utf8 "cir" "\226\151\139"
 let _ = Hashtbl.replace macro2utf8 "telrec" "\226\140\149"
 let _ = Hashtbl.replace macro2utf8 "Mfr" "\240\157\148\144"
 let _ = Hashtbl.replace macro2utf8 "dHar" "\226\165\165"
-let _ = Hashtbl.replace macro2utf8 "sup" "\226\138\131"
 let _ = Hashtbl.replace macro2utf8 "boxUl" "\226\149\156"
 let _ = Hashtbl.replace macro2utf8 "apid" "\226\137\139"
 let _ = Hashtbl.replace macro2utf8 "nleftarrow" "\226\134\154"
@@ -2539,9 +2539,9 @@ let _ = Hashtbl.replace utf82macro "\226\136\161" "measuredangle"
 let _ = Hashtbl.replace utf82macro "\226\135\181" "duarr"
 let _ = Hashtbl.replace utf82macro "\226\137\143" "HumpEqual"
 let _ = Hashtbl.replace utf82macro "\226\136\162" "angsph"
-let _ = Hashtbl.replace utf82macro "\226\136\163" "mid"
+let _ = Hashtbl.replace utf82macro "\226\136\163" "divides"
 let _ = Hashtbl.replace utf82macro "\226\137\144" "doteq"
-let _ = Hashtbl.replace utf82macro "\226\136\164" "NotVerticalBar"
+let _ = Hashtbl.replace utf82macro "\226\136\164" "ndivides"
 let _ = Hashtbl.replace utf82macro "\226\137\145" "eDot"
 let _ = Hashtbl.replace utf82macro "\226\137\146" "fallingdotseq"
 let _ = Hashtbl.replace utf82macro "\226\136\165" "parallel"