From 564d4fe0793c625b9c6be05fa05d5fbb50c61703 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 22 Sep 2005 17:07:00 +0000
Subject: [PATCH] * Added divides and ndivides * Removed sub and sup

---
 helm/ocaml/utf8_macros/data/entities-table.xml | 2 --
 helm/ocaml/utf8_macros/data/extra-entities.xml | 2 ++
 helm/ocaml/utf8_macros/utf8MacroTable.ml       | 8 ++++----
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/helm/ocaml/utf8_macros/data/entities-table.xml b/helm/ocaml/utf8_macros/data/entities-table.xml
index ca0bdabcf..c283631b4 100644
--- 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 dd4f97580..6023f3fbe 100644
--- 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 d82587873..d0fcd582c 100644
--- 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"
-- 
2.39.2