added override for \circ (notation for function composition)

diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index 6023f3fbebfd2a6b801c4e69ae78d08f96c816bb..73b12ad5e97c7eebbc50209a670339cb98028684 100644 (file)
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -10,6 +10,7 @@
   <entity name="to" value="&#x02192;"/>   <!-- → -->
   <entity name="divides" value="&#x02223;"/>  <!-- ∣ -->
   <entity name="ndivides" value="&#x02224;"/>  <!-- ∤ -->
+  <entity name="circ" value="&#x02218;"/>  <!-- ∤ -->
 </entities-table>
 
 <!-- vim: set encoding=utf8: -->

diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml
index d0fcd582cb017caf7f735be12fbf05e45748308e..8b4a02e47077d333c182b541d417ed64770b0b4d 100644 (file)
--- a/helm/ocaml/utf8_macros/utf8MacroTable.ml
+++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml
@@ -1266,7 +1266,7 @@ let _ = Hashtbl.replace macro2utf8 "angzarr" "\226\141\188"
 let _ = Hashtbl.replace macro2utf8 "gel" "\226\139\155"
 let _ = Hashtbl.replace macro2utf8 "ang" "\226\136\160"
 let _ = Hashtbl.replace macro2utf8 "lor" "\226\136\168"
-let _ = Hashtbl.replace macro2utf8 "circ" "^"
+let _ = Hashtbl.replace macro2utf8 "circ" "\226\136\152"
 let _ = Hashtbl.replace macro2utf8 "upharpoonright" "\226\134\190"
 let _ = Hashtbl.replace macro2utf8 "dblac" "\203\157"
 let _ = Hashtbl.replace macro2utf8 "subsetneqq" "\226\138\138"
@@ -2519,7 +2519,7 @@ let _ = Hashtbl.replace utf82macro "\226\136\151" "lowast"
 let _ = Hashtbl.replace utf82macro "\226\134\189" "lhard"
 let _ = Hashtbl.replace utf82macro "\226\134\190" "upharpoonright"
 let _ = Hashtbl.replace utf82macro "\226\137\133" "cong"
-let _ = Hashtbl.replace utf82macro "\226\136\152" "SmallCircle"
+let _ = Hashtbl.replace utf82macro "\226\136\152" "circ"
 let _ = Hashtbl.replace utf82macro "\226\137\134" "simne"
 let _ = Hashtbl.replace utf82macro "\226\134\191" "upharpoonleft"
 let _ = Hashtbl.replace utf82macro "\226\136\154" "Sqrt"