From 24320a56c9cc9e92c0a03475e529b4a54f5d4e14 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 26 Sep 2005 16:13:44 +0000 Subject: [PATCH] added override for \circ (notation for function composition) --- helm/ocaml/utf8_macros/data/extra-entities.xml | 1 + helm/ocaml/utf8_macros/utf8MacroTable.ml | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml index 6023f3fbe..73b12ad5e 100644 --- a/helm/ocaml/utf8_macros/data/extra-entities.xml +++ b/helm/ocaml/utf8_macros/data/extra-entities.xml @@ -10,6 +10,7 @@ + diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml index d0fcd582c..8b4a02e47 100644 --- 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" -- 2.39.2