From 708d2e2da7e5cfae98d69b325db56960e33fd38f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 11 Oct 2004 19:13:57 +0000 Subject: [PATCH] new module: expansion from tex like macros to utf8 strings --- helm/ocaml/utf8_macros/.cvsignore | 3 + helm/ocaml/utf8_macros/.depend | 2 + helm/ocaml/utf8_macros/Makefile | 36 + helm/ocaml/utf8_macros/README.syntax | 15 + .../ocaml/utf8_macros/data/dictionary-tex.xml | 378 +++ .../ocaml/utf8_macros/data/entities-table.xml | 2081 +++++++++++++++ .../ocaml/utf8_macros/data/extra-entities.xml | 5 + helm/ocaml/utf8_macros/make_table.ml | 120 + helm/ocaml/utf8_macros/pa_unicode_macro.ml | 65 + helm/ocaml/utf8_macros/test.ml | 1 + helm/ocaml/utf8_macros/utf8Macro.ml | 33 + helm/ocaml/utf8_macros/utf8Macro.mli | 32 + helm/ocaml/utf8_macros/utf8MacroTable.ml | 2315 +++++++++++++++++ 13 files changed, 5086 insertions(+) create mode 100644 helm/ocaml/utf8_macros/.cvsignore create mode 100644 helm/ocaml/utf8_macros/.depend create mode 100644 helm/ocaml/utf8_macros/Makefile create mode 100644 helm/ocaml/utf8_macros/README.syntax create mode 100644 helm/ocaml/utf8_macros/data/dictionary-tex.xml create mode 100644 helm/ocaml/utf8_macros/data/entities-table.xml create mode 100644 helm/ocaml/utf8_macros/data/extra-entities.xml create mode 100644 helm/ocaml/utf8_macros/make_table.ml create mode 100644 helm/ocaml/utf8_macros/pa_unicode_macro.ml create mode 100644 helm/ocaml/utf8_macros/test.ml create mode 100644 helm/ocaml/utf8_macros/utf8Macro.ml create mode 100644 helm/ocaml/utf8_macros/utf8Macro.mli create mode 100644 helm/ocaml/utf8_macros/utf8MacroTable.ml diff --git a/helm/ocaml/utf8_macros/.cvsignore b/helm/ocaml/utf8_macros/.cvsignore new file mode 100644 index 000000000..0c5eea419 --- /dev/null +++ b/helm/ocaml/utf8_macros/.cvsignore @@ -0,0 +1,3 @@ +*.cm[iaox] *.cmxa +make_table +test diff --git a/helm/ocaml/utf8_macros/.depend b/helm/ocaml/utf8_macros/.depend new file mode 100644 index 000000000..f3c6a8bd1 --- /dev/null +++ b/helm/ocaml/utf8_macros/.depend @@ -0,0 +1,2 @@ +utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi +utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi diff --git a/helm/ocaml/utf8_macros/Makefile b/helm/ocaml/utf8_macros/Makefile new file mode 100644 index 000000000..9962c4f60 --- /dev/null +++ b/helm/ocaml/utf8_macros/Makefile @@ -0,0 +1,36 @@ +PACKAGE = utf8_macros +REQUIRES = helm-pxp +PREDICATES = + +# modules which have both a .ml and a .mli +INTERFACE_FILES = utf8Macro.mli +IMPLEMENTATION_FILES = utf8MacroTable.ml $(INTERFACE_FILES:%.mli=%.ml) +EXTRA_OBJECTS_TO_INSTALL = +EXTRA_OBJECTS_TO_CLEAN = + +all: utf8_macros.cma pa_unicode_macro.cma + +make_table: make_table.ml + $(OCAMLFIND) ocamlc -package $(REQUIRES) -linkpkg -o $@ $^ + +utf8MacroTable.ml: make_table + ./make_table $@ +utf8MacroTable.cmo: utf8MacroTable.ml + $(OCAMLFIND) ocamlc -c $< + +pa_unicode_macro.cmo: pa_unicode_macro.ml utf8Macro.cmo + $(OCAMLFIND) ocamlc -package camlp4 -pp "camlp4o q_MLast.cmo pa_extend.cmo" -c $< +pa_unicode_macro.cma: utf8MacroTable.cmo utf8Macro.cmo pa_unicode_macro.cmo + $(OCAMLFIND) ocamlc -a -o $@ $^ + +.PHONY: test +test: test.ml + $(OCAMLFIND) ocamlc -package helm-utf8_macros -syntax camlp4o $< -o $@ + +clean: +distclean: extra_clean +extra_clean: + rm -f make_table test + +include ../Makefile.common + diff --git a/helm/ocaml/utf8_macros/README.syntax b/helm/ocaml/utf8_macros/README.syntax new file mode 100644 index 000000000..50bbcd325 --- /dev/null +++ b/helm/ocaml/utf8_macros/README.syntax @@ -0,0 +1,15 @@ + +Helm Utf8 macro syntax extension for Camlp4 + +Sample file: + + --- test.ml --- + + prerr_endline <:unicode> + + --------------- + +Compile it with: + + ocamlfind ocamlc -package helm-utf8_macros.syntax -syntax camlp4o test.ml + diff --git a/helm/ocaml/utf8_macros/data/dictionary-tex.xml b/helm/ocaml/utf8_macros/data/dictionary-tex.xml new file mode 100644 index 000000000..47995454f --- /dev/null +++ b/helm/ocaml/utf8_macros/data/dictionary-tex.xml @@ -0,0 +1,378 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/ocaml/utf8_macros/data/entities-table.xml b/helm/ocaml/utf8_macros/data/entities-table.xml new file mode 100644 index 000000000..ca0bdabcf --- /dev/null +++ b/helm/ocaml/utf8_macros/data/entities-table.xml @@ -0,0 +1,2081 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml new file mode 100644 index 000000000..991c2d84b --- /dev/null +++ b/helm/ocaml/utf8_macros/data/extra-entities.xml @@ -0,0 +1,5 @@ + + + + + diff --git a/helm/ocaml/utf8_macros/make_table.ml b/helm/ocaml/utf8_macros/make_table.ml new file mode 100644 index 000000000..2e3740943 --- /dev/null +++ b/helm/ocaml/utf8_macros/make_table.ml @@ -0,0 +1,120 @@ +(* Copyright (C) 2004, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +open Printf +open Pxp_types +open Pxp_ev_parser + +let debug = false +let debug_print s = if debug then prerr_endline s + + (* source files for tables xml parsing (if unmarshall=false) *) +let xml_tables = [ +(* + `Entities, "/usr/share/gtkmathview/entities-table.xml"; + `Dictionary, "/usr/share/editex/dictionary-tex.xml" +*) + `Entities, "data/entities-table.xml"; + `Dictionary, "data/dictionary-tex.xml"; + `Entities, "data/extra-entities.xml"; +] + + +let rec find_first_tag pull_parser = + match pull_parser () with + | Some (E_start_tag _ as e) -> e + | None -> assert false + | _ -> find_first_tag pull_parser + +let iter_entities_file f pull_parser = + ignore (find_first_tag pull_parser); (* *) + let rec aux () = + match pull_parser () with + | Some (E_start_tag ("entity", attrs, _, _)) -> + (try + let name = List.assoc "name" attrs in + let value = List.assoc "value" attrs in + f name value + with Not_found -> ()); + aux () + | None -> () + | _ -> aux () + in + aux () + +let iter_dictionary_file f pull_parser = + ignore (find_first_tag pull_parser); (* *) + let rec aux () = + match pull_parser () with + | Some (E_start_tag ("entry", attrs, _, _)) -> + (try + let name = List.assoc "name" attrs in + let value = List.assoc "val" attrs in + f name value + with Not_found -> ()); + aux () + | None -> () + | _ -> aux () + in + aux () + +let parse_from_xml () = + let (macro2utf8, utf82macro) = (Hashtbl.create 2000, Hashtbl.create 2000) in + let add_macro macro utf8 = + debug_print (sprintf "Adding macro %s = '%s'" macro utf8); + Hashtbl.add macro2utf8 macro utf8; +(* Hashtbl.add utf82macro utf8 macro *) + in + let fill_table () = + List.iter + (fun (typ, fname) -> + let entry = `Entry_document [ `Extend_dtd_fully; `Parse_xml_decl ] in + let config = PxpHelmConf.pxp_config in + let entity_manager = + create_entity_manager ~is_document:true config (from_file fname) + in + let pull_parser = create_pull_parser config entry entity_manager in + match typ with + | `Entities -> iter_entities_file add_macro pull_parser + | `Dictionary -> iter_dictionary_file add_macro pull_parser) + xml_tables + in + fill_table (); + macro2utf8 + +let main () = + let oc = open_out Sys.argv.(1) in + output_string oc "(* GENERATED by make_table: DO NOT EDIT! *)\n"; + output_string oc "let macro2utf8 = Hashtbl.create 2000\n"; + let macro2utf8 = parse_from_xml () in + Hashtbl.iter + (fun macro utf8 -> + fprintf oc "let _ = Hashtbl.add macro2utf8 \"%s\" \"%s\"\n" + macro (String.escaped utf8)) + macro2utf8; + close_out oc + +let _ = main () + diff --git a/helm/ocaml/utf8_macros/pa_unicode_macro.ml b/helm/ocaml/utf8_macros/pa_unicode_macro.ml new file mode 100644 index 000000000..88ba8b5a8 --- /dev/null +++ b/helm/ocaml/utf8_macros/pa_unicode_macro.ml @@ -0,0 +1,65 @@ +(* Copyright (C) 2004, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +let debug = false +let debug_print s = if debug then prerr_endline s + +let loc = + let dummy_pos = + { Lexing.pos_fname = ""; Lexing.pos_lnum = -1; Lexing.pos_bol = -1; + Lexing.pos_cnum = -1 } + in + (dummy_pos, dummy_pos) + +let expand_unicode_macro macro = + debug_print (Printf.sprintf "Expanding macro '%s' ..." macro); + let expansion = Utf8Macro.expand macro in + <:expr< $str:expansion$ >> + +let _ = + Quotation.add "unicode" + (Quotation.ExAst (expand_unicode_macro, (fun _ -> assert false))) + +open Pa_extend + +EXTEND + symbol: FIRST + [ + [ x = UIDENT; q = QUOTATION -> + let (quotation, arg) = + let pos = String.index q ':' in + (String.sub q 0 pos, + String.sub q (pos + 1) (String.length q - pos - 1)) + in + debug_print (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg); + if quotation = "unicode" then + let text = TXtok (loc, x, expand_unicode_macro arg) in + {used = []; text = text; styp = STlid (loc, "string")} + else + assert false + ] + ]; +END + diff --git a/helm/ocaml/utf8_macros/test.ml b/helm/ocaml/utf8_macros/test.ml new file mode 100644 index 000000000..7e1a48373 --- /dev/null +++ b/helm/ocaml/utf8_macros/test.ml @@ -0,0 +1 @@ +prerr_endline <:unicode> diff --git a/helm/ocaml/utf8_macros/utf8Macro.ml b/helm/ocaml/utf8_macros/utf8Macro.ml new file mode 100644 index 000000000..4e0bc9498 --- /dev/null +++ b/helm/ocaml/utf8_macros/utf8Macro.ml @@ -0,0 +1,33 @@ +(* Copyright (C) 2004, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +exception Macro_not_found of string +exception Utf8_not_found of string + +let expand macro = + try + Hashtbl.find Utf8MacroTable.macro2utf8 macro + with Not_found -> raise (Macro_not_found macro) + diff --git a/helm/ocaml/utf8_macros/utf8Macro.mli b/helm/ocaml/utf8_macros/utf8Macro.mli new file mode 100644 index 000000000..bf3fc16b4 --- /dev/null +++ b/helm/ocaml/utf8_macros/utf8Macro.mli @@ -0,0 +1,32 @@ +(* Copyright (C) 2004, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +exception Macro_not_found of string +exception Utf8_not_found of string + + (* @param macro name + @return utf8 string *) +val expand: string -> string + diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml new file mode 100644 index 000000000..c5d935591 --- /dev/null +++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml @@ -0,0 +1,2315 @@ +(* GENERATED by make_table: DO NOT EDIT! *) +let macro2utf8 = Hashtbl.create 2000 +let _ = Hashtbl.add macro2utf8 "nscr" "ð\157\147\131" +let _ = Hashtbl.add macro2utf8 "LJcy" "Ð\137" +let _ = Hashtbl.add macro2utf8 "dd" "â\133\134" +let _ = Hashtbl.add macro2utf8 "Omacr" "Å\140" +let _ = Hashtbl.add macro2utf8 "npreceq" "⪯̸" +let _ = Hashtbl.add macro2utf8 "Gcirc" "Ä\156" +let _ = Hashtbl.add macro2utf8 "utilde" "Å©" +let _ = Hashtbl.add macro2utf8 "rdca" "⤷" +let _ = Hashtbl.add macro2utf8 "racute" "Å\149" +let _ = Hashtbl.add macro2utf8 "mstpos" "â\136¾" +let _ = Hashtbl.add macro2utf8 "supnE" "â\138\139" +let _ = Hashtbl.add macro2utf8 "NotLessLess" "â\137ªÌ¸ï¸\128" +let _ = Hashtbl.add macro2utf8 "iiint" "â\136­" +let _ = Hashtbl.add macro2utf8 "uscr" "ð\157\147\138" +let _ = Hashtbl.add macro2utf8 "Sfr" "ð\157\148\150" +let _ = Hashtbl.add macro2utf8 "nsupseteqq" "â\138\137" +let _ = Hashtbl.add macro2utf8 "nwarrow" "â\134\150" +let _ = Hashtbl.add macro2utf8 "nwarrow" "â\134\150" +let _ = Hashtbl.add macro2utf8 "twoheadrightarrow" "â\134 " +let _ = Hashtbl.add macro2utf8 "sccue" "â\137½" +let _ = Hashtbl.add macro2utf8 "NotSquareSuperset" "â\138\144̸" +let _ = Hashtbl.add macro2utf8 "ee" "â\133\135" +let _ = Hashtbl.add macro2utf8 "boxbox" "â§\137" +let _ = Hashtbl.add macro2utf8 "andand" "â©\149" +let _ = Hashtbl.add macro2utf8 "LeftVectorBar" "â¥\146" +let _ = Hashtbl.add macro2utf8 "eg" "âª\154" +let _ = Hashtbl.add macro2utf8 "csc" "csc" +let _ = Hashtbl.add macro2utf8 "NotRightTriangleEqual" "â\139­" +let _ = Hashtbl.add macro2utf8 "filig" "ï¬\129" +let _ = Hashtbl.add macro2utf8 "atilde" "ã" +let _ = Hashtbl.add macro2utf8 "ring" "Ë\154" +let _ = Hashtbl.add macro2utf8 "congdot" "â©­" +let _ = Hashtbl.add macro2utf8 "gE" "â\137§" +let _ = Hashtbl.add macro2utf8 "rcedil" "Å\151" +let _ = Hashtbl.add macro2utf8 "el" "âª\153" +let _ = Hashtbl.add macro2utf8 "HorizontalLine" "â\148\128" +let _ = Hashtbl.add macro2utf8 "incare" "â\132\133" +let _ = Hashtbl.add macro2utf8 "hoarr" "â\135¿" +let _ = Hashtbl.add macro2utf8 "SOFTcy" "Ь" +let _ = Hashtbl.add macro2utf8 "conint" "â\136®" +let _ = Hashtbl.add macro2utf8 "OverParenthesis" "︵" +let _ = Hashtbl.add macro2utf8 "Uogon" "Ų" +let _ = Hashtbl.add macro2utf8 "supne" "â\138\139" +let _ = Hashtbl.add macro2utf8 "num" "#" +let _ = Hashtbl.add macro2utf8 "zcy" "з" +let _ = Hashtbl.add macro2utf8 "Hfr" "â\132\140" +let _ = Hashtbl.add macro2utf8 "dtri" "â\150¿" +let _ = Hashtbl.add macro2utf8 "FilledSmallSquare" "â\151¾" +let _ = Hashtbl.add macro2utf8 "SucceedsEqual" "â\137½" +let _ = Hashtbl.add macro2utf8 "leftthreetimes" "â\139\139" +let _ = Hashtbl.add macro2utf8 "ycirc" "Å·" +let _ = Hashtbl.add macro2utf8 "sqcup" "â\138\148" +let _ = Hashtbl.add macro2utf8 "sqcup" "â\138\148" +let _ = Hashtbl.add macro2utf8 "DoubleLeftArrow" "â\135\144" +let _ = Hashtbl.add macro2utf8 "ge" "â\137¥" +let _ = Hashtbl.add macro2utf8 "gtrless" "â\137·" +let _ = Hashtbl.add macro2utf8 "ge" "â\137¥" +let _ = Hashtbl.add macro2utf8 "Product" "â\136\143" +let _ = Hashtbl.add macro2utf8 "NotExists" "â\136\132" +let _ = Hashtbl.add macro2utf8 "gg" "â\137«" +let _ = Hashtbl.add macro2utf8 "gg" "â\137«" +let _ = Hashtbl.add macro2utf8 "curlyvee" "â\139\142" +let _ = Hashtbl.add macro2utf8 "ntrianglerighteq" "â\139­" +let _ = Hashtbl.add macro2utf8 "Colon" "â\136·" +let _ = Hashtbl.add macro2utf8 "rbrke" "â¦\140" +let _ = Hashtbl.add macro2utf8 "LeftDownVector" "â\135\131" +let _ = Hashtbl.add macro2utf8 "gl" "â\137·" +let _ = Hashtbl.add macro2utf8 "lrcorner" "â\140\159" +let _ = Hashtbl.add macro2utf8 "mapstodown" "â\134§" +let _ = Hashtbl.add macro2utf8 "excl" "!" +let _ = Hashtbl.add macro2utf8 "cdots" "â\139¯" +let _ = Hashtbl.add macro2utf8 "larr" "â\134\144" +let _ = Hashtbl.add macro2utf8 "dtdot" "â\139±" +let _ = Hashtbl.add macro2utf8 "kgreen" "ĸ" +let _ = Hashtbl.add macro2utf8 "rtri" "â\150¹" +let _ = Hashtbl.add macro2utf8 "rbarr" "â¤\141" +let _ = Hashtbl.add macro2utf8 "ocy" "о" +let _ = Hashtbl.add macro2utf8 "gt" ">" +let _ = Hashtbl.add macro2utf8 "cup" "â\136ª" +let _ = Hashtbl.add macro2utf8 "DownLeftRightVector" "â¥\144" +let _ = Hashtbl.add macro2utf8 "cup" "â\136ª" +let _ = Hashtbl.add macro2utf8 "updownarrow" "â\134\149" +let _ = Hashtbl.add macro2utf8 "updownarrow" "â\134\149" +let _ = Hashtbl.add macro2utf8 "Imacr" "Ī" +let _ = Hashtbl.add macro2utf8 "cross" "â\156\151" +let _ = Hashtbl.add macro2utf8 "Acirc" "Ã\130" +let _ = Hashtbl.add macro2utf8 "lvertneqq" "â\137¨ï¸\128" +let _ = Hashtbl.add macro2utf8 "ccaps" "â©\141" +let _ = Hashtbl.add macro2utf8 "NotLeftTriangleEqual" "â\139¬" +let _ = Hashtbl.add macro2utf8 "IJlig" "IJ" +let _ = Hashtbl.add macro2utf8 "boxplus" "â\138\158" +let _ = Hashtbl.add macro2utf8 "epsilon" "ϵ" +let _ = Hashtbl.add macro2utf8 "zfr" "ð\157\148·" +let _ = Hashtbl.add macro2utf8 "late" "⪭" +let _ = Hashtbl.add macro2utf8 "ic" "â\128\139" +let _ = Hashtbl.add macro2utf8 "lrhar" "â\135\139" +let _ = Hashtbl.add macro2utf8 "gsim" "â\137³" +let _ = Hashtbl.add macro2utf8 "inf" "inf" +let _ = Hashtbl.add macro2utf8 "top" "â\138¤" +let _ = Hashtbl.add macro2utf8 "top" "â\138¤" +let _ = Hashtbl.add macro2utf8 "odsold" "⦼" +let _ = Hashtbl.add macro2utf8 "circlearrowright" "â\134»" +let _ = Hashtbl.add macro2utf8 "rtimes" "â\139\138" +let _ = Hashtbl.add macro2utf8 "ii" "â\133\136" +let _ = Hashtbl.add macro2utf8 "DoubleRightTee" "â\138¨" +let _ = Hashtbl.add macro2utf8 "dcy" "д" +let _ = Hashtbl.add macro2utf8 "boxdL" "â\149\149" +let _ = Hashtbl.add macro2utf8 "duhar" "⥯" +let _ = Hashtbl.add macro2utf8 "vert" "|" +let _ = Hashtbl.add macro2utf8 "in" "â\136\136" +let _ = Hashtbl.add macro2utf8 "vert" "|" +let _ = Hashtbl.add macro2utf8 "sacute" "Å\155" +let _ = Hashtbl.add macro2utf8 "in" "â\136\136" +let _ = Hashtbl.add macro2utf8 "Assign" "â\137\148" +let _ = Hashtbl.add macro2utf8 "nsim" "â\137\129" +let _ = Hashtbl.add macro2utf8 "boxdR" "â\149\146" +let _ = Hashtbl.add macro2utf8 "int" "â\136«" +let _ = Hashtbl.add macro2utf8 "o" "ο" +let _ = Hashtbl.add macro2utf8 "radic" "â\136\154" +let _ = Hashtbl.add macro2utf8 "it" "â\129¢" +let _ = Hashtbl.add macro2utf8 "int" "â\136«" +let _ = Hashtbl.add macro2utf8 "cwint" "â\136±" +let _ = Hashtbl.add macro2utf8 "ForAll" "â\136\128" +let _ = Hashtbl.add macro2utf8 "simplus" "⨤" +let _ = Hashtbl.add macro2utf8 "isindot" "â\139µ" +let _ = Hashtbl.add macro2utf8 "rightthreetimes" "â\139\140" +let _ = Hashtbl.add macro2utf8 "supseteqq" "â\138\135" +let _ = Hashtbl.add macro2utf8 "bnot" "â\140\144" +let _ = Hashtbl.add macro2utf8 "rppolint" "â¨\146" +let _ = Hashtbl.add macro2utf8 "def" "â\137\157" +let _ = Hashtbl.add macro2utf8 "TScy" "Ц" +let _ = Hashtbl.add macro2utf8 "lE" "â\137¦" +let _ = Hashtbl.add macro2utf8 "ffilig" "ï¬\131" +let _ = Hashtbl.add macro2utf8 "deg" "deg" +let _ = Hashtbl.add macro2utf8 "deg" "°" +let _ = Hashtbl.add macro2utf8 "{" "{" +let _ = Hashtbl.add macro2utf8 "RightVector" "â\135\128" +let _ = Hashtbl.add macro2utf8 "ofr" "ð\157\148¬" +let _ = Hashtbl.add macro2utf8 "|" "|" +let _ = Hashtbl.add macro2utf8 "liminf" "liminf" +let _ = Hashtbl.add macro2utf8 "}" "}" +let _ = Hashtbl.add macro2utf8 "LeftUpTeeVector" "⥠" +let _ = Hashtbl.add macro2utf8 "scirc" "Å\157" +let _ = Hashtbl.add macro2utf8 "scedil" "Å\159" +let _ = Hashtbl.add macro2utf8 "ufisht" "⥾" +let _ = Hashtbl.add macro2utf8 "LeftUpDownVector" "â¥\145" +let _ = Hashtbl.add macro2utf8 "leftarrow" "â\134\144" +let _ = Hashtbl.add macro2utf8 "questeq" "â\137\159" +let _ = Hashtbl.add macro2utf8 "leftarrow" "â\134\144" +let _ = Hashtbl.add macro2utf8 "Ycy" "Ы" +let _ = Hashtbl.add macro2utf8 "Coproduct" "â\136\144" +let _ = Hashtbl.add macro2utf8 "det" "det" +let _ = Hashtbl.add macro2utf8 "boxdl" "â\148\144" +let _ = Hashtbl.add macro2utf8 "Aopf" "ð\157\148¸" +let _ = Hashtbl.add macro2utf8 "srarr" "â\134\146ï¸\128" +let _ = Hashtbl.add macro2utf8 "lbrke" "â¦\139" +let _ = Hashtbl.add macro2utf8 "boxdr" "â\148\140" +let _ = Hashtbl.add macro2utf8 "Ntilde" "Ã\145" +let _ = Hashtbl.add macro2utf8 "gnap" "âª\138" +let _ = Hashtbl.add macro2utf8 "Cap" "â\139\146" +let _ = Hashtbl.add macro2utf8 "swarhk" "⤦" +let _ = Hashtbl.add macro2utf8 "ogt" "â§\129" +let _ = Hashtbl.add macro2utf8 "emptyset" "â\136\133ï¸\128" +let _ = Hashtbl.add macro2utf8 "emptyset" "â\136\133ï¸\128" +let _ = Hashtbl.add macro2utf8 "harrw" "â\134­" +let _ = Hashtbl.add macro2utf8 "lbarr" "â¤\140" +let _ = Hashtbl.add macro2utf8 "delta" "δ" +let _ = Hashtbl.add macro2utf8 "Tilde" "â\136¼" +let _ = Hashtbl.add macro2utf8 "delta" "δ" +let _ = Hashtbl.add macro2utf8 "Hopf" "â\132\141" +let _ = Hashtbl.add macro2utf8 "dfr" "ð\157\148¡" +let _ = Hashtbl.add macro2utf8 "le" "â\137¤" +let _ = Hashtbl.add macro2utf8 "le" "â\137¤" +let _ = Hashtbl.add macro2utf8 "lg" "lg" +let _ = Hashtbl.add macro2utf8 "lg" "â\137¶" +let _ = Hashtbl.add macro2utf8 "ohm" "â\132¦" +let _ = Hashtbl.add macro2utf8 "Jsercy" "Ð\136" +let _ = Hashtbl.add macro2utf8 "quaternions" "â\132\141" +let _ = Hashtbl.add macro2utf8 "DoubleLongLeftArrow" "ï\149¹" +let _ = Hashtbl.add macro2utf8 "ll" "â\137ª" +let _ = Hashtbl.add macro2utf8 "nabla" "â\136\135" +let _ = Hashtbl.add macro2utf8 "Ncy" "Ð\157" +let _ = Hashtbl.add macro2utf8 "nabla" "â\136\135" +let _ = Hashtbl.add macro2utf8 "ltcir" "⩹" +let _ = Hashtbl.add macro2utf8 "ll" "â\137ª" +let _ = Hashtbl.add macro2utf8 "ln" "ln" +let _ = Hashtbl.add macro2utf8 "rmoust" "â\142±" +let _ = Hashtbl.add macro2utf8 "Oopf" "ð\157\149\134" +let _ = Hashtbl.add macro2utf8 "nbsp" " " +let _ = Hashtbl.add macro2utf8 "Kcedil" "Ķ" +let _ = Hashtbl.add macro2utf8 "vdots" "â\139®" +let _ = Hashtbl.add macro2utf8 "NotLessTilde" "â\137´" +let _ = Hashtbl.add macro2utf8 "lt" "<" +let _ = Hashtbl.add macro2utf8 "djcy" "Ñ\146" +let _ = Hashtbl.add macro2utf8 "DownRightTeeVector" "â¥\159" +let _ = Hashtbl.add macro2utf8 "Ograve" "Ã\146" +let _ = Hashtbl.add macro2utf8 "boxhD" "â\149¥" +let _ = Hashtbl.add macro2utf8 "nsime" "â\137\132" +let _ = Hashtbl.add macro2utf8 "egsdot" "âª\152" +let _ = Hashtbl.add macro2utf8 "bigodot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "mDDot" "â\136º" +let _ = Hashtbl.add macro2utf8 "bigodot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "Vopf" "ð\157\149\141" +let _ = Hashtbl.add macro2utf8 "looparrowright" "â\134¬" +let _ = Hashtbl.add macro2utf8 "yucy" "Ñ\142" +let _ = Hashtbl.add macro2utf8 "trade" "â\132¢" +let _ = Hashtbl.add macro2utf8 "Yfr" "ð\157\148\156" +let _ = Hashtbl.add macro2utf8 "kjcy" "Ñ\156" +let _ = Hashtbl.add macro2utf8 "mp" "â\136\147" +let _ = Hashtbl.add macro2utf8 "mp" "â\136\147" +let _ = Hashtbl.add macro2utf8 "leftrightarrows" "â\135\134" +let _ = Hashtbl.add macro2utf8 "uharl" "â\134¿" +let _ = Hashtbl.add macro2utf8 "ncap" "â©\131" +let _ = Hashtbl.add macro2utf8 "Iogon" "Ä®" +let _ = Hashtbl.add macro2utf8 "NotSubset" "â\138\132" +let _ = Hashtbl.add macro2utf8 "Bumpeq" "â\137\142" +let _ = Hashtbl.add macro2utf8 "mu" "μ" +let _ = Hashtbl.add macro2utf8 "mu" "μ" +let _ = Hashtbl.add macro2utf8 "FilledVerySmallSquare" "ï\150\155" +let _ = Hashtbl.add macro2utf8 "breve" "Ë\152" +let _ = Hashtbl.add macro2utf8 "boxhU" "â\149¨" +let _ = Hashtbl.add macro2utf8 "Sigma" "Σ" +let _ = Hashtbl.add macro2utf8 "Sigma" "Σ" +let _ = Hashtbl.add macro2utf8 "uharr" "â\134¾" +let _ = Hashtbl.add macro2utf8 "ne" "â\137 " +let _ = Hashtbl.add macro2utf8 "xrArr" "ï\149º" +let _ = Hashtbl.add macro2utf8 "ne" "â\137 " +let _ = Hashtbl.add macro2utf8 "oS" "â\147\136" +let _ = Hashtbl.add macro2utf8 "xodot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "ni" "â\136\139" +let _ = Hashtbl.add macro2utf8 "ni" "â\136\139" +let _ = Hashtbl.add macro2utf8 "mdash" "â\128\148" +let _ = Hashtbl.add macro2utf8 "Verbar" "â\128\150" +let _ = Hashtbl.add macro2utf8 "die" "¨" +let _ = Hashtbl.add macro2utf8 "veebar" "â\138»" +let _ = Hashtbl.add macro2utf8 "UpArrowBar" "â¤\146" +let _ = Hashtbl.add macro2utf8 "Ncaron" "Å\135" +let _ = Hashtbl.add macro2utf8 "RightArrowBar" "â\135¥" +let _ = Hashtbl.add macro2utf8 "LongLeftArrow" "ï\149¶" +let _ = Hashtbl.add macro2utf8 "rceil" "â\140\137" +let _ = Hashtbl.add macro2utf8 "rceil" "â\140\137" +let _ = Hashtbl.add macro2utf8 "LeftDownVectorBar" "â¥\153" +let _ = Hashtbl.add macro2utf8 "umacr" "Å«" +let _ = Hashtbl.add macro2utf8 "Hacek" "Ë\135" +let _ = Hashtbl.add macro2utf8 "odblac" "Å\145" +let _ = Hashtbl.add macro2utf8 "lmidot" "Å\128" +let _ = Hashtbl.add macro2utf8 "dopf" "ð\157\149\149" +let _ = Hashtbl.add macro2utf8 "boxhd" "â\148¬" +let _ = Hashtbl.add macro2utf8 "dim" "dim" +let _ = Hashtbl.add macro2utf8 "vnsub" "â\138\132" +let _ = Hashtbl.add macro2utf8 "Bscr" "â\132¬" +let _ = Hashtbl.add macro2utf8 "plussim" "⨦" +let _ = Hashtbl.add macro2utf8 "doublebarwedge" "â\140\134" +let _ = Hashtbl.add macro2utf8 "nu" "ν" +let _ = Hashtbl.add macro2utf8 "nu" "ν" +let _ = Hashtbl.add macro2utf8 "eqcolon" "â\137\149" +let _ = Hashtbl.add macro2utf8 "luruhar" "⥦" +let _ = Hashtbl.add macro2utf8 "Nfr" "ð\157\148\145" +let _ = Hashtbl.add macro2utf8 "preceq" "⪯" +let _ = Hashtbl.add macro2utf8 "preceq" "⪯" +let _ = Hashtbl.add macro2utf8 "div" "÷" +let _ = Hashtbl.add macro2utf8 "LeftTee" "â\138£" +let _ = Hashtbl.add macro2utf8 "div" "÷" +let _ = Hashtbl.add macro2utf8 "nVDash" "â\138¯" +let _ = Hashtbl.add macro2utf8 "kopf" "ð\157\149\156" +let _ = Hashtbl.add macro2utf8 "Iscr" "â\132\144" +let _ = Hashtbl.add macro2utf8 "vnsup" "â\138\133" +let _ = Hashtbl.add macro2utf8 "gneq" "â\137©" +let _ = Hashtbl.add macro2utf8 "backepsilon" "϶" +let _ = Hashtbl.add macro2utf8 "boxhu" "â\148´" +let _ = Hashtbl.add macro2utf8 "ominus" "â\138\150" +let _ = Hashtbl.add macro2utf8 "ominus" "â\138\150" +let _ = Hashtbl.add macro2utf8 "or" "â\136¨" +let _ = Hashtbl.add macro2utf8 "lesdot" "â©¿" +let _ = Hashtbl.add macro2utf8 "RightVectorBar" "â¥\147" +let _ = Hashtbl.add macro2utf8 "tcedil" "Å£" +let _ = Hashtbl.add macro2utf8 "hstrok" "ħ" +let _ = Hashtbl.add macro2utf8 "nrarrc" "⤳̸" +let _ = Hashtbl.add macro2utf8 "ropf" "ð\157\149£" +let _ = Hashtbl.add macro2utf8 "diamond" "â\139\132" +let _ = Hashtbl.add macro2utf8 "diamond" "â\139\132" +let _ = Hashtbl.add macro2utf8 "smid" "â\136£ï¸\128" +let _ = Hashtbl.add macro2utf8 "nltri" "â\139ª" +let _ = Hashtbl.add macro2utf8 "Pscr" "ð\157\146«" +let _ = Hashtbl.add macro2utf8 "vartheta" "Ï\145" +let _ = Hashtbl.add macro2utf8 "vartheta" "Ï\145" +let _ = Hashtbl.add macro2utf8 "therefore" "â\136´" +let _ = Hashtbl.add macro2utf8 "pi" "Ï\128" +let _ = Hashtbl.add macro2utf8 "pi" "Ï\128" +let _ = Hashtbl.add macro2utf8 "ntrianglelefteq" "â\139¬" +let _ = Hashtbl.add macro2utf8 "nearrow" "â\134\151" +let _ = Hashtbl.add macro2utf8 "nearrow" "â\134\151" +let _ = Hashtbl.add macro2utf8 "pm" "±" +let _ = Hashtbl.add macro2utf8 "natural" "â\153®" +let _ = Hashtbl.add macro2utf8 "pm" "±" +let _ = Hashtbl.add macro2utf8 "natural" "â\153®" +let _ = Hashtbl.add macro2utf8 "ucy" "Ñ\131" +let _ = Hashtbl.add macro2utf8 "olt" "â§\128" +let _ = Hashtbl.add macro2utf8 "Cfr" "â\132­" +let _ = Hashtbl.add macro2utf8 "yopf" "ð\157\149ª" +let _ = Hashtbl.add macro2utf8 "Otilde" "Ã\149" +let _ = Hashtbl.add macro2utf8 "ntriangleleft" "â\139ª" +let _ = Hashtbl.add macro2utf8 "pr" "â\137º" +let _ = Hashtbl.add macro2utf8 "Wscr" "ð\157\146²" +let _ = Hashtbl.add macro2utf8 "midcir" "â«°" +let _ = Hashtbl.add macro2utf8 "Lacute" "Ĺ" +let _ = Hashtbl.add macro2utf8 "DoubleDot" "¨" +let _ = Hashtbl.add macro2utf8 "Tstrok" "Ŧ" +let _ = Hashtbl.add macro2utf8 "nrarrw" "â\134\157̸" +let _ = Hashtbl.add macro2utf8 "uArr" "â\135\145" +let _ = Hashtbl.add macro2utf8 "nLtv" "â\137ªÌ¸ï¸\128" +let _ = Hashtbl.add macro2utf8 "rangle" "â\140ª" +let _ = Hashtbl.add macro2utf8 "rangle" "â\140ª" +let _ = Hashtbl.add macro2utf8 "olcir" "⦾" +let _ = Hashtbl.add macro2utf8 "Auml" "Ã\132" +let _ = Hashtbl.add macro2utf8 "Succeeds" "â\137»" +let _ = Hashtbl.add macro2utf8 "DoubleLongLeftRightArrow" "ï\149»" +let _ = Hashtbl.add macro2utf8 "TSHcy" "Ð\139" +let _ = Hashtbl.add macro2utf8 "gammad" "Ï\156" +let _ = Hashtbl.add macro2utf8 "epsiv" "É\155" +let _ = Hashtbl.add macro2utf8 "notinva" "â\136\137̸" +let _ = Hashtbl.add macro2utf8 "notinvb" "â\139·" +let _ = Hashtbl.add macro2utf8 "eqvparsl" "⧥" +let _ = Hashtbl.add macro2utf8 "notinvc" "â\139¶" +let _ = Hashtbl.add macro2utf8 "nsubE" "â\138\136" +let _ = Hashtbl.add macro2utf8 "supplus" "â«\128" +let _ = Hashtbl.add macro2utf8 "RightUpDownVector" "â¥\143" +let _ = Hashtbl.add macro2utf8 "Tab" "\t" +let _ = Hashtbl.add macro2utf8 "Lcedil" "Ä»" +let _ = Hashtbl.add macro2utf8 "backslash" "\\" +let _ = Hashtbl.add macro2utf8 "pointint" "â¨\149" +let _ = Hashtbl.add macro2utf8 "jcy" "й" +let _ = Hashtbl.add macro2utf8 "iocy" "Ñ\145" +let _ = Hashtbl.add macro2utf8 "escr" "â\132¯" +let _ = Hashtbl.add macro2utf8 "submult" "â«\129" +let _ = Hashtbl.add macro2utf8 "iiota" "â\132©" +let _ = Hashtbl.add macro2utf8 "lceil" "â\140\136" +let _ = Hashtbl.add macro2utf8 "lceil" "â\140\136" +let _ = Hashtbl.add macro2utf8 "omacr" "Å\141" +let _ = Hashtbl.add macro2utf8 "gneqq" "â\137©" +let _ = Hashtbl.add macro2utf8 "gcirc" "Ä\157" +let _ = Hashtbl.add macro2utf8 "dotsquare" "â\138¡" +let _ = Hashtbl.add macro2utf8 "ccaron" "Ä\141" +let _ = Hashtbl.add macro2utf8 "Square" "â\150¡" +let _ = Hashtbl.add macro2utf8 "RightDownTeeVector" "â¥\157" +let _ = Hashtbl.add macro2utf8 "Ouml" "Ã\150" +let _ = Hashtbl.add macro2utf8 "lurdshar" "â¥\138" +let _ = Hashtbl.add macro2utf8 "setminus" "â\136\150" +let _ = Hashtbl.add macro2utf8 "SuchThat" "â\136\139" +let _ = Hashtbl.add macro2utf8 "setminus" "â\136\150" +let _ = Hashtbl.add macro2utf8 "lscr" "â\132\147" +let _ = Hashtbl.add macro2utf8 "LessLess" "⪡" +let _ = Hashtbl.add macro2utf8 "Sub" "â\139\144" +let _ = Hashtbl.add macro2utf8 "sc" "â\137»" +let _ = Hashtbl.add macro2utf8 "rx" "â\132\158" +let _ = Hashtbl.add macro2utf8 "RightFloor" "â\140\139" +let _ = Hashtbl.add macro2utf8 "blacksquare" "â\150ª" +let _ = Hashtbl.add macro2utf8 "ufr" "ð\157\148²" +let _ = Hashtbl.add macro2utf8 "block" "â\150\136" +let _ = Hashtbl.add macro2utf8 "dots" "â\128¦" +let _ = Hashtbl.add macro2utf8 "nvsim" "â\137\129̸" +let _ = Hashtbl.add macro2utf8 "caret" "â\129\129" +let _ = Hashtbl.add macro2utf8 "demptyv" "⦱" +let _ = Hashtbl.add macro2utf8 "Sum" "â\136\145" +let _ = Hashtbl.add macro2utf8 "sscr" "ð\157\147\136" +let _ = Hashtbl.add macro2utf8 "nsube" "â\138\136" +let _ = Hashtbl.add macro2utf8 "Sup" "â\139\145" +let _ = Hashtbl.add macro2utf8 "ccupssm" "â©\144" +let _ = Hashtbl.add macro2utf8 "Because" "â\136µ" +let _ = Hashtbl.add macro2utf8 "harrcir" "â¥\136" +let _ = Hashtbl.add macro2utf8 "capbrcup" "â©\137" +let _ = Hashtbl.add macro2utf8 "RightUpVectorBar" "â¥\148" +let _ = Hashtbl.add macro2utf8 "caps" "â\136©ï¸\128" +let _ = Hashtbl.add macro2utf8 "ohbar" "⦵" +let _ = Hashtbl.add macro2utf8 "laemptyv" "⦴" +let _ = Hashtbl.add macro2utf8 "uacute" "ú" +let _ = Hashtbl.add macro2utf8 "straightphi" "Ï\134" +let _ = Hashtbl.add macro2utf8 "RightDoubleBracket" "ã\128\155" +let _ = Hashtbl.add macro2utf8 "zscr" "ð\157\147\143" +let _ = Hashtbl.add macro2utf8 "uogon" "ų" +let _ = Hashtbl.add macro2utf8 "Uarr" "â\134\159" +let _ = Hashtbl.add macro2utf8 "nsucc" "â\138\129" +let _ = Hashtbl.add macro2utf8 "RBarr" "â¤\144" +let _ = Hashtbl.add macro2utf8 "NotRightTriangleBar" "â§\144̸" +let _ = Hashtbl.add macro2utf8 "to" "â\134\146" +let _ = Hashtbl.add macro2utf8 "rpar" ")" +let _ = Hashtbl.add macro2utf8 "rdsh" "â\134³" +let _ = Hashtbl.add macro2utf8 "jfr" "ð\157\148§" +let _ = Hashtbl.add macro2utf8 "ldquor" "â\128\158" +let _ = Hashtbl.add macro2utf8 "bsime" "â\139\141" +let _ = Hashtbl.add macro2utf8 "lAtail" "â¤\155" +let _ = Hashtbl.add macro2utf8 "Hcirc" "Ĥ" +let _ = Hashtbl.add macro2utf8 "aacute" "á" +let _ = Hashtbl.add macro2utf8 "dot" "Ë\153" +let _ = Hashtbl.add macro2utf8 "Tcy" "Т" +let _ = Hashtbl.add macro2utf8 "nsub" "â\138\132" +let _ = Hashtbl.add macro2utf8 "kappa" "κ" +let _ = Hashtbl.add macro2utf8 "kappa" "κ" +let _ = Hashtbl.add macro2utf8 "ovbar" "â\140½" +let _ = Hashtbl.add macro2utf8 "shcy" "Ñ\136" +let _ = Hashtbl.add macro2utf8 "kappav" "Ï°" +let _ = Hashtbl.add macro2utf8 "ropar" "ã\128\153" +let _ = Hashtbl.add macro2utf8 "gtcc" "⪧" +let _ = Hashtbl.add macro2utf8 "ecolon" "â\137\149" +let _ = Hashtbl.add macro2utf8 "circledast" "â\138\155" +let _ = Hashtbl.add macro2utf8 "colon" ":" +let _ = Hashtbl.add macro2utf8 "timesbar" "⨱" +let _ = Hashtbl.add macro2utf8 "precnsim" "â\139¨" +let _ = Hashtbl.add macro2utf8 "ord" "â©\157" +let _ = Hashtbl.add macro2utf8 "real" "â\132\156" +let _ = Hashtbl.add macro2utf8 "nexists" "â\136\132" +let _ = Hashtbl.add macro2utf8 "nsup" "â\138\133" +let _ = Hashtbl.add macro2utf8 "zhcy" "ж" +let _ = Hashtbl.add macro2utf8 "imacr" "Ä«" +let _ = Hashtbl.add macro2utf8 "egrave" "è" +let _ = Hashtbl.add macro2utf8 "acirc" "â" +let _ = Hashtbl.add macro2utf8 "grave" "`" +let _ = Hashtbl.add macro2utf8 "biguplus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "biguplus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "HumpEqual" "â\137\143" +let _ = Hashtbl.add macro2utf8 "GreaterSlantEqual" "⩾" +let _ = Hashtbl.add macro2utf8 "capand" "â©\132" +let _ = Hashtbl.add macro2utf8 "yuml" "ÿ" +let _ = Hashtbl.add macro2utf8 "orv" "â©\155" +let _ = Hashtbl.add macro2utf8 "Icy" "Ð\152" +let _ = Hashtbl.add macro2utf8 "rightharpoondown" "â\135\129" +let _ = Hashtbl.add macro2utf8 "upsilon" "Ï\133" +let _ = Hashtbl.add macro2utf8 "upsilon" "Ï\133" +let _ = Hashtbl.add macro2utf8 "preccurlyeq" "â\137¼" +let _ = Hashtbl.add macro2utf8 "ShortUpArrow" "â\140\131ï¸\128" +let _ = Hashtbl.add macro2utf8 "searhk" "⤥" +let _ = Hashtbl.add macro2utf8 "commat" "@" +let _ = Hashtbl.add macro2utf8 "Sqrt" "â\136\154" +let _ = Hashtbl.add macro2utf8 "wp" "â\132\152" +let _ = Hashtbl.add macro2utf8 "wp" "â\132\152" +let _ = Hashtbl.add macro2utf8 "succnapprox" "â\139©" +let _ = Hashtbl.add macro2utf8 "wr" "â\137\128" +let _ = Hashtbl.add macro2utf8 "wr" "â\137\128" +let _ = Hashtbl.add macro2utf8 "NotTildeTilde" "â\137\137" +let _ = Hashtbl.add macro2utf8 "dcaron" "Ä\143" +let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128" +let _ = Hashtbl.add macro2utf8 "Tfr" "ð\157\148\151" +let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128" +let _ = Hashtbl.add macro2utf8 "DScy" "Ð\133" +let _ = Hashtbl.add macro2utf8 "nrtrie" "â\139­" +let _ = Hashtbl.add macro2utf8 "esim" "â\137\130" +let _ = Hashtbl.add macro2utf8 "Not" "⫬" +let _ = Hashtbl.add macro2utf8 "xmap" "ï\149½" +let _ = Hashtbl.add macro2utf8 "rect" "â\150­" +let _ = Hashtbl.add macro2utf8 "Fouriertrf" "â\132±" +let _ = Hashtbl.add macro2utf8 "xi" "ξ" +let _ = Hashtbl.add macro2utf8 "xi" "ξ" +let _ = Hashtbl.add macro2utf8 "NotTilde" "â\137\129" +let _ = Hashtbl.add macro2utf8 "gbreve" "Ä\159" +let _ = Hashtbl.add macro2utf8 "par" "â\136¥" +let _ = Hashtbl.add macro2utf8 "ddots" "â\139±" +let _ = Hashtbl.add macro2utf8 "nhArr" "â\135\142" +let _ = Hashtbl.add macro2utf8 "lsim" "â\137²" +let _ = Hashtbl.add macro2utf8 "RightCeiling" "â\140\137" +let _ = Hashtbl.add macro2utf8 "nedot" "â\137 ï¸\128" +let _ = Hashtbl.add macro2utf8 "thksim" "â\136¼ï¸\128" +let _ = Hashtbl.add macro2utf8 "lEg" "â\139\154" +let _ = Hashtbl.add macro2utf8 "Ifr" "â\132\145" +let _ = Hashtbl.add macro2utf8 "emsp" "â\128\131" +let _ = Hashtbl.add macro2utf8 "lopar" "ã\128\152" +let _ = Hashtbl.add macro2utf8 "iiiint" "â¨\140" +let _ = Hashtbl.add macro2utf8 "straightepsilon" "ε" +let _ = Hashtbl.add macro2utf8 "intlarhk" "â¨\151" +let _ = Hashtbl.add macro2utf8 "image" "â\132\145" +let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148" +let _ = Hashtbl.add macro2utf8 "sqsubseteq" "â\138\145" +let _ = Hashtbl.add macro2utf8 "lnapprox" "âª\137" +let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148" +let _ = Hashtbl.add macro2utf8 "cemptyv" "⦲" +let _ = Hashtbl.add macro2utf8 "alpha" "α" +let _ = Hashtbl.add macro2utf8 "alpha" "α" +let _ = Hashtbl.add macro2utf8 "uml" "¨" +let _ = Hashtbl.add macro2utf8 "barwedge" "â\138¼" +let _ = Hashtbl.add macro2utf8 "KHcy" "Ð¥" +let _ = Hashtbl.add macro2utf8 "tilde" "Ë\156" +let _ = Hashtbl.add macro2utf8 "Superset" "â\138\131" +let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "gesles" "âª\148" +let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "boxuL" "â\149\155" +let _ = Hashtbl.add macro2utf8 "rbbrk" "ã\128\149" +let _ = Hashtbl.add macro2utf8 "nrightarrow" "â\134\155" +let _ = Hashtbl.add macro2utf8 "hkswarow" "⤦" +let _ = Hashtbl.add macro2utf8 "DiacriticalDoubleAcute" "Ë\157" +let _ = Hashtbl.add macro2utf8 "nbumpe" "â\137\143̸" +let _ = Hashtbl.add macro2utf8 "uhblk" "â\150\128" +let _ = Hashtbl.add macro2utf8 "NotSupersetEqual" "â\138\137" +let _ = Hashtbl.add macro2utf8 "ntgl" "â\137¹" +let _ = Hashtbl.add macro2utf8 "Fopf" "ð\157\148½" +let _ = Hashtbl.add macro2utf8 "boxuR" "â\149\152" +let _ = Hashtbl.add macro2utf8 "swarr" "â\134\153" +let _ = Hashtbl.add macro2utf8 "nsqsube" "â\139¢" +let _ = Hashtbl.add macro2utf8 "pluscir" "⨢" +let _ = Hashtbl.add macro2utf8 "pcy" "п" +let _ = Hashtbl.add macro2utf8 "leqslant" "⩽" +let _ = Hashtbl.add macro2utf8 "lnap" "âª\137" +let _ = Hashtbl.add macro2utf8 "lthree" "â\139\139" +let _ = Hashtbl.add macro2utf8 "smte" "⪬" +let _ = Hashtbl.add macro2utf8 "olcross" "⦻" +let _ = Hashtbl.add macro2utf8 "nvrArr" "â\135\143" +let _ = Hashtbl.add macro2utf8 "andslope" "â©\152" +let _ = Hashtbl.add macro2utf8 "MediumSpace" "â\129\159" +let _ = Hashtbl.add macro2utf8 "boxvH" "â\149ª" +let _ = Hashtbl.add macro2utf8 "Nacute" "Å\131" +let _ = Hashtbl.add macro2utf8 "nGtv" "â\137«Ì¸ï¸\128" +let _ = Hashtbl.add macro2utf8 "Mopf" "ð\157\149\132" +let _ = Hashtbl.add macro2utf8 "dfisht" "⥿" +let _ = Hashtbl.add macro2utf8 "boxvL" "â\149¡" +let _ = Hashtbl.add macro2utf8 "pertenk" "â\128±" +let _ = Hashtbl.add macro2utf8 "NotPrecedes" "â\138\128" +let _ = Hashtbl.add macro2utf8 "profalar" "â\140®" +let _ = Hashtbl.add macro2utf8 "roplus" "⨮" +let _ = Hashtbl.add macro2utf8 "boxvR" "â\149\158" +let _ = Hashtbl.add macro2utf8 "utrif" "â\150´" +let _ = Hashtbl.add macro2utf8 "uHar" "⥣" +let _ = Hashtbl.add macro2utf8 "nltrie" "â\139¬" +let _ = Hashtbl.add macro2utf8 "NotNestedGreaterGreater" "â\146¢Ì¸" +let _ = Hashtbl.add macro2utf8 "smtes" "⪬ï¸\128" +let _ = Hashtbl.add macro2utf8 "LeftAngleBracket" "â\140©" +let _ = Hashtbl.add macro2utf8 "iogon" "į" +let _ = Hashtbl.add macro2utf8 "ExponentialE" "â\133\135" +let _ = Hashtbl.add macro2utf8 "Topf" "ð\157\149\139" +let _ = Hashtbl.add macro2utf8 "GreaterEqual" "â\137¥" +let _ = Hashtbl.add macro2utf8 "DownTee" "â\138¤" +let _ = Hashtbl.add macro2utf8 "boxul" "â\148\152" +let _ = Hashtbl.add macro2utf8 "wreath" "â\137\128" +let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131" +let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131" +let _ = Hashtbl.add macro2utf8 "ENG" "Å\138" +let _ = Hashtbl.add macro2utf8 "Ncedil" "Å\133" +let _ = Hashtbl.add macro2utf8 "ecy" "Ñ\141" +let _ = Hashtbl.add macro2utf8 "nsubset" "â\138\132" +let _ = Hashtbl.add macro2utf8 "LessFullEqual" "â\137¦" +let _ = Hashtbl.add macro2utf8 "bsolb" "â§\133" +let _ = Hashtbl.add macro2utf8 "boxur" "â\148\148" +let _ = Hashtbl.add macro2utf8 "ThinSpace" "â\128\137" +let _ = Hashtbl.add macro2utf8 "supdsub" "â«\152" +let _ = Hashtbl.add macro2utf8 "colone" "â\137\148" +let _ = Hashtbl.add macro2utf8 "curren" "¤" +let _ = Hashtbl.add macro2utf8 "boxvh" "â\148¼" +let _ = Hashtbl.add macro2utf8 "ecaron" "Ä\155" +let _ = Hashtbl.add macro2utf8 "UnderBrace" "︸" +let _ = Hashtbl.add macro2utf8 "caron" "Ë\135" +let _ = Hashtbl.add macro2utf8 "ultri" "â\151¸" +let _ = Hashtbl.add macro2utf8 "boxvl" "â\148¤" +let _ = Hashtbl.add macro2utf8 "scap" "â\137¿" +let _ = Hashtbl.add macro2utf8 "boxvr" "â\148\156" +let _ = Hashtbl.add macro2utf8 "bopf" "ð\157\149\147" +let _ = Hashtbl.add macro2utf8 "pfr" "ð\157\148­" +let _ = Hashtbl.add macro2utf8 "nspar" "â\136¦ï¸\128" +let _ = Hashtbl.add macro2utf8 "NegativeMediumSpace" "â\129\159ï¸\128" +let _ = Hashtbl.add macro2utf8 "simgE" "⪠" +let _ = Hashtbl.add macro2utf8 "nvDash" "â\138­" +let _ = Hashtbl.add macro2utf8 "NotGreaterFullEqual" "â\137°" +let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145" +let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145" +let _ = Hashtbl.add macro2utf8 "nsupset" "â\138\133" +let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131" +let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131" +let _ = Hashtbl.add macro2utf8 "Zcy" "Ð\151" +let _ = Hashtbl.add macro2utf8 "RightTriangle" "â\138³" +let _ = Hashtbl.add macro2utf8 "Lang" "ã\128\138" +let _ = Hashtbl.add macro2utf8 "Ucirc" "Ã\155" +let _ = Hashtbl.add macro2utf8 "iopf" "ð\157\149\154" +let _ = Hashtbl.add macro2utf8 "leftrightsquigarrow" "â\134­" +let _ = Hashtbl.add macro2utf8 "Gscr" "ð\157\146¢" +let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138" +let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138" +let _ = Hashtbl.add macro2utf8 "lbbrk" "ã\128\148" +let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129" +let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129" +let _ = Hashtbl.add macro2utf8 "ordf" "ª" +let _ = Hashtbl.add macro2utf8 "rsquo" "â\128\153" +let _ = Hashtbl.add macro2utf8 "parallel" "â\136¥" +let _ = Hashtbl.add macro2utf8 "half" "½" +let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135" +let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135" +let _ = Hashtbl.add macro2utf8 "ngeqq" "â\137±" +let _ = Hashtbl.add macro2utf8 "popf" "ð\157\149¡" +let _ = Hashtbl.add macro2utf8 "NonBreakingSpace" " " +let _ = Hashtbl.add macro2utf8 "softcy" "Ñ\140" +let _ = Hashtbl.add macro2utf8 "ordm" "º" +let _ = Hashtbl.add macro2utf8 "Nscr" "ð\157\146©" +let _ = Hashtbl.add macro2utf8 "owns" "â\136\139" +let _ = Hashtbl.add macro2utf8 "phi" "Ï\149" +let _ = Hashtbl.add macro2utf8 "phi" "Ï\134" +let _ = Hashtbl.add macro2utf8 "efr" "ð\157\148¢" +let _ = Hashtbl.add macro2utf8 "nesear" "⤨" +let _ = Hashtbl.add macro2utf8 "marker" "â\150®" +let _ = Hashtbl.add macro2utf8 "lneq" "â\137¨" +let _ = Hashtbl.add macro2utf8 "parallet" "????" +let _ = Hashtbl.add macro2utf8 "ndash" "â\128\147" +let _ = Hashtbl.add macro2utf8 "DoubleLeftTee" "⫤" +let _ = Hashtbl.add macro2utf8 "lArr" "â\135\144" +let _ = Hashtbl.add macro2utf8 "becaus" "â\136µ" +let _ = Hashtbl.add macro2utf8 "RightTee" "â\138¢" +let _ = Hashtbl.add macro2utf8 "Ocy" "Ð\158" +let _ = Hashtbl.add macro2utf8 "ntlg" "â\137¸" +let _ = Hashtbl.add macro2utf8 "cacute" "Ä\135" +let _ = Hashtbl.add macro2utf8 "wopf" "ð\157\149¨" +let _ = Hashtbl.add macro2utf8 "Cup" "â\139\147" +let _ = Hashtbl.add macro2utf8 "Uscr" "ð\157\146°" +let _ = Hashtbl.add macro2utf8 "NotHumpEqual" "â\137\143̸" +let _ = Hashtbl.add macro2utf8 "rnmid" "â«®" +let _ = Hashtbl.add macro2utf8 "nsupE" "â\138\137" +let _ = Hashtbl.add macro2utf8 "bemptyv" "⦰" +let _ = Hashtbl.add macro2utf8 "lsqb" "[" +let _ = Hashtbl.add macro2utf8 "nrarr" "â\134\155" +let _ = Hashtbl.add macro2utf8 "egs" "â\139\157" +let _ = Hashtbl.add macro2utf8 "reals" "â\132\157" +let _ = Hashtbl.add macro2utf8 "CupCap" "â\137\141" +let _ = Hashtbl.add macro2utf8 "Oacute" "Ã\147" +let _ = Hashtbl.add macro2utf8 "Zfr" "â\132¨" +let _ = Hashtbl.add macro2utf8 "ReverseEquilibrium" "â\135\139" +let _ = Hashtbl.add macro2utf8 "ccedil" "ç" +let _ = Hashtbl.add macro2utf8 "bigtriangleup" "â\150³" +let _ = Hashtbl.add macro2utf8 "bigtriangleup" "â\150³" +let _ = Hashtbl.add macro2utf8 "piv" "Ï\150" +let _ = Hashtbl.add macro2utf8 "cirscir" "â§\130" +let _ = Hashtbl.add macro2utf8 "exists" "â\136\131" +let _ = Hashtbl.add macro2utf8 "Uarrocir" "â¥\137" +let _ = Hashtbl.add macro2utf8 "Dcy" "Ð\148" +let _ = Hashtbl.add macro2utf8 "cscr" "ð\157\146¸" +let _ = Hashtbl.add macro2utf8 "zcaron" "ž" +let _ = Hashtbl.add macro2utf8 "isinE" "â\139¹" +let _ = Hashtbl.add macro2utf8 "gtcir" "⩺" +let _ = Hashtbl.add macro2utf8 "hookrightarrow" "â\134ª" +let _ = Hashtbl.add macro2utf8 "hookrightarrow" "â\134ª" +let _ = Hashtbl.add macro2utf8 "Int" "â\136¬" +let _ = Hashtbl.add macro2utf8 "nsupe" "â\138\137" +let _ = Hashtbl.add macro2utf8 "dotplus" "â\136\148" +let _ = Hashtbl.add macro2utf8 "ncup" "â©\130" +let _ = Hashtbl.add macro2utf8 "jscr" "ð\157\146¿" +let _ = Hashtbl.add macro2utf8 "angmsdaa" "⦨" +let _ = Hashtbl.add macro2utf8 "flat" "â\153­" +let _ = Hashtbl.add macro2utf8 "Iukcy" "Ð\134" +let _ = Hashtbl.add macro2utf8 "flat" "â\153­" +let _ = Hashtbl.add macro2utf8 "bNot" "â«­" +let _ = Hashtbl.add macro2utf8 "angmsdab" "⦩" +let _ = Hashtbl.add macro2utf8 "angmsdac" "⦪" +let _ = Hashtbl.add macro2utf8 "iota" "ι" +let _ = Hashtbl.add macro2utf8 "xdtri" "â\150½" +let _ = Hashtbl.add macro2utf8 "iota" "ι" +let _ = Hashtbl.add macro2utf8 "angmsdad" "⦫" +let _ = Hashtbl.add macro2utf8 "angmsdae" "⦬" +let _ = Hashtbl.add macro2utf8 "rightarrowtail" "â\134£" +let _ = Hashtbl.add macro2utf8 "angmsdaf" "⦭" +let _ = Hashtbl.add macro2utf8 "Ocirc" "Ã\148" +let _ = Hashtbl.add macro2utf8 "angmsdag" "⦮" +let _ = Hashtbl.add macro2utf8 "Ofr" "ð\157\148\146" +let _ = Hashtbl.add macro2utf8 "maltese" "â\156 " +let _ = Hashtbl.add macro2utf8 "angmsdah" "⦯" +let _ = Hashtbl.add macro2utf8 "Del" "â\136\135" +let _ = Hashtbl.add macro2utf8 "Barwed" "â\140\134" +let _ = Hashtbl.add macro2utf8 "drbkarow" "â¤\144" +let _ = Hashtbl.add macro2utf8 "qscr" "ð\157\147\134" +let _ = Hashtbl.add macro2utf8 "ETH" "Ã\144" +let _ = Hashtbl.add macro2utf8 "operp" "⦹" +let _ = Hashtbl.add macro2utf8 "daleth" "â\132¸" +let _ = Hashtbl.add macro2utf8 "bull" "â\128¢" +let _ = Hashtbl.add macro2utf8 "simlE" "âª\159" +let _ = Hashtbl.add macro2utf8 "lsquo" "â\128\152" +let _ = Hashtbl.add macro2utf8 "Larr" "â\134\158" +let _ = Hashtbl.add macro2utf8 "curarr" "â\134·" +let _ = Hashtbl.add macro2utf8 "blacktriangleleft" "â\151\130" +let _ = Hashtbl.add macro2utf8 "hellip" "â\128¦" +let _ = Hashtbl.add macro2utf8 "DoubleVerticalBar" "â\136¥" +let _ = Hashtbl.add macro2utf8 "rBarr" "â¤\143" +let _ = Hashtbl.add macro2utf8 "chcy" "Ñ\135" +let _ = Hashtbl.add macro2utf8 "varpi" "Ï\150" +let _ = Hashtbl.add macro2utf8 "varpi" "Ï\150" +let _ = Hashtbl.add macro2utf8 "Cconint" "â\136°" +let _ = Hashtbl.add macro2utf8 "xlarr" "ï\149¶" +let _ = Hashtbl.add macro2utf8 "xscr" "ð\157\147\141" +let _ = Hashtbl.add macro2utf8 "DoubleLongRightArrow" "ï\149º" +let _ = Hashtbl.add macro2utf8 "CounterClockwiseContourIntegral" "â\136³" +let _ = Hashtbl.add macro2utf8 "urcrop" "â\140\142" +let _ = Hashtbl.add macro2utf8 "RightAngleBracket" "â\140ª" +let _ = Hashtbl.add macro2utf8 "Rcaron" "Å\152" +let _ = Hashtbl.add macro2utf8 "latail" "â¤\153" +let _ = Hashtbl.add macro2utf8 "pitchfork" "â\139\148" +let _ = Hashtbl.add macro2utf8 "nvinfin" "â§\158" +let _ = Hashtbl.add macro2utf8 "hcirc" "Ä¥" +let _ = Hashtbl.add macro2utf8 "nexist" "â\136\132" +let _ = Hashtbl.add macro2utf8 "checkmark" "â\156\147" +let _ = Hashtbl.add macro2utf8 "tridot" "â\151¬" +let _ = Hashtbl.add macro2utf8 "vcy" "в" +let _ = Hashtbl.add macro2utf8 "isins" "â\139´" +let _ = Hashtbl.add macro2utf8 "fllig" "ï¬\130" +let _ = Hashtbl.add macro2utf8 "Dfr" "ð\157\148\135" +let _ = Hashtbl.add macro2utf8 "hercon" "â\138¹" +let _ = Hashtbl.add macro2utf8 "aleph" "â\132µ" +let _ = Hashtbl.add macro2utf8 "gEl" "â\139\155" +let _ = Hashtbl.add macro2utf8 "bump" "â\137\142" +let _ = Hashtbl.add macro2utf8 "aleph" "â\132µ" +let _ = Hashtbl.add macro2utf8 "Ubreve" "Ŭ" +let _ = Hashtbl.add macro2utf8 "isinv" "â\136\136" +let _ = Hashtbl.add macro2utf8 "smile" "â\140£" +let _ = Hashtbl.add macro2utf8 "smile" "â\140£" +let _ = Hashtbl.add macro2utf8 "llcorner" "â\140\158" +let _ = Hashtbl.add macro2utf8 "boxH" "â\149\144" +let _ = Hashtbl.add macro2utf8 "ecir" "â\137\150" +let _ = Hashtbl.add macro2utf8 "varnothing" "â\136\133" +let _ = Hashtbl.add macro2utf8 "iuml" "ï" +let _ = Hashtbl.add macro2utf8 "mlcp" "â«\155" +let _ = Hashtbl.add macro2utf8 "leftrightharpoons" "â\135\139" +let _ = Hashtbl.add macro2utf8 "ncong" "â\137\135" +let _ = Hashtbl.add macro2utf8 "Vert" "â\128\150" +let _ = Hashtbl.add macro2utf8 "Vert" "â\128\150" +let _ = Hashtbl.add macro2utf8 "vee" "â\136¨" +let _ = Hashtbl.add macro2utf8 "star" "â\139\134" +let _ = Hashtbl.add macro2utf8 "vee" "â\136¨" +let _ = Hashtbl.add macro2utf8 "star" "â\139\134" +let _ = Hashtbl.add macro2utf8 "boxV" "â\149\145" +let _ = Hashtbl.add macro2utf8 "leftrightarrow" "â\134\148" +let _ = Hashtbl.add macro2utf8 "LeftRightArrow" "â\134\148" +let _ = Hashtbl.add macro2utf8 "leftrightarrow" "â\134\148" +let _ = Hashtbl.add macro2utf8 "ell" "â\132\147" +let _ = Hashtbl.add macro2utf8 "lstrok" "Å\130" +let _ = Hashtbl.add macro2utf8 "ell" "â\132\147" +let _ = Hashtbl.add macro2utf8 "VerticalSeparator" "â\157\152" +let _ = Hashtbl.add macro2utf8 "Ubrcy" "Ð\142" +let _ = Hashtbl.add macro2utf8 "NotGreater" "â\137¯" +let _ = Hashtbl.add macro2utf8 "Abreve" "Ä\130" +let _ = Hashtbl.add macro2utf8 "TildeTilde" "â\137\136" +let _ = Hashtbl.add macro2utf8 "CircleTimes" "â\138\151" +let _ = Hashtbl.add macro2utf8 "subsetneq" "â\138\138" +let _ = Hashtbl.add macro2utf8 "ltcc" "⪦" +let _ = Hashtbl.add macro2utf8 "els" "â\139\156" +let _ = Hashtbl.add macro2utf8 "succneqq" "⪶" +let _ = Hashtbl.add macro2utf8 "kcy" "к" +let _ = Hashtbl.add macro2utf8 "nshortmid" "â\136¤ï¸\128" +let _ = Hashtbl.add macro2utf8 "mldr" "â\128¦" +let _ = Hashtbl.add macro2utf8 "harr" "â\134\148" +let _ = Hashtbl.add macro2utf8 "gimel" "â\132·" +let _ = Hashtbl.add macro2utf8 "Otimes" "⨷" +let _ = Hashtbl.add macro2utf8 "vsubnE" "â\138\138ï¸\128" +let _ = Hashtbl.add macro2utf8 "ltdot" "â\139\150" +let _ = Hashtbl.add macro2utf8 "boxh" "â\148\128" +let _ = Hashtbl.add macro2utf8 "notin" "â\136\137" +let _ = Hashtbl.add macro2utf8 "notin" "â\136\137" +let _ = Hashtbl.add macro2utf8 "RuleDelayed" "⧴" +let _ = Hashtbl.add macro2utf8 "sqsube" "â\138\145" +let _ = Hashtbl.add macro2utf8 "macr" "¯" +let _ = Hashtbl.add macro2utf8 "Icirc" "Ã\142" +let _ = Hashtbl.add macro2utf8 "comma" "," +let _ = Hashtbl.add macro2utf8 "Cayleys" "â\132­" +let _ = Hashtbl.add macro2utf8 "rightleftharpoons" "â\135\140" +let _ = Hashtbl.add macro2utf8 "Rarrtl" "â¤\150" +let _ = Hashtbl.add macro2utf8 "SquareSubsetEqual" "â\138\145" +let _ = Hashtbl.add macro2utf8 "NotGreaterEqual" "â\137±â\131¥" +let _ = Hashtbl.add macro2utf8 "vfr" "ð\157\148³" +let _ = Hashtbl.add macro2utf8 "utri" "â\150µ" +let _ = Hashtbl.add macro2utf8 "simne" "â\137\134" +let _ = Hashtbl.add macro2utf8 "LeftUpVectorBar" "â¥\152" +let _ = Hashtbl.add macro2utf8 "hksearow" "⤥" +let _ = Hashtbl.add macro2utf8 "boxv" "â\148\130" +let _ = Hashtbl.add macro2utf8 "curvearrowleft" "â\134¶" +let _ = Hashtbl.add macro2utf8 "eng" "Å\139" +let _ = Hashtbl.add macro2utf8 "gtrarr" "⥸" +let _ = Hashtbl.add macro2utf8 "iecy" "е" +let _ = Hashtbl.add macro2utf8 "varr" "â\134\149" +let _ = Hashtbl.add macro2utf8 "lBarr" "â¤\142" +let _ = Hashtbl.add macro2utf8 "ker" "ker" +let _ = Hashtbl.add macro2utf8 "imath" "ı" +let _ = Hashtbl.add macro2utf8 "imath" "ı" +let _ = Hashtbl.add macro2utf8 "Dstrok" "Ä\144" +let _ = Hashtbl.add macro2utf8 "rlarr" "â\135\132" +let _ = Hashtbl.add macro2utf8 "leftleftarrows" "â\135\135" +let _ = Hashtbl.add macro2utf8 "DifferentialD" "â\133\134" +let _ = Hashtbl.add macro2utf8 "because" "â\136µ" +let _ = Hashtbl.add macro2utf8 "ulcrop" "â\140\143" +let _ = Hashtbl.add macro2utf8 "prE" "⪯" +let _ = Hashtbl.add macro2utf8 "oast" "â\138\155" +let _ = Hashtbl.add macro2utf8 "DotEqual" "â\137\144" +let _ = Hashtbl.add macro2utf8 "vsubne" "â\138\138ï¸\128" +let _ = Hashtbl.add macro2utf8 "hbar" "â\132\143ï¸\128" +let _ = Hashtbl.add macro2utf8 "hbar" "â\132\143ï¸\128" +let _ = Hashtbl.add macro2utf8 "subset" "â\138\130" +let _ = Hashtbl.add macro2utf8 "subset" "â\138\130" +let _ = Hashtbl.add macro2utf8 "UpTeeArrow" "â\134¥" +let _ = Hashtbl.add macro2utf8 "LeftFloor" "â\140\138" +let _ = Hashtbl.add macro2utf8 "kfr" "ð\157\148¨" +let _ = Hashtbl.add macro2utf8 "nisd" "â\139º" +let _ = Hashtbl.add macro2utf8 "scnE" "⪶" +let _ = Hashtbl.add macro2utf8 "Ucy" "У" +let _ = Hashtbl.add macro2utf8 "nprec" "â\138\128" +let _ = Hashtbl.add macro2utf8 "ltrPar" "â¦\150" +let _ = Hashtbl.add macro2utf8 "Scaron" "Å " +let _ = Hashtbl.add macro2utf8 "InvisibleComma" "â\128\139" +let _ = Hashtbl.add macro2utf8 "SquareUnion" "â\138\148" +let _ = Hashtbl.add macro2utf8 "ffllig" "ï¬\132" +let _ = Hashtbl.add macro2utf8 "approxeq" "â\137\138" +let _ = Hashtbl.add macro2utf8 "yacute" "ý" +let _ = Hashtbl.add macro2utf8 "pre" "⪯" +let _ = Hashtbl.add macro2utf8 "nsqsupe" "â\139£" +let _ = Hashtbl.add macro2utf8 "supset" "â\138\131" +let _ = Hashtbl.add macro2utf8 "supset" "â\138\131" +let _ = Hashtbl.add macro2utf8 "bsolhsub" "\\â\138\130" +let _ = Hashtbl.add macro2utf8 "nshortparallel" "â\136¦ï¸\128" +let _ = Hashtbl.add macro2utf8 "lozenge" "â\151\138" +let _ = Hashtbl.add macro2utf8 "lnot" "¬" +let _ = Hashtbl.add macro2utf8 "Dopf" "ð\157\148»" +let _ = Hashtbl.add macro2utf8 "leftharpoonup" "â\134¼" +let _ = Hashtbl.add macro2utf8 "Jcy" "Ð\153" +let _ = Hashtbl.add macro2utf8 "rightarrow" "â\134\146" +let _ = Hashtbl.add macro2utf8 "rightarrow" "â\134\146" +let _ = Hashtbl.add macro2utf8 "ntriangleright" "â\139«" +let _ = Hashtbl.add macro2utf8 "Ccirc" "Ä\136" +let _ = Hashtbl.add macro2utf8 "eacute" "é" +let _ = Hashtbl.add macro2utf8 "acute" "´" +let _ = Hashtbl.add macro2utf8 "Precedes" "â\137º" +let _ = Hashtbl.add macro2utf8 "middot" "·" +let _ = Hashtbl.add macro2utf8 "lHar" "⥢" +let _ = Hashtbl.add macro2utf8 "eparsl" "⧣" +let _ = Hashtbl.add macro2utf8 "psi" "Ï\136" +let _ = Hashtbl.add macro2utf8 "psi" "Ï\136" +let _ = Hashtbl.add macro2utf8 "parsl" "â\136¥ï¸\128" +let _ = Hashtbl.add macro2utf8 "UpperLeftArrow" "â\134\150" +let _ = Hashtbl.add macro2utf8 "oror" "â©\150" +let _ = Hashtbl.add macro2utf8 "Kopf" "ð\157\149\130" +let _ = Hashtbl.add macro2utf8 "apacir" "⩯" +let _ = Hashtbl.add macro2utf8 "dharl" "â\135\131" +let _ = Hashtbl.add macro2utf8 "nequiv" "â\137¢" +let _ = Hashtbl.add macro2utf8 "rightleftarrows" "â\135\132" +let _ = Hashtbl.add macro2utf8 "dagger" "â\128 " +let _ = Hashtbl.add macro2utf8 "UnderParenthesis" "︶" +let _ = Hashtbl.add macro2utf8 "notni" "â\136\140" +let _ = Hashtbl.add macro2utf8 "dagger" "â\128 " +let _ = Hashtbl.add macro2utf8 "dagger" "â\128 " +let _ = Hashtbl.add macro2utf8 "dharr" "â\135\130" +let _ = Hashtbl.add macro2utf8 "twoheadleftarrow" "â\134\158" +let _ = Hashtbl.add macro2utf8 "frac12" "½" +let _ = Hashtbl.add macro2utf8 "varsubsetneqq" "â\138\138ï¸\128" +let _ = Hashtbl.add macro2utf8 "frac13" "â\133\147" +let _ = Hashtbl.add macro2utf8 "Ufr" "ð\157\148\152" +let _ = Hashtbl.add macro2utf8 "NestedLessLess" "â\137ª" +let _ = Hashtbl.add macro2utf8 "llarr" "â\135\135" +let _ = Hashtbl.add macro2utf8 "frac14" "¼" +let _ = Hashtbl.add macro2utf8 "frac15" "â\133\149" +let _ = Hashtbl.add macro2utf8 "Ropf" "â\132\157" +let _ = Hashtbl.add macro2utf8 "frac16" "â\133\153" +let _ = Hashtbl.add macro2utf8 "lrtri" "â\138¿" +let _ = Hashtbl.add macro2utf8 "frac18" "â\133\155" +let _ = Hashtbl.add macro2utf8 "cedil" "¸" +let _ = Hashtbl.add macro2utf8 "subsim" "â«\135" +let _ = Hashtbl.add macro2utf8 "PrecedesTilde" "â\137¾" +let _ = Hashtbl.add macro2utf8 "igrave" "ì" +let _ = Hashtbl.add macro2utf8 "gjcy" "Ñ\147" +let _ = Hashtbl.add macro2utf8 "LeftVector" "â\134¼" +let _ = Hashtbl.add macro2utf8 "notniva" "â\136\140" +let _ = Hashtbl.add macro2utf8 "notnivb" "â\139¾" +let _ = Hashtbl.add macro2utf8 "ogon" "Ë\155" +let _ = Hashtbl.add macro2utf8 "notnivc" "â\139½" +let _ = Hashtbl.add macro2utf8 "Yopf" "ð\157\149\144" +let _ = Hashtbl.add macro2utf8 "there4" "â\136´" +let _ = Hashtbl.add macro2utf8 "udarr" "â\135\133" +let _ = Hashtbl.add macro2utf8 "bkarow" "â¤\141" +let _ = Hashtbl.add macro2utf8 "frac23" "â\133\148" +let _ = Hashtbl.add macro2utf8 "frac25" "â\133\150" +let _ = Hashtbl.add macro2utf8 "njcy" "Ñ\154" +let _ = Hashtbl.add macro2utf8 "Dashv" "⫤" +let _ = Hashtbl.add macro2utf8 "eta" "η" +let _ = Hashtbl.add macro2utf8 "eta" "η" +let _ = Hashtbl.add macro2utf8 "bcong" "â\137\140" +let _ = Hashtbl.add macro2utf8 "Ugrave" "Ã\153" +let _ = Hashtbl.add macro2utf8 "csube" "â«\145" +let _ = Hashtbl.add macro2utf8 "clubs" "â\153£" +let _ = Hashtbl.add macro2utf8 "supmult" "â«\130" +let _ = Hashtbl.add macro2utf8 "MinusPlus" "â\136\147" +let _ = Hashtbl.add macro2utf8 "Jfr" "ð\157\148\141" +let _ = Hashtbl.add macro2utf8 "ensp" "â\128\130" +let _ = Hashtbl.add macro2utf8 "ucirc" "û" +let _ = Hashtbl.add macro2utf8 "supsim" "â«\136" +let _ = Hashtbl.add macro2utf8 "eth" "ð" +let _ = Hashtbl.add macro2utf8 "OverBrace" "︷" +let _ = Hashtbl.add macro2utf8 "Dot" "¨" +let _ = Hashtbl.add macro2utf8 "xcap" "â\139\130" +let _ = Hashtbl.add macro2utf8 "vangrt" "â\138¾" +let _ = Hashtbl.add macro2utf8 "NotSubsetEqual" "â\138\136" +let _ = Hashtbl.add macro2utf8 "frac34" "¾" +let _ = Hashtbl.add macro2utf8 "frac35" "â\133\151" +let _ = Hashtbl.add macro2utf8 "planck" "â\132\143ï¸\128" +let _ = Hashtbl.add macro2utf8 "lnsim" "â\139¦" +let _ = Hashtbl.add macro2utf8 "gopf" "ð\157\149\152" +let _ = Hashtbl.add macro2utf8 "frac38" "â\133\156" +let _ = Hashtbl.add macro2utf8 "DotDot" "â\131\156" +let _ = Hashtbl.add macro2utf8 "mapstoup" "â\134¥" +let _ = Hashtbl.add macro2utf8 "Escr" "â\132°" +let _ = Hashtbl.add macro2utf8 "Integral" "â\136«" +let _ = Hashtbl.add macro2utf8 "Agrave" "Ã\128" +let _ = Hashtbl.add macro2utf8 "longleftarrow" "????;" +let _ = Hashtbl.add macro2utf8 "longleftarrow" "ï\149¶" +let _ = Hashtbl.add macro2utf8 "Tcaron" "Ť" +let _ = Hashtbl.add macro2utf8 "nopf" "ð\157\149\159" +let _ = Hashtbl.add macro2utf8 "LongLeftRightArrow" "ï\149¸" +let _ = Hashtbl.add macro2utf8 "Emacr" "Ä\146" +let _ = Hashtbl.add macro2utf8 "omid" "⦶" +let _ = Hashtbl.add macro2utf8 "spades" "â\153 " +let _ = Hashtbl.add macro2utf8 "naturals" "â\132\149" +let _ = Hashtbl.add macro2utf8 "Lscr" "â\132\146" +let _ = Hashtbl.add macro2utf8 "clubsuit" "â\153£" +let _ = Hashtbl.add macro2utf8 "udblac" "ű" +let _ = Hashtbl.add macro2utf8 "SucceedsTilde" "â\137¿" +let _ = Hashtbl.add macro2utf8 "frac45" "â\133\152" +let _ = Hashtbl.add macro2utf8 "clubsuit" "â\153£" +let _ = Hashtbl.add macro2utf8 "mumap" "â\138¸" +let _ = Hashtbl.add macro2utf8 "vltri" "â\138²" +let _ = Hashtbl.add macro2utf8 "LeftArrowBar" "â\135¤" +let _ = Hashtbl.add macro2utf8 "zacute" "ź" +let _ = Hashtbl.add macro2utf8 "szlig" "Ã\159" +let _ = Hashtbl.add macro2utf8 "suplarr" "⥻" +let _ = Hashtbl.add macro2utf8 "RightDownVector" "â\135\130" +let _ = Hashtbl.add macro2utf8 "male" "â\153\130" +let _ = Hashtbl.add macro2utf8 "RightDownVectorBar" "â¥\149" +let _ = Hashtbl.add macro2utf8 "gdot" "Ä¡" +let _ = Hashtbl.add macro2utf8 "nleqq" "â\137°" +let _ = Hashtbl.add macro2utf8 "uopf" "ð\157\149¦" +let _ = Hashtbl.add macro2utf8 "YIcy" "Ð\135" +let _ = Hashtbl.add macro2utf8 "Sscr" "ð\157\146®" +let _ = Hashtbl.add macro2utf8 "empty" "â\136\133ï¸\128" +let _ = Hashtbl.add macro2utf8 "Vdash" "â\138©" +let _ = Hashtbl.add macro2utf8 "sqsubset" "â\138\143" +let _ = Hashtbl.add macro2utf8 "efDot" "â\137\146" +let _ = Hashtbl.add macro2utf8 "times" "Ã\151" +let _ = Hashtbl.add macro2utf8 "times" "Ã\151" +let _ = Hashtbl.add macro2utf8 "Oslash" "Ã\152" +let _ = Hashtbl.add macro2utf8 "itilde" "Ä©" +let _ = Hashtbl.add macro2utf8 "frac56" "â\133\154" +let _ = Hashtbl.add macro2utf8 "numero" "â\132\150" +let _ = Hashtbl.add macro2utf8 "malt" "â\156 " +let _ = Hashtbl.add macro2utf8 "npart" "â\136\130̸" +let _ = Hashtbl.add macro2utf8 "frac58" "â\133\157" +let _ = Hashtbl.add macro2utf8 "Zscr" "ð\157\146µ" +let _ = Hashtbl.add macro2utf8 "integers" "â\132¤" +let _ = Hashtbl.add macro2utf8 "CloseCurlyQuote" "â\128\153" +let _ = Hashtbl.add macro2utf8 "NewLine" "\n" +let _ = Hashtbl.add macro2utf8 "fcy" "Ñ\132" +let _ = Hashtbl.add macro2utf8 "nwarr" "â\134\150" +let _ = Hashtbl.add macro2utf8 "thicksim" "â\136¼ï¸\128" +let _ = Hashtbl.add macro2utf8 "nprcue" "â\139 " +let _ = Hashtbl.add macro2utf8 "forall" "â\136\128" +let _ = Hashtbl.add macro2utf8 "lcub" "{" +let _ = Hashtbl.add macro2utf8 "forall" "â\136\128" +let _ = Hashtbl.add macro2utf8 "plusacir" "⨣" +let _ = Hashtbl.add macro2utf8 "ascr" "ð\157\146¶" +let _ = Hashtbl.add macro2utf8 "plustwo" "⨧" +let _ = Hashtbl.add macro2utf8 "lambda" "λ" +let _ = Hashtbl.add macro2utf8 "Utilde" "Ũ" +let _ = Hashtbl.add macro2utf8 "lambda" "λ" +let _ = Hashtbl.add macro2utf8 "odash" "â\138\157" +let _ = Hashtbl.add macro2utf8 "iukcy" "Ñ\150" +let _ = Hashtbl.add macro2utf8 "Longleftarrow" "????" +let _ = Hashtbl.add macro2utf8 "sqsupset" "â\138\144" +let _ = Hashtbl.add macro2utf8 "Racute" "Å\148" +let _ = Hashtbl.add macro2utf8 "Longleftarrow" "ï\149¹" +let _ = Hashtbl.add macro2utf8 "capcap" "â©\139" +let _ = Hashtbl.add macro2utf8 "ocirc" "ô" +let _ = Hashtbl.add macro2utf8 "nless" "â\137®" +let _ = Hashtbl.add macro2utf8 "Wedge" "â\139\128" +let _ = Hashtbl.add macro2utf8 "qfr" "ð\157\148®" +let _ = Hashtbl.add macro2utf8 "natur" "â\153®" +let _ = Hashtbl.add macro2utf8 "hscr" "ð\157\146½" +let _ = Hashtbl.add macro2utf8 "ldca" "⤶" +let _ = Hashtbl.add macro2utf8 "ClockwiseContourIntegral" "â\136²" +let _ = Hashtbl.add macro2utf8 "exp" "exp" +let _ = Hashtbl.add macro2utf8 "RightTeeArrow" "â\134¦" +let _ = Hashtbl.add macro2utf8 "orarr" "â\134»" +let _ = Hashtbl.add macro2utf8 "tanh" "tanh" +let _ = Hashtbl.add macro2utf8 "frac78" "â\133\158" +let _ = Hashtbl.add macro2utf8 "Atilde" "Ã\131" +let _ = Hashtbl.add macro2utf8 "arcsin" "arcsin" +let _ = Hashtbl.add macro2utf8 "Rcedil" "Å\150" +let _ = Hashtbl.add macro2utf8 "oscr" "â\132´" +let _ = Hashtbl.add macro2utf8 "InvisibleTimes" "â\129¢" +let _ = Hashtbl.add macro2utf8 "sime" "â\137\131" +let _ = Hashtbl.add macro2utf8 "simg" "âª\158" +let _ = Hashtbl.add macro2utf8 "Conint" "â\136¯" +let _ = Hashtbl.add macro2utf8 "Yuml" "Ÿ" +let _ = Hashtbl.add macro2utf8 "rlhar" "â\135\140" +let _ = Hashtbl.add macro2utf8 "rarrbfs" "⤠" +let _ = Hashtbl.add macro2utf8 "siml" "âª\157" +let _ = Hashtbl.add macro2utf8 "DownRightVectorBar" "â¥\151" +let _ = Hashtbl.add macro2utf8 "vscr" "ð\157\147\139" +let _ = Hashtbl.add macro2utf8 "divide" "÷" +let _ = Hashtbl.add macro2utf8 "PlusMinus" "±" +let _ = Hashtbl.add macro2utf8 "ffr" "ð\157\148£" +let _ = Hashtbl.add macro2utf8 "DownLeftTeeVector" "â¥\158" +let _ = Hashtbl.add macro2utf8 "EmptySmallSquare" "â\151½" +let _ = Hashtbl.add macro2utf8 "SHCHcy" "Щ" +let _ = Hashtbl.add macro2utf8 "cirmid" "⫯" +let _ = Hashtbl.add macro2utf8 "sigmav" "Ï\130" +let _ = Hashtbl.add macro2utf8 "csub" "â«\143" +let _ = Hashtbl.add macro2utf8 "npar" "â\136¦" +let _ = Hashtbl.add macro2utf8 "bsemi" "â\129\143" +let _ = Hashtbl.add macro2utf8 "swArr" "â\135\153" +let _ = Hashtbl.add macro2utf8 "Pcy" "Ð\159" +let _ = Hashtbl.add macro2utf8 "sinh" "sinh" +let _ = Hashtbl.add macro2utf8 "lharul" "⥪" +let _ = Hashtbl.add macro2utf8 "Jukcy" "Ð\132" +let _ = Hashtbl.add macro2utf8 "permil" "â\128°" +let _ = Hashtbl.add macro2utf8 "Aring" "Ã\133" +let _ = Hashtbl.add macro2utf8 "longmapsto" "????" +let _ = Hashtbl.add macro2utf8 "longmapsto" "ï\149½" +let _ = Hashtbl.add macro2utf8 "Esim" "⩳" +let _ = Hashtbl.add macro2utf8 "csup" "â«\144" +let _ = Hashtbl.add macro2utf8 "trie" "â\137\156" +let _ = Hashtbl.add macro2utf8 "ubrcy" "Ñ\158" +let _ = Hashtbl.add macro2utf8 "NotEqualTilde" "â\137\130̸" +let _ = Hashtbl.add macro2utf8 "dotminus" "â\136¸" +let _ = Hashtbl.add macro2utf8 "diamondsuit" "â\153¢" +let _ = Hashtbl.add macro2utf8 "diamondsuit" "â\153¦" +let _ = Hashtbl.add macro2utf8 "xnis" "â\139»" +let _ = Hashtbl.add macro2utf8 "Eogon" "Ä\152" +let _ = Hashtbl.add macro2utf8 "cuvee" "â\139\142" +let _ = Hashtbl.add macro2utf8 "DZcy" "Ð\143" +let _ = Hashtbl.add macro2utf8 "nRightarrow" "â\135\143" +let _ = Hashtbl.add macro2utf8 "sqsupe" "â\138\146" +let _ = Hashtbl.add macro2utf8 "nsccue" "â\139¡" +let _ = Hashtbl.add macro2utf8 "drcrop" "â\140\140" +let _ = Hashtbl.add macro2utf8 "DownBreve" "Ì\145" +let _ = Hashtbl.add macro2utf8 "Ecy" "Э" +let _ = Hashtbl.add macro2utf8 "rdquor" "â\128\157" +let _ = Hashtbl.add macro2utf8 "rAtail" "â¤\156" +let _ = Hashtbl.add macro2utf8 "icirc" "î" +let _ = Hashtbl.add macro2utf8 "gacute" "ǵ" +let _ = Hashtbl.add macro2utf8 "hyphen" "â\128\144" +let _ = Hashtbl.add macro2utf8 "uuml" "ü" +let _ = Hashtbl.add macro2utf8 "thorn" "þ" +let _ = Hashtbl.add macro2utf8 "ltri" "â\151\131" +let _ = Hashtbl.add macro2utf8 "eqslantgtr" "â\139\157" +let _ = Hashtbl.add macro2utf8 "DoubleContourIntegral" "â\136¯" +let _ = Hashtbl.add macro2utf8 "lescc" "⪨" +let _ = Hashtbl.add macro2utf8 "DiacriticalGrave" "`" +let _ = Hashtbl.add macro2utf8 "NotPrecedesEqual" "⪯̸" +let _ = Hashtbl.add macro2utf8 "RightArrow" "â\134\146" +let _ = Hashtbl.add macro2utf8 "race" "â§\154" +let _ = Hashtbl.add macro2utf8 "topbot" "â\140¶" +let _ = Hashtbl.add macro2utf8 "Pfr" "ð\157\148\147" +let _ = Hashtbl.add macro2utf8 "napprox" "â\137\137" +let _ = Hashtbl.add macro2utf8 "Sacute" "Å\154" +let _ = Hashtbl.add macro2utf8 "cupor" "â©\133" +let _ = Hashtbl.add macro2utf8 "OverBar" "¯" +let _ = Hashtbl.add macro2utf8 "bepsi" "϶" +let _ = Hashtbl.add macro2utf8 "plankv" "â\132\143" +let _ = Hashtbl.add macro2utf8 "lap" "â\137²" +let _ = Hashtbl.add macro2utf8 "beta" "β" +let _ = Hashtbl.add macro2utf8 "orslope" "â©\151" +let _ = Hashtbl.add macro2utf8 "beta" "β" +let _ = Hashtbl.add macro2utf8 "perp" "â\138¥" +let _ = Hashtbl.add macro2utf8 "ShortDownArrow" "â\140\132ï¸\128" +let _ = Hashtbl.add macro2utf8 "perp" "â\138¥" +let _ = Hashtbl.add macro2utf8 "lat" "⪫" +let _ = Hashtbl.add macro2utf8 "CenterDot" "·" +let _ = Hashtbl.add macro2utf8 "models" "â\138§" +let _ = Hashtbl.add macro2utf8 "urcorner" "â\140\157" +let _ = Hashtbl.add macro2utf8 "models" "â\138§" +let _ = Hashtbl.add macro2utf8 "beth" "â\132¶" +let _ = Hashtbl.add macro2utf8 "subE" "â\138\134" +let _ = Hashtbl.add macro2utf8 "subnE" "â\138\138" +let _ = Hashtbl.add macro2utf8 "ldots" "â\128¦" +let _ = Hashtbl.add macro2utf8 "yacy" "Ñ\143" +let _ = Hashtbl.add macro2utf8 "udhar" "⥮" +let _ = Hashtbl.add macro2utf8 "Scedil" "Å\158" +let _ = Hashtbl.add macro2utf8 "subsub" "â«\149" +let _ = Hashtbl.add macro2utf8 "nvrtrie" "â\139­Ì¸" +let _ = Hashtbl.add macro2utf8 "Phi" "Φ" +let _ = Hashtbl.add macro2utf8 "Phi" "Φ" +let _ = Hashtbl.add macro2utf8 "Efr" "ð\157\148\136" +let _ = Hashtbl.add macro2utf8 "larrfs" "â¤\157" +let _ = Hashtbl.add macro2utf8 "angle" "â\136 " +let _ = Hashtbl.add macro2utf8 "angle" "â\136 " +let _ = Hashtbl.add macro2utf8 "TildeFullEqual" "â\137\133" +let _ = Hashtbl.add macro2utf8 "Jcirc" "Ä´" +let _ = Hashtbl.add macro2utf8 "THORN" "Ã\158" +let _ = Hashtbl.add macro2utf8 "acE" "â§\155" +let _ = Hashtbl.add macro2utf8 "Longleftrightarrow" "????" +let _ = Hashtbl.add macro2utf8 "Longleftrightarrow" "ï\149»" +let _ = Hashtbl.add macro2utf8 "xuplus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "searr" "â\134\152" +let _ = Hashtbl.add macro2utf8 "gvertneqq" "â\137©ï¸\128" +let _ = Hashtbl.add macro2utf8 "subsup" "â«\147" +let _ = Hashtbl.add macro2utf8 "NotSucceedsEqual" "⪰̸" +let _ = Hashtbl.add macro2utf8 "gtrsim" "â\137³" +let _ = Hashtbl.add macro2utf8 "nrArr" "â\135\143" +let _ = Hashtbl.add macro2utf8 "NotSquareSupersetEqual" "â\139£" +let _ = Hashtbl.add macro2utf8 "notindot" "â\139¶ï¸\128" +let _ = Hashtbl.add macro2utf8 "HARDcy" "Ъ" +let _ = Hashtbl.add macro2utf8 "jmath" "jï¸\128" +let _ = Hashtbl.add macro2utf8 "jmath" "jï¸\128" +let _ = Hashtbl.add macro2utf8 "aelig" "æ" +let _ = Hashtbl.add macro2utf8 "slarr" "â\134\144ï¸\128" +let _ = Hashtbl.add macro2utf8 "dlcrop" "â\140\141" +let _ = Hashtbl.add macro2utf8 "sube" "â\138\134" +let _ = Hashtbl.add macro2utf8 "cuepr" "â\139\158" +let _ = Hashtbl.add macro2utf8 "supsub" "â«\148" +let _ = Hashtbl.add macro2utf8 "trianglelefteq" "â\138´" +let _ = Hashtbl.add macro2utf8 "subne" "â\138\138" +let _ = Hashtbl.add macro2utf8 "between" "â\137¬" +let _ = Hashtbl.add macro2utf8 "measuredangle" "â\136¡" +let _ = Hashtbl.add macro2utf8 "swnwar" "⤪" +let _ = Hashtbl.add macro2utf8 "lcy" "л" +let _ = Hashtbl.add macro2utf8 "ccirc" "Ä\137" +let _ = Hashtbl.add macro2utf8 "larrhk" "â\134©" +let _ = Hashtbl.add macro2utf8 "DiacriticalTilde" "Ë\156" +let _ = Hashtbl.add macro2utf8 "brvbar" "¦" +let _ = Hashtbl.add macro2utf8 "triangledown" "â\150¿" +let _ = Hashtbl.add macro2utf8 "dtrif" "â\150¾" +let _ = Hashtbl.add macro2utf8 "Bopf" "ð\157\148¹" +let _ = Hashtbl.add macro2utf8 "xwedge" "â\139\128" +let _ = Hashtbl.add macro2utf8 "rightsquigarrow" "â\134\157" +let _ = Hashtbl.add macro2utf8 "acd" "â\136¿" +let _ = Hashtbl.add macro2utf8 "supsup" "â«\150" +let _ = Hashtbl.add macro2utf8 "UpEquilibrium" "⥮" +let _ = Hashtbl.add macro2utf8 "succ" "â\137»" +let _ = Hashtbl.add macro2utf8 "succ" "â\137»" +let _ = Hashtbl.add macro2utf8 "coprod" "â\136\144" +let _ = Hashtbl.add macro2utf8 "eqslantless" "â\139\156" +let _ = Hashtbl.add macro2utf8 "coprod" "â\136\144" +let _ = Hashtbl.add macro2utf8 "OpenCurlyDoubleQuote" "â\128\156" +let _ = Hashtbl.add macro2utf8 "NotGreaterSlantEqual" "â\137±" +let _ = Hashtbl.add macro2utf8 "solb" "â§\132" +let _ = Hashtbl.add macro2utf8 "HumpDownHump" "â\137\142" +let _ = Hashtbl.add macro2utf8 "gtrapprox" "â\137³" +let _ = Hashtbl.add macro2utf8 "Iopf" "ð\157\149\128" +let _ = Hashtbl.add macro2utf8 "leg" "â\139\154" +let _ = Hashtbl.add macro2utf8 "wfr" "ð\157\148´" +let _ = Hashtbl.add macro2utf8 "mapstoleft" "â\134¤" +let _ = Hashtbl.add macro2utf8 "gnapprox" "âª\138" +let _ = Hashtbl.add macro2utf8 "lgE" "âª\145" +let _ = Hashtbl.add macro2utf8 "CloseCurlyDoubleQuote" "â\128\157" +let _ = Hashtbl.add macro2utf8 "NotNestedLessLess" "â\146¡Ì¸" +let _ = Hashtbl.add macro2utf8 "acy" "а" +let _ = Hashtbl.add macro2utf8 "leq" "â\137¤" +let _ = Hashtbl.add macro2utf8 "leq" "â\137¤" +let _ = Hashtbl.add macro2utf8 "Popf" "â\132\153" +let _ = Hashtbl.add macro2utf8 "les" "⩽" +let _ = Hashtbl.add macro2utf8 "heartsuit" "â\153¡" +let _ = Hashtbl.add macro2utf8 "succcurlyeq" "â\137½" +let _ = Hashtbl.add macro2utf8 "heartsuit" "â\153¡" +let _ = Hashtbl.add macro2utf8 "angmsd" "â\136¡" +let _ = Hashtbl.add macro2utf8 "cuesc" "â\139\159" +let _ = Hashtbl.add macro2utf8 "lesseqgtr" "â\139\154" +let _ = Hashtbl.add macro2utf8 "vartriangleright" "â\138³" +let _ = Hashtbl.add macro2utf8 "csupe" "â«\146" +let _ = Hashtbl.add macro2utf8 "dashv" "â\138£" +let _ = Hashtbl.add macro2utf8 "rthree" "â\139\140" +let _ = Hashtbl.add macro2utf8 "Idot" "Ä°" +let _ = Hashtbl.add macro2utf8 "gtdot" "â\139\151" +let _ = Hashtbl.add macro2utf8 "dashv" "â\138£" +let _ = Hashtbl.add macro2utf8 "Odblac" "Å\144" +let _ = Hashtbl.add macro2utf8 "Lmidot" "Ä¿" +let _ = Hashtbl.add macro2utf8 "andd" "â©\156" +let _ = Hashtbl.add macro2utf8 "Wopf" "ð\157\149\142" +let _ = Hashtbl.add macro2utf8 "nvltrie" "â\139¬Ì¸" +let _ = Hashtbl.add macro2utf8 "nhpar" "⫲" +let _ = Hashtbl.add macro2utf8 "geqslant" "⩾" +let _ = Hashtbl.add macro2utf8 "xlArr" "ï\149¹" +let _ = Hashtbl.add macro2utf8 "SquareSubset" "â\138\143" +let _ = Hashtbl.add macro2utf8 "intcal" "â\138º" +let _ = Hashtbl.add macro2utf8 "ljcy" "Ñ\153" +let _ = Hashtbl.add macro2utf8 "lfr" "ð\157\148©" +let _ = Hashtbl.add macro2utf8 "gtlPar" "â¦\149" +let _ = Hashtbl.add macro2utf8 "zigrarr" "â\135\157" +let _ = Hashtbl.add macro2utf8 "nvap" "â\137\137̸" +let _ = Hashtbl.add macro2utf8 "boxtimes" "â\138 " +let _ = Hashtbl.add macro2utf8 "raquo" "»" +let _ = Hashtbl.add macro2utf8 "CircleMinus" "â\138\150" +let _ = Hashtbl.add macro2utf8 "centerdot" "·" +let _ = Hashtbl.add macro2utf8 "xoplus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "simdot" "⩪" +let _ = Hashtbl.add macro2utf8 "Vcy" "Ð\146" +let _ = Hashtbl.add macro2utf8 "profline" "â\140\146" +let _ = Hashtbl.add macro2utf8 "ltquest" "â©»" +let _ = Hashtbl.add macro2utf8 "andv" "â©\154" +let _ = Hashtbl.add macro2utf8 "lessgtr" "â\137¶" +let _ = Hashtbl.add macro2utf8 "lesdoto" "âª\129" +let _ = Hashtbl.add macro2utf8 "bullet" "â\128¢" +let _ = Hashtbl.add macro2utf8 "NotSquareSubset" "â\138\143̸" +let _ = Hashtbl.add macro2utf8 "bullet" "â\128¢" +let _ = Hashtbl.add macro2utf8 "rarrsim" "⥴" +let _ = Hashtbl.add macro2utf8 "Tcedil" "Å¢" +let _ = Hashtbl.add macro2utf8 "Hstrok" "Ħ" +let _ = Hashtbl.add macro2utf8 "eopf" "ð\157\149\150" +let _ = Hashtbl.add macro2utf8 "Theta" "Î\152" +let _ = Hashtbl.add macro2utf8 "Theta" "Î\152" +let _ = Hashtbl.add macro2utf8 "Cscr" "ð\157\146\158" +let _ = Hashtbl.add macro2utf8 "emacr" "Ä\147" +let _ = Hashtbl.add macro2utf8 "UnionPlus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "Vee" "â\139\129" +let _ = Hashtbl.add macro2utf8 "arctan" "arctan" +let _ = Hashtbl.add macro2utf8 "afr" "ð\157\148\158" +let _ = Hashtbl.add macro2utf8 "thinsp" "â\128\137" +let _ = Hashtbl.add macro2utf8 "bottom" "â\138¥" +let _ = Hashtbl.add macro2utf8 "lopf" "ð\157\149\157" +let _ = Hashtbl.add macro2utf8 "larrlp" "â\134«" +let _ = Hashtbl.add macro2utf8 "lbrace" "{" +let _ = Hashtbl.add macro2utf8 "lbrace" "{" +let _ = Hashtbl.add macro2utf8 "Jscr" "ð\157\146¥" +let _ = Hashtbl.add macro2utf8 "Kcy" "Ð\154" +let _ = Hashtbl.add macro2utf8 "shortparallel" "â\136¥ï¸\128" +let _ = Hashtbl.add macro2utf8 "hairsp" "â\128\138" +let _ = Hashtbl.add macro2utf8 "lbrack" "[" +let _ = Hashtbl.add macro2utf8 "osol" "â\138\152" +let _ = Hashtbl.add macro2utf8 "lbrack" "[" +let _ = Hashtbl.add macro2utf8 "hArr" "â\135\148" +let _ = Hashtbl.add macro2utf8 "vdash" "â\138¢" +let _ = Hashtbl.add macro2utf8 "vdash" "â\138¢" +let _ = Hashtbl.add macro2utf8 "UpDownArrow" "â\134\149" +let _ = Hashtbl.add macro2utf8 "edot" "Ä\151" +let _ = Hashtbl.add macro2utf8 "vzigzag" "â¦\154" +let _ = Hashtbl.add macro2utf8 "sopf" "ð\157\149¤" +let _ = Hashtbl.add macro2utf8 "NotLessGreater" "â\137¸" +let _ = Hashtbl.add macro2utf8 "Qscr" "ð\157\146¬" +let _ = Hashtbl.add macro2utf8 "Gammad" "Ï\156" +let _ = Hashtbl.add macro2utf8 "SubsetEqual" "â\138\134" +let _ = Hashtbl.add macro2utf8 "uplus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "uplus" "â\138\142" +let _ = Hashtbl.add macro2utf8 "LeftTriangle" "â\138²" +let _ = Hashtbl.add macro2utf8 "ange" "⦤" +let _ = Hashtbl.add macro2utf8 "lim" "lim" +let _ = Hashtbl.add macro2utf8 "triangleright" "â\150¹" +let _ = Hashtbl.add macro2utf8 "triangleright" "â\150¹" +let _ = Hashtbl.add macro2utf8 "angrt" "â\136\159" +let _ = Hashtbl.add macro2utf8 "rfloor" "â\140\139" +let _ = Hashtbl.add macro2utf8 "bigtriangledown" "â\150½" +let _ = Hashtbl.add macro2utf8 "rfloor" "â\140\139" +let _ = Hashtbl.add macro2utf8 "bigtriangledown" "â\150½" +let _ = Hashtbl.add macro2utf8 "ofcir" "⦿" +let _ = Hashtbl.add macro2utf8 "Vfr" "ð\157\148\153" +let _ = Hashtbl.add macro2utf8 "zopf" "ð\157\149«" +let _ = Hashtbl.add macro2utf8 "UpArrowDownArrow" "â\135\133" +let _ = Hashtbl.add macro2utf8 "Xscr" "ð\157\146³" +let _ = Hashtbl.add macro2utf8 "digamma" "Ï\156" +let _ = Hashtbl.add macro2utf8 "SmallCircle" "â\136\152" +let _ = Hashtbl.add macro2utf8 "vArr" "â\135\149" +let _ = Hashtbl.add macro2utf8 "eqsim" "â\137\130" +let _ = Hashtbl.add macro2utf8 "downharpoonright" "â\135\130" +let _ = Hashtbl.add macro2utf8 "Ccaron" "Ä\140" +let _ = Hashtbl.add macro2utf8 "frown" "â\140¢" +let _ = Hashtbl.add macro2utf8 "sdot" "â\139\133" +let _ = Hashtbl.add macro2utf8 "frown" "â\140¢" +let _ = Hashtbl.add macro2utf8 "angst" "â\132«" +let _ = Hashtbl.add macro2utf8 "lesges" "âª\147" +let _ = Hashtbl.add macro2utf8 "iacute" "í" +let _ = Hashtbl.add macro2utf8 "wedge" "â\136§" +let _ = Hashtbl.add macro2utf8 "wedge" "â\136§" +let _ = Hashtbl.add macro2utf8 "ssetmn" "â\136\150ï¸\128" +let _ = Hashtbl.add macro2utf8 "rotimes" "⨵" +let _ = Hashtbl.add macro2utf8 "laquo" "«" +let _ = Hashtbl.add macro2utf8 "bigstar" "â\152\133" +let _ = Hashtbl.add macro2utf8 "Rrightarrow" "â\135\155" +let _ = Hashtbl.add macro2utf8 "erDot" "â\137\147" +let _ = Hashtbl.add macro2utf8 "subseteq" "â\138\134" +let _ = Hashtbl.add macro2utf8 "subseteq" "â\138\134" +let _ = Hashtbl.add macro2utf8 "leftharpoondown" "â\134½" +let _ = Hashtbl.add macro2utf8 "infin" "â\136\158" +let _ = Hashtbl.add macro2utf8 "zdot" "ż" +let _ = Hashtbl.add macro2utf8 "solbar" "â\140¿" +let _ = Hashtbl.add macro2utf8 "Iuml" "Ã\143" +let _ = Hashtbl.add macro2utf8 "Kfr" "ð\157\148\142" +let _ = Hashtbl.add macro2utf8 "fscr" "ð\157\146»" +let _ = Hashtbl.add macro2utf8 "DJcy" "Ð\130" +let _ = Hashtbl.add macro2utf8 "veeeq" "â\137\154" +let _ = Hashtbl.add macro2utf8 "Star" "â\139\134" +let _ = Hashtbl.add macro2utf8 "lsquor" "â\128\154" +let _ = Hashtbl.add macro2utf8 "Uacute" "Ã\154" +let _ = Hashtbl.add macro2utf8 "weierp" "â\132\152" +let _ = Hashtbl.add macro2utf8 "rang" "â\140ª" +let _ = Hashtbl.add macro2utf8 "hamilt" "â\132\139" +let _ = Hashtbl.add macro2utf8 "angsph" "â\136¢" +let _ = Hashtbl.add macro2utf8 "YUcy" "Ю" +let _ = Hashtbl.add macro2utf8 "Wcirc" "Å´" +let _ = Hashtbl.add macro2utf8 "supsetneq" "â\138\139" +let _ = Hashtbl.add macro2utf8 "gap" "â\137³" +let _ = Hashtbl.add macro2utf8 "mscr" "ð\157\147\130" +let _ = Hashtbl.add macro2utf8 "KJcy" "Ð\140" +let _ = Hashtbl.add macro2utf8 "qprime" "â\129\151" +let _ = Hashtbl.add macro2utf8 "EqualTilde" "â\137\130" +let _ = Hashtbl.add macro2utf8 "vBar" "⫨" +let _ = Hashtbl.add macro2utf8 "larrpl" "⤹" +let _ = Hashtbl.add macro2utf8 "approx" "â\137\136" +let _ = Hashtbl.add macro2utf8 "nvge" "â\137±" +let _ = Hashtbl.add macro2utf8 "approx" "â\137\136" +let _ = Hashtbl.add macro2utf8 "lnE" "â\137¨" +let _ = Hashtbl.add macro2utf8 "NotGreaterLess" "â\137¹" +let _ = Hashtbl.add macro2utf8 "epar" "â\139\149" +let _ = Hashtbl.add macro2utf8 "bigotimes" "â\138\151" +let _ = Hashtbl.add macro2utf8 "bigotimes" "â\138\151" +let _ = Hashtbl.add macro2utf8 "xharr" "ï\149¸" +let _ = Hashtbl.add macro2utf8 "roang" "ï\149\153" +let _ = Hashtbl.add macro2utf8 "xcup" "â\139\131" +let _ = Hashtbl.add macro2utf8 "tscr" "ð\157\147\137" +let _ = Hashtbl.add macro2utf8 "thkap" "â\137\136ï¸\128" +let _ = Hashtbl.add macro2utf8 "Aacute" "Ã\129" +let _ = Hashtbl.add macro2utf8 "rcy" "Ñ\128" +let _ = Hashtbl.add macro2utf8 "jukcy" "Ñ\148" +let _ = Hashtbl.add macro2utf8 "hookleftarrow" "â\134©" +let _ = Hashtbl.add macro2utf8 "hookleftarrow" "â\134©" +let _ = Hashtbl.add macro2utf8 "napid" "â\137\139̸" +let _ = Hashtbl.add macro2utf8 "tscy" "Ñ\134" +let _ = Hashtbl.add macro2utf8 "nvgt" "â\137¯" +let _ = Hashtbl.add macro2utf8 "lpar" "(" +let _ = Hashtbl.add macro2utf8 "ldsh" "â\134²" +let _ = Hashtbl.add macro2utf8 "aring" "Ã¥" +let _ = Hashtbl.add macro2utf8 "nGg" "â\139\153̸" +let _ = Hashtbl.add macro2utf8 "LessEqualGreater" "â\139\154" +let _ = Hashtbl.add macro2utf8 "gcd" "gcd" +let _ = Hashtbl.add macro2utf8 "oplus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "oplus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "lcaron" "ľ" +let _ = Hashtbl.add macro2utf8 "DownArrow" "â\134\147" +let _ = Hashtbl.add macro2utf8 "Psi" "Ψ" +let _ = Hashtbl.add macro2utf8 "xutri" "â\150³" +let _ = Hashtbl.add macro2utf8 "Psi" "Ψ" +let _ = Hashtbl.add macro2utf8 "lesssim" "â\137²" +let _ = Hashtbl.add macro2utf8 "topcir" "⫱" +let _ = Hashtbl.add macro2utf8 "puncsp" "â\128\136" +let _ = Hashtbl.add macro2utf8 "origof" "â\138¶" +let _ = Hashtbl.add macro2utf8 "gnsim" "â\139§" +let _ = Hashtbl.add macro2utf8 "eogon" "Ä\153" +let _ = Hashtbl.add macro2utf8 "spar" "â\136¥ï¸\128" +let _ = Hashtbl.add macro2utf8 "LowerRightArrow" "â\134\152" +let _ = Hashtbl.add macro2utf8 "Lleftarrow" "â\135\154" +let _ = Hashtbl.add macro2utf8 "nGt" "â\137«Ì¸" +let _ = Hashtbl.add macro2utf8 "euml" "ë" +let _ = Hashtbl.add macro2utf8 "reg" "®" +let _ = Hashtbl.add macro2utf8 "exponentiale" "â\133\135" +let _ = Hashtbl.add macro2utf8 "qint" "â¨\140" +let _ = Hashtbl.add macro2utf8 "sqcups" "â\138\148ï¸\128" +let _ = Hashtbl.add macro2utf8 "lne" "â\137¨" +let _ = Hashtbl.add macro2utf8 "LessSlantEqual" "⩽" +let _ = Hashtbl.add macro2utf8 "Egrave" "Ã\136" +let _ = Hashtbl.add macro2utf8 "orderof" "â\132´" +let _ = Hashtbl.add macro2utf8 "cirE" "â§\131" +let _ = Hashtbl.add macro2utf8 "nleqslant" "â\137°" +let _ = Hashtbl.add macro2utf8 "gcy" "г" +let _ = Hashtbl.add macro2utf8 "curvearrowright" "â\134·" +let _ = Hashtbl.add macro2utf8 "ratail" "â\134£" +let _ = Hashtbl.add macro2utf8 "emsp13" "â\128\132" +let _ = Hashtbl.add macro2utf8 "sdotb" "â\138¡" +let _ = Hashtbl.add macro2utf8 "horbar" "â\128\149" +let _ = Hashtbl.add macro2utf8 "emsp14" "â\128\133" +let _ = Hashtbl.add macro2utf8 "npre" "⪯̸" +let _ = Hashtbl.add macro2utf8 "rbrksld" "â¦\142" +let _ = Hashtbl.add macro2utf8 "sdote" "⩦" +let _ = Hashtbl.add macro2utf8 "varsupsetneqq" "â\138\139ï¸\128" +let _ = Hashtbl.add macro2utf8 "VeryThinSpace" "â\128\138" +let _ = Hashtbl.add macro2utf8 "DownArrowBar" "â¤\147" +let _ = Hashtbl.add macro2utf8 "Rightarrow" "â\135\146" +let _ = Hashtbl.add macro2utf8 "Rightarrow" "â\135\146" +let _ = Hashtbl.add macro2utf8 "ocir" "â\138\154" +let _ = Hashtbl.add macro2utf8 "NotHumpDownHump" "â\137\142̸" +let _ = Hashtbl.add macro2utf8 "darr" "â\134\147" +let _ = Hashtbl.add macro2utf8 "geqq" "â\137§" +let _ = Hashtbl.add macro2utf8 "sup1" "¹" +let _ = Hashtbl.add macro2utf8 "log" "log" +let _ = Hashtbl.add macro2utf8 "sup2" "²" +let _ = Hashtbl.add macro2utf8 "micro" "µ" +let _ = Hashtbl.add macro2utf8 "amp" "&" +let _ = Hashtbl.add macro2utf8 "arccos" "arccos" +let _ = Hashtbl.add macro2utf8 "sup3" "³" +let _ = Hashtbl.add macro2utf8 "GreaterTilde" "â\137³" +let _ = Hashtbl.add macro2utf8 "circeq" "â\137\151" +let _ = Hashtbl.add macro2utf8 "rfr" "ð\157\148¯" +let _ = Hashtbl.add macro2utf8 "dash" "â\128\144" +let _ = Hashtbl.add macro2utf8 "rbrkslu" "â¦\144" +let _ = Hashtbl.add macro2utf8 "Dcaron" "Ä\142" +let _ = Hashtbl.add macro2utf8 "and" "â\136§" +let _ = Hashtbl.add macro2utf8 "Vbar" "â««" +let _ = Hashtbl.add macro2utf8 "angzarr" "â\141¼" +let _ = Hashtbl.add macro2utf8 "gel" "â\139\155" +let _ = Hashtbl.add macro2utf8 "ang" "â\136 " +let _ = Hashtbl.add macro2utf8 "lor" "â\136¨" +let _ = Hashtbl.add macro2utf8 "circ" "^" +let _ = Hashtbl.add macro2utf8 "circ" "^" +let _ = Hashtbl.add macro2utf8 "upharpoonright" "â\134¾" +let _ = Hashtbl.add macro2utf8 "dblac" "Ë\157" +let _ = Hashtbl.add macro2utf8 "subsetneqq" "â\138\138" +let _ = Hashtbl.add macro2utf8 "rhard" "â\135\129" +let _ = Hashtbl.add macro2utf8 "Intersection" "â\139\130" +let _ = Hashtbl.add macro2utf8 "cire" "â\137\151" +let _ = Hashtbl.add macro2utf8 "apE" "â\137\138" +let _ = Hashtbl.add macro2utf8 "geq" "â\137¥" +let _ = Hashtbl.add macro2utf8 "sung" "â\153ª" +let _ = Hashtbl.add macro2utf8 "geq" "â\137¥" +let _ = Hashtbl.add macro2utf8 "succsim" "â\137¿" +let _ = Hashtbl.add macro2utf8 "ges" "⩾" +let _ = Hashtbl.add macro2utf8 "Gbreve" "Ä\158" +let _ = Hashtbl.add macro2utf8 "intercal" "â\138º" +let _ = Hashtbl.add macro2utf8 "supE" "â\138\135" +let _ = Hashtbl.add macro2utf8 "NotCupCap" "â\137­" +let _ = Hashtbl.add macro2utf8 "loz" "â\151\138" +let _ = Hashtbl.add macro2utf8 "capcup" "â©\135" +let _ = Hashtbl.add macro2utf8 "larrtl" "â\134¢" +let _ = Hashtbl.add macro2utf8 "AElig" "Ã\134" +let _ = Hashtbl.add macro2utf8 "rarr" "â\134\146" +let _ = Hashtbl.add macro2utf8 "varkappa" "Ï°" +let _ = Hashtbl.add macro2utf8 "upsi" "Ï\133" +let _ = Hashtbl.add macro2utf8 "loang" "ï\149\152" +let _ = Hashtbl.add macro2utf8 "looparrowleft" "â\134«" +let _ = Hashtbl.add macro2utf8 "IOcy" "Ð\129" +let _ = Hashtbl.add macro2utf8 "backprime" "â\128µ" +let _ = Hashtbl.add macro2utf8 "sstarf" "â\139\134" +let _ = Hashtbl.add macro2utf8 "rharu" "â\135\128" +let _ = Hashtbl.add macro2utf8 "gesl" "â\139\155ï¸\128" +let _ = Hashtbl.add macro2utf8 "xotime" "â\138\151" +let _ = Hashtbl.add macro2utf8 "minus" "â\136\146" +let _ = Hashtbl.add macro2utf8 "gvnE" "â\137©ï¸\128" +let _ = Hashtbl.add macro2utf8 "gfr" "ð\157\148¤" +let _ = Hashtbl.add macro2utf8 "lfisht" "⥼" +let _ = Hashtbl.add macro2utf8 "jcirc" "ĵ" +let _ = Hashtbl.add macro2utf8 "roarr" "â\135¾" +let _ = Hashtbl.add macro2utf8 "rho" "Ï\129" +let _ = Hashtbl.add macro2utf8 "rho" "Ï\129" +let _ = Hashtbl.add macro2utf8 "nvle" "â\137°" +let _ = Hashtbl.add macro2utf8 "sect" "§" +let _ = Hashtbl.add macro2utf8 "ggg" "â\139\153" +let _ = Hashtbl.add macro2utf8 "plusb" "â\138\158" +let _ = Hashtbl.add macro2utf8 "NotTildeFullEqual" "â\137\135" +let _ = Hashtbl.add macro2utf8 "NegativeVeryThinSpace" "â\128\138ï¸\128" +let _ = Hashtbl.add macro2utf8 "ape" "â\137\138" +let _ = Hashtbl.add macro2utf8 "pluse" "⩲" +let _ = Hashtbl.add macro2utf8 "dollar" "$" +let _ = Hashtbl.add macro2utf8 "divonx" "â\139\135" +let _ = Hashtbl.add macro2utf8 "partial" "â\136\130" +let _ = Hashtbl.add macro2utf8 "DoubleLeftRightArrow" "â\135\148" +let _ = Hashtbl.add macro2utf8 "varepsilon" "ε" +let _ = Hashtbl.add macro2utf8 "varepsilon" "É\155" +let _ = Hashtbl.add macro2utf8 "supe" "â\138\135" +let _ = Hashtbl.add macro2utf8 "nvlt" "â\137®" +let _ = Hashtbl.add macro2utf8 "angrtvb" "â¦\157ï¸\128" +let _ = Hashtbl.add macro2utf8 "gets" "â\134\144" +let _ = Hashtbl.add macro2utf8 "nparallel" "â\136¦" +let _ = Hashtbl.add macro2utf8 "varphi" "Ï\134" +let _ = Hashtbl.add macro2utf8 "varphi" "Ï\149" +let _ = Hashtbl.add macro2utf8 "nsupseteq" "â\138\137" +let _ = Hashtbl.add macro2utf8 "circledR" "®" +let _ = Hashtbl.add macro2utf8 "circledS" "â\147\136" +let _ = Hashtbl.add macro2utf8 "primes" "â\132\153" +let _ = Hashtbl.add macro2utf8 "cuwed" "â\139\143" +let _ = Hashtbl.add macro2utf8 "cupcap" "â©\134" +let _ = Hashtbl.add macro2utf8 "nLl" "â\139\152̸" +let _ = Hashtbl.add macro2utf8 "lozf" "⧫" +let _ = Hashtbl.add macro2utf8 "ShortLeftArrow" "â\134\144ï¸\128" +let _ = Hashtbl.add macro2utf8 "nLt" "â\137ªÌ¸" +let _ = Hashtbl.add macro2utf8 "lesdotor" "âª\131" +let _ = Hashtbl.add macro2utf8 "Fcy" "Ф" +let _ = Hashtbl.add macro2utf8 "scnsim" "â\139©" +let _ = Hashtbl.add macro2utf8 "VerticalLine" "|" +let _ = Hashtbl.add macro2utf8 "nwArr" "â\135\150" +let _ = Hashtbl.add macro2utf8 "LeftTeeArrow" "â\134¤" +let _ = Hashtbl.add macro2utf8 "iprod" "⨼" +let _ = Hashtbl.add macro2utf8 "lsh" "â\134°" +let _ = Hashtbl.add macro2utf8 "Congruent" "â\137¡" +let _ = Hashtbl.add macro2utf8 "NotLeftTriangle" "â\139ª" +let _ = Hashtbl.add macro2utf8 "rdldhar" "⥩" +let _ = Hashtbl.add macro2utf8 "varpropto" "â\136\157" +let _ = Hashtbl.add macro2utf8 "nvlArr" "â\135\141" +let _ = Hashtbl.add macro2utf8 "arg" "arg" +let _ = Hashtbl.add macro2utf8 "lhard" "â\134½" +let _ = Hashtbl.add macro2utf8 "surd" "????" +let _ = Hashtbl.add macro2utf8 "napos" "Å\137" +let _ = Hashtbl.add macro2utf8 "lparlt" "â¦\147" +let _ = Hashtbl.add macro2utf8 "hslash" "â\132\143" +let _ = Hashtbl.add macro2utf8 "Gopf" "ð\157\148¾" +let _ = Hashtbl.add macro2utf8 "SHcy" "Ш" +let _ = Hashtbl.add macro2utf8 "triangle" "â\150µ" +let _ = Hashtbl.add macro2utf8 "triangle" "â\150µ" +let _ = Hashtbl.add macro2utf8 "Qfr" "ð\157\148\148" +let _ = Hashtbl.add macro2utf8 "DiacriticalAcute" "´" +let _ = Hashtbl.add macro2utf8 "tbrk" "â\142´" +let _ = Hashtbl.add macro2utf8 "Implies" "â\135\146" +let _ = Hashtbl.add macro2utf8 "comp" "â\136\129" +let _ = Hashtbl.add macro2utf8 "ddarr" "â\135\138" +let _ = Hashtbl.add macro2utf8 "Colone" "â©´" +let _ = Hashtbl.add macro2utf8 "smashp" "⨳" +let _ = Hashtbl.add macro2utf8 "ccups" "â©\140" +let _ = Hashtbl.add macro2utf8 "triangleq" "â\137\156" +let _ = Hashtbl.add macro2utf8 "NotSquareSubsetEqual" "â\139¢" +let _ = Hashtbl.add macro2utf8 "Nopf" "â\132\149" +let _ = Hashtbl.add macro2utf8 "ZHcy" "Ð\150" +let _ = Hashtbl.add macro2utf8 "map" "â\134¦" +let _ = Hashtbl.add macro2utf8 "lharu" "â\134¼" +let _ = Hashtbl.add macro2utf8 "glE" "âª\146" +let _ = Hashtbl.add macro2utf8 "cong" "â\137\133" +let _ = Hashtbl.add macro2utf8 "cong" "â\137\133" +let _ = Hashtbl.add macro2utf8 "Ecaron" "Ä\154" +let _ = Hashtbl.add macro2utf8 "Uring" "Å®" +let _ = Hashtbl.add macro2utf8 "blacktriangleright" "â\150¸" +let _ = Hashtbl.add macro2utf8 "ntilde" "ñ" +let _ = Hashtbl.add macro2utf8 "max" "max" +let _ = Hashtbl.add macro2utf8 "loarr" "â\135½" +let _ = Hashtbl.add macro2utf8 "LeftArrow" "â\134\144" +let _ = Hashtbl.add macro2utf8 "Gdot" "Ä " +let _ = Hashtbl.add macro2utf8 "bigsqcup" "â\138\148" +let _ = Hashtbl.add macro2utf8 "Uopf" "ð\157\149\140" +let _ = Hashtbl.add macro2utf8 "bigsqcup" "â\138\148" +let _ = Hashtbl.add macro2utf8 "wedgeq" "â\137\153" +let _ = Hashtbl.add macro2utf8 "RoundImplies" "⥰" +let _ = Hashtbl.add macro2utf8 "prap" "â\137¾" +let _ = Hashtbl.add macro2utf8 "gescc" "⪩" +let _ = Hashtbl.add macro2utf8 "ast" "*" +let _ = Hashtbl.add macro2utf8 "realine" "â\132\155" +let _ = Hashtbl.add macro2utf8 "ast" "*" +let _ = Hashtbl.add macro2utf8 "subedot" "â«\131" +let _ = Hashtbl.add macro2utf8 "LeftTeeVector" "â¥\154" +let _ = Hashtbl.add macro2utf8 "female" "â\153\128" +let _ = Hashtbl.add macro2utf8 "circlearrowleft" "â\134º" +let _ = Hashtbl.add macro2utf8 "Ffr" "ð\157\148\137" +let _ = Hashtbl.add macro2utf8 "VDash" "â\138«" +let _ = Hashtbl.add macro2utf8 "jsercy" "Ñ\152" +let _ = Hashtbl.add macro2utf8 "Proportional" "â\136\157" +let _ = Hashtbl.add macro2utf8 "OverBracket" "â\142´" +let _ = Hashtbl.add macro2utf8 "gla" "⪥" +let _ = Hashtbl.add macro2utf8 "NotElement" "â\136\137" +let _ = Hashtbl.add macro2utf8 "theta" "θ" +let _ = Hashtbl.add macro2utf8 "theta" "θ" +let _ = Hashtbl.add macro2utf8 "kcedil" "Ä·" +let _ = Hashtbl.add macro2utf8 "smeparsl" "⧤" +let _ = Hashtbl.add macro2utf8 "rarrb" "â\135¥" +let _ = Hashtbl.add macro2utf8 "rarrc" "⤳" +let _ = Hashtbl.add macro2utf8 "ograve" "ò" +let _ = Hashtbl.add macro2utf8 "glj" "⪤" +let _ = Hashtbl.add macro2utf8 "infty" "â\136\158" +let _ = Hashtbl.add macro2utf8 "gnE" "â\137©" +let _ = Hashtbl.add macro2utf8 "copf" "ð\157\149\148" +let _ = Hashtbl.add macro2utf8 "LeftArrowRightArrow" "â\135\134" +let _ = Hashtbl.add macro2utf8 "cwconint" "â\136²" +let _ = Hashtbl.add macro2utf8 "Ascr" "ð\157\146\156" +let _ = Hashtbl.add macro2utf8 "NegativeThinSpace" "â\128\137ï¸\128" +let _ = Hashtbl.add macro2utf8 "varsubsetneq" "â\138\138ï¸\128" +let _ = Hashtbl.add macro2utf8 "trisb" "â§\141" +let _ = Hashtbl.add macro2utf8 "rightharpoonup" "â\135\128" +let _ = Hashtbl.add macro2utf8 "imagline" "â\132\144" +let _ = Hashtbl.add macro2utf8 "mcy" "м" +let _ = Hashtbl.add macro2utf8 "Cacute" "Ä\134" +let _ = Hashtbl.add macro2utf8 "bumpeq" "â\137\143" +let _ = Hashtbl.add macro2utf8 "jopf" "ð\157\149\155" +let _ = Hashtbl.add macro2utf8 "shchcy" "Ñ\137" +let _ = Hashtbl.add macro2utf8 "rarrw" "â\134\157" +let _ = Hashtbl.add macro2utf8 "doteq" "â\137\144" +let _ = Hashtbl.add macro2utf8 "uuarr" "â\135\136" +let _ = Hashtbl.add macro2utf8 "doteq" "â\137\144" +let _ = Hashtbl.add macro2utf8 "cudarrl" "⤸" +let _ = Hashtbl.add macro2utf8 "varsigma" "Ï\130" +let _ = Hashtbl.add macro2utf8 "varsigma" "Ï\130" +let _ = Hashtbl.add macro2utf8 "Hscr" "â\132\139" +let _ = Hashtbl.add macro2utf8 "DownArrowUpArrow" "â\135µ" +let _ = Hashtbl.add macro2utf8 "Ecirc" "Ã\138" +let _ = Hashtbl.add macro2utf8 "DD" "â\133\133" +let _ = Hashtbl.add macro2utf8 "copy" "©" +let _ = Hashtbl.add macro2utf8 "SquareIntersection" "â\138\147" +let _ = Hashtbl.add macro2utf8 "RightUpVector" "â\134¾" +let _ = Hashtbl.add macro2utf8 "NotSucceedsSlantEqual" "â\139¡" +let _ = Hashtbl.add macro2utf8 "cudarrr" "⤵" +let _ = Hashtbl.add macro2utf8 "verbar" "|" +let _ = Hashtbl.add macro2utf8 "ncaron" "Å\136" +let _ = Hashtbl.add macro2utf8 "cdot" "Ä\139" +let _ = Hashtbl.add macro2utf8 "prurel" "â\138°" +let _ = Hashtbl.add macro2utf8 "nearr" "â\134\151" +let _ = Hashtbl.add macro2utf8 "cdot" "Ä\139" +let _ = Hashtbl.add macro2utf8 "qopf" "ð\157\149¢" +let _ = Hashtbl.add macro2utf8 "SucceedsSlantEqual" "â\137½" +let _ = Hashtbl.add macro2utf8 "Oscr" "ð\157\146ª" +let _ = Hashtbl.add macro2utf8 "xfr" "ð\157\148µ" +let _ = Hashtbl.add macro2utf8 "gne" "â\137©" +let _ = Hashtbl.add macro2utf8 "Ccedil" "Ã\135" +let _ = Hashtbl.add macro2utf8 "nlarr" "â\134\154" +let _ = Hashtbl.add macro2utf8 "inodot" "ı" +let _ = Hashtbl.add macro2utf8 "prec" "â\137º" +let _ = Hashtbl.add macro2utf8 "prec" "â\137º" +let _ = Hashtbl.add macro2utf8 "percnt" "%" +let _ = Hashtbl.add macro2utf8 "Exists" "â\136\131" +let _ = Hashtbl.add macro2utf8 "bcy" "б" +let _ = Hashtbl.add macro2utf8 "xopf" "ð\157\149©" +let _ = Hashtbl.add macro2utf8 "nsimeq" "â\137\132" +let _ = Hashtbl.add macro2utf8 "nrtri" "â\139«" +let _ = Hashtbl.add macro2utf8 "barvee" "â\138½" +let _ = Hashtbl.add macro2utf8 "Vscr" "ð\157\146±" +let _ = Hashtbl.add macro2utf8 "Zcaron" "Ž" +let _ = Hashtbl.add macro2utf8 "ReverseElement" "â\136\139" +let _ = Hashtbl.add macro2utf8 "npolint" "â¨\148" +let _ = Hashtbl.add macro2utf8 "NotGreaterTilde" "â\137µ" +let _ = Hashtbl.add macro2utf8 "lmoustache" "â\142°" +let _ = Hashtbl.add macro2utf8 "forkv" "â«\153" +let _ = Hashtbl.add macro2utf8 "rmoustache" "â\142±" +let _ = Hashtbl.add macro2utf8 "DownLeftVectorBar" "â¥\150" +let _ = Hashtbl.add macro2utf8 "cosh" "cosh" +let _ = Hashtbl.add macro2utf8 "mfr" "ð\157\148ª" +let _ = Hashtbl.add macro2utf8 "LessGreater" "â\137¶" +let _ = Hashtbl.add macro2utf8 "zeetrf" "â\132¨" +let _ = Hashtbl.add macro2utf8 "DiacriticalDot" "Ë\153" +let _ = Hashtbl.add macro2utf8 "Poincareplane" "â\132\140" +let _ = Hashtbl.add macro2utf8 "curlyeqsucc" "â\139\159" +let _ = Hashtbl.add macro2utf8 "Equal" "⩵" +let _ = Hashtbl.add macro2utf8 "scpolint" "â¨\147" +let _ = Hashtbl.add macro2utf8 "ngsim" "â\137µ" +let _ = Hashtbl.add macro2utf8 "larrbfs" "â¤\159" +let _ = Hashtbl.add macro2utf8 "HilbertSpace" "â\132\139" +let _ = Hashtbl.add macro2utf8 "otilde" "õ" +let _ = Hashtbl.add macro2utf8 "larrb" "â\135¤" +let _ = Hashtbl.add macro2utf8 "wcirc" "ŵ" +let _ = Hashtbl.add macro2utf8 "dscr" "ð\157\146¹" +let _ = Hashtbl.add macro2utf8 "phmmat" "â\132³" +let _ = Hashtbl.add macro2utf8 "lacute" "ĺ" +let _ = Hashtbl.add macro2utf8 "tstrok" "ŧ" +let _ = Hashtbl.add macro2utf8 "NotDoubleVerticalBar" "â\136¦" +let _ = Hashtbl.add macro2utf8 "lagran" "â\132\146" +let _ = Hashtbl.add macro2utf8 "NotRightTriangle" "â\139«" +let _ = Hashtbl.add macro2utf8 "dscy" "Ñ\149" +let _ = Hashtbl.add macro2utf8 "rightrightarrows" "â\135\137" +let _ = Hashtbl.add macro2utf8 "seArr" "â\135\152" +let _ = Hashtbl.add macro2utf8 "RightTriangleBar" "â§\144" +let _ = Hashtbl.add macro2utf8 "coth" "coth" +let _ = Hashtbl.add macro2utf8 "swarrow" "â\134\153" +let _ = Hashtbl.add macro2utf8 "swarrow" "â\134\153" +let _ = Hashtbl.add macro2utf8 "semi" ";" +let _ = Hashtbl.add macro2utf8 "kscr" "ð\157\147\128" +let _ = Hashtbl.add macro2utf8 "NotLessEqual" "â\137°â\131¥" +let _ = Hashtbl.add macro2utf8 "cularr" "â\134¶" +let _ = Hashtbl.add macro2utf8 "blacklozenge" "⧫" +let _ = Hashtbl.add macro2utf8 "realpart" "â\132\156" +let _ = Hashtbl.add macro2utf8 "LeftTriangleEqual" "â\138´" +let _ = Hashtbl.add macro2utf8 "bfr" "ð\157\148\159" +let _ = Hashtbl.add macro2utf8 "Uuml" "Ã\156" +let _ = Hashtbl.add macro2utf8 "longleftrightarrow" "????" +let _ = Hashtbl.add macro2utf8 "longleftrightarrow" "ï\149¸" +let _ = Hashtbl.add macro2utf8 "lcedil" "ļ" +let _ = Hashtbl.add macro2utf8 "complement" "â\136\129" +let _ = Hashtbl.add macro2utf8 "rscr" "ð\157\147\135" +let _ = Hashtbl.add macro2utf8 "mho" "â\132§" +let _ = Hashtbl.add macro2utf8 "mcomma" "⨩" +let _ = Hashtbl.add macro2utf8 "wedbar" "â©\159" +let _ = Hashtbl.add macro2utf8 "NotVerticalBar" "â\136¤" +let _ = Hashtbl.add macro2utf8 "Lcy" "Ð\155" +let _ = Hashtbl.add macro2utf8 "Downarrow" "â\135\147" +let _ = Hashtbl.add macro2utf8 "tprime" "â\128´" +let _ = Hashtbl.add macro2utf8 "precneqq" "⪵" +let _ = Hashtbl.add macro2utf8 "Downarrow" "â\135\147" +let _ = Hashtbl.add macro2utf8 "rsh" "â\134±" +let _ = Hashtbl.add macro2utf8 "mid" "â\136£" +let _ = Hashtbl.add macro2utf8 "mid" "â\136£" +let _ = Hashtbl.add macro2utf8 "blank" "â\144£" +let _ = Hashtbl.add macro2utf8 "square" "â\150¡" +let _ = Hashtbl.add macro2utf8 "squarf" "â\150ª" +let _ = Hashtbl.add macro2utf8 "fflig" "ï¬\128" +let _ = Hashtbl.add macro2utf8 "downdownarrows" "â\135\138" +let _ = Hashtbl.add macro2utf8 "yscr" "ð\157\147\142" +let _ = Hashtbl.add macro2utf8 "subdot" "⪽" +let _ = Hashtbl.add macro2utf8 "ShortRightArrow" "â\134\146ï¸\128" +let _ = Hashtbl.add macro2utf8 "NotCongruent" "â\137¢" +let _ = Hashtbl.add macro2utf8 "Gg" "â\139\153" +let _ = Hashtbl.add macro2utf8 "Lstrok" "Å\129" +let _ = Hashtbl.add macro2utf8 "min" "max" +let _ = Hashtbl.add macro2utf8 "Laplacetrf" "â\132\146" +let _ = Hashtbl.add macro2utf8 "rarrap" "⥵" +let _ = Hashtbl.add macro2utf8 "NotLessSlantEqual" "â\137°" +let _ = Hashtbl.add macro2utf8 "DoubleRightArrow" "â\135\146" +let _ = Hashtbl.add macro2utf8 "Wfr" "ð\157\148\154" +let _ = Hashtbl.add macro2utf8 "subrarr" "⥹" +let _ = Hashtbl.add macro2utf8 "numsp" "â\128\135" +let _ = Hashtbl.add macro2utf8 "khcy" "Ñ\133" +let _ = Hashtbl.add macro2utf8 "oint" "â\136®" +let _ = Hashtbl.add macro2utf8 "oint" "â\136®" +let _ = Hashtbl.add macro2utf8 "vprop" "â\136\157" +let _ = Hashtbl.add macro2utf8 "hardcy" "Ñ\138" +let _ = Hashtbl.add macro2utf8 "boxminus" "â\138\159" +let _ = Hashtbl.add macro2utf8 "GreaterLess" "â\137·" +let _ = Hashtbl.add macro2utf8 "thetav" "Ï\145" +let _ = Hashtbl.add macro2utf8 "scE" "â\137¾" +let _ = Hashtbl.add macro2utf8 "Gt" "â\137«" +let _ = Hashtbl.add macro2utf8 "Acy" "Ð\144" +let _ = Hashtbl.add macro2utf8 "backcong" "â\137\140" +let _ = Hashtbl.add macro2utf8 "gtquest" "⩼" +let _ = Hashtbl.add macro2utf8 "awint" "â¨\145" +let _ = Hashtbl.add macro2utf8 "profsurf" "â\140\147" +let _ = Hashtbl.add macro2utf8 "capdot" "â©\128" +let _ = Hashtbl.add macro2utf8 "supdot" "⪾" +let _ = Hashtbl.add macro2utf8 "oelig" "Å\147" +let _ = Hashtbl.add macro2utf8 "doteqdot" "â\137\145" +let _ = Hashtbl.add macro2utf8 "rharul" "⥬" +let _ = Hashtbl.add macro2utf8 "cylcty" "â\140­" +let _ = Hashtbl.add macro2utf8 "epsi" "ε" +let _ = Hashtbl.add macro2utf8 "eqcirc" "â\137\150" +let _ = Hashtbl.add macro2utf8 "nLeftarrow" "â\135\141" +let _ = Hashtbl.add macro2utf8 "rtrie" "â\138µ" +let _ = Hashtbl.add macro2utf8 "para" "¶" +let _ = Hashtbl.add macro2utf8 "Lfr" "ð\157\148\143" +let _ = Hashtbl.add macro2utf8 "rtrif" "â\150¸" +let _ = Hashtbl.add macro2utf8 "NotReverseElement" "â\136\140" +let _ = Hashtbl.add macro2utf8 "emptyv" "â\136\133" +let _ = Hashtbl.add macro2utf8 "nldr" "â\128¥" +let _ = Hashtbl.add macro2utf8 "leqq" "â\137¦" +let _ = Hashtbl.add macro2utf8 "CapitalDifferentialD" "â\133\133" +let _ = Hashtbl.add macro2utf8 "supsetneqq" "â\138\139" +let _ = Hashtbl.add macro2utf8 "boxDL" "â\149\151" +let _ = Hashtbl.add macro2utf8 "Im" "â\132\145" +let _ = Hashtbl.add macro2utf8 "Im" "â\132\145" +let _ = Hashtbl.add macro2utf8 "sce" "â\137½" +let _ = Hashtbl.add macro2utf8 "prsim" "â\137¾" +let _ = Hashtbl.add macro2utf8 "diams" "â\153¦" +let _ = Hashtbl.add macro2utf8 "gtreqqless" "â\139\155" +let _ = Hashtbl.add macro2utf8 "boxDR" "â\149\148" +let _ = Hashtbl.add macro2utf8 "vartriangleleft" "â\138²" +let _ = Hashtbl.add macro2utf8 "Omega" "Ω" +let _ = Hashtbl.add macro2utf8 "SupersetEqual" "â\138\135" +let _ = Hashtbl.add macro2utf8 "Omega" "Ω" +let _ = Hashtbl.add macro2utf8 "nsubseteqq" "â\138\136" +let _ = Hashtbl.add macro2utf8 "Subset" "â\139\144" +let _ = Hashtbl.add macro2utf8 "ncongdot" "⩭̸" +let _ = Hashtbl.add macro2utf8 "minusb" "â\138\159" +let _ = Hashtbl.add macro2utf8 "ltimes" "â\139\137" +let _ = Hashtbl.add macro2utf8 "seswar" "⤩" +let _ = Hashtbl.add macro2utf8 "part" "â\136\130" +let _ = Hashtbl.add macro2utf8 "bumpE" "⪮" +let _ = Hashtbl.add macro2utf8 "minusd" "â\136¸" +let _ = Hashtbl.add macro2utf8 "Amacr" "Ä\128" +let _ = Hashtbl.add macro2utf8 "nleq" "â\137°â\131¥" +let _ = Hashtbl.add macro2utf8 "nles" "â\137°" +let _ = Hashtbl.add macro2utf8 "NotLess" "â\137®" +let _ = Hashtbl.add macro2utf8 "scy" "Ñ\129" +let _ = Hashtbl.add macro2utf8 "iinfin" "â§\156" +let _ = Hashtbl.add macro2utf8 "Afr" "ð\157\148\132" +let _ = Hashtbl.add macro2utf8 "isinsv" "â\139³" +let _ = Hashtbl.add macro2utf8 "prnE" "⪵" +let _ = Hashtbl.add macro2utf8 "lesg" "â\139\154ï¸\128" +let _ = Hashtbl.add macro2utf8 "cups" "â\136ªï¸\128" +let _ = Hashtbl.add macro2utf8 "thickapprox" "â\137\136ï¸\128" +let _ = Hashtbl.add macro2utf8 "RightTeeVector" "â¥\155" +let _ = Hashtbl.add macro2utf8 "LowerLeftArrow" "â\134\153" +let _ = Hashtbl.add macro2utf8 "bowtie" "â\139\136" +let _ = Hashtbl.add macro2utf8 "utdot" "â\139°" +let _ = Hashtbl.add macro2utf8 "homtht" "â\136»" +let _ = Hashtbl.add macro2utf8 "ddotseq" "â©·" +let _ = Hashtbl.add macro2utf8 "bowtie" "â\139\136" +let _ = Hashtbl.add macro2utf8 "succnsim" "â\139©" +let _ = Hashtbl.add macro2utf8 "boxDl" "â\149\150" +let _ = Hashtbl.add macro2utf8 "quot" "\"" +let _ = Hashtbl.add macro2utf8 "lvnE" "â\137¨ï¸\128" +let _ = Hashtbl.add macro2utf8 "CircleDot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "lsime" "âª\141" +let _ = Hashtbl.add macro2utf8 "Yacute" "Ã\157" +let _ = Hashtbl.add macro2utf8 "esdot" "â\137\144" +let _ = Hashtbl.add macro2utf8 "Supset" "â\139\145" +let _ = Hashtbl.add macro2utf8 "lsimg" "âª\143" +let _ = Hashtbl.add macro2utf8 "eDot" "â\137\145" +let _ = Hashtbl.add macro2utf8 "sec" "sec" +let _ = Hashtbl.add macro2utf8 "boxDr" "â\149\147" +let _ = Hashtbl.add macro2utf8 "ddagger" "â\128¡" +let _ = Hashtbl.add macro2utf8 "plus" "+" +let _ = Hashtbl.add macro2utf8 "ddagger" "â\128¡" +let _ = Hashtbl.add macro2utf8 "Vdashl" "⫦" +let _ = Hashtbl.add macro2utf8 "equest" "â\137\159" +let _ = Hashtbl.add macro2utf8 "quest" "?" +let _ = Hashtbl.add macro2utf8 "divideontimes" "â\139\135" +let _ = Hashtbl.add macro2utf8 "nsmid" "â\136¤ï¸\128" +let _ = Hashtbl.add macro2utf8 "fnof" "Æ\146" +let _ = Hashtbl.add macro2utf8 "bumpe" "â\137\143" +let _ = Hashtbl.add macro2utf8 "lhblk" "â\150\132" +let _ = Hashtbl.add macro2utf8 "prnap" "â\139¨" +let _ = Hashtbl.add macro2utf8 "compfn" "â\136\152" +let _ = Hashtbl.add macro2utf8 "nsucceq" "⪰̸" +let _ = Hashtbl.add macro2utf8 "RightArrowLeftArrow" "â\135\132" +let _ = Hashtbl.add macro2utf8 "sharp" "â\153¯" +let _ = Hashtbl.add macro2utf8 "sharp" "â\153¯" +let _ = Hashtbl.add macro2utf8 "CHcy" "Ч" +let _ = Hashtbl.add macro2utf8 "dwangle" "⦦" +let _ = Hashtbl.add macro2utf8 "angrtvbd" "â¦\157" +let _ = Hashtbl.add macro2utf8 "period" "." +let _ = Hashtbl.add macro2utf8 "phone" "â\152\142" +let _ = Hashtbl.add macro2utf8 "Eacute" "Ã\137" +let _ = Hashtbl.add macro2utf8 "dzigrarr" "ï\150¢" +let _ = Hashtbl.add macro2utf8 "Ll" "â\139\152" +let _ = Hashtbl.add macro2utf8 "succapprox" "â\137¿" +let _ = Hashtbl.add macro2utf8 "rarrfs" "â¤\158" +let _ = Hashtbl.add macro2utf8 "dbkarow" "â¤\143" +let _ = Hashtbl.add macro2utf8 "zeta" "ζ" +let _ = Hashtbl.add macro2utf8 "zeta" "ζ" +let _ = Hashtbl.add macro2utf8 "Lt" "â\137ª" +let _ = Hashtbl.add macro2utf8 "triminus" "⨺" +let _ = Hashtbl.add macro2utf8 "odiv" "⨸" +let _ = Hashtbl.add macro2utf8 "ltrie" "â\138´" +let _ = Hashtbl.add macro2utf8 "Dagger" "â\128¡" +let _ = Hashtbl.add macro2utf8 "Dagger" "â\128¡" +let _ = Hashtbl.add macro2utf8 "ltrif" "â\151\130" +let _ = Hashtbl.add macro2utf8 "boxHD" "â\149¦" +let _ = Hashtbl.add macro2utf8 "timesb" "â\138 " +let _ = Hashtbl.add macro2utf8 "check" "â\156\147" +let _ = Hashtbl.add macro2utf8 "urcorn" "â\140\157" +let _ = Hashtbl.add macro2utf8 "timesd" "⨰" +let _ = Hashtbl.add macro2utf8 "tshcy" "Ñ\155" +let _ = Hashtbl.add macro2utf8 "sfr" "ð\157\148°" +let _ = Hashtbl.add macro2utf8 "lmoust" "â\142°" +let _ = Hashtbl.add macro2utf8 "ruluhar" "⥨" +let _ = Hashtbl.add macro2utf8 "bne" "=â\131¥" +let _ = Hashtbl.add macro2utf8 "prod" "â\136\143" +let _ = Hashtbl.add macro2utf8 "prod" "â\136\143" +let _ = Hashtbl.add macro2utf8 "Eopf" "ð\157\148¼" +let _ = Hashtbl.add macro2utf8 "scsim" "â\137¿" +let _ = Hashtbl.add macro2utf8 "GreaterEqualLess" "â\139\155" +let _ = Hashtbl.add macro2utf8 "Igrave" "Ã\140" +let _ = Hashtbl.add macro2utf8 "Longrightarrow" "â\135\146" +let _ = Hashtbl.add macro2utf8 "Longrightarrow" "ï\149º" +let _ = Hashtbl.add macro2utf8 "bigcap" "â\139\130" +let _ = Hashtbl.add macro2utf8 "bigcap" "â\139\130" +let _ = Hashtbl.add macro2utf8 "boxHU" "â\149©" +let _ = Hashtbl.add macro2utf8 "uring" "ů" +let _ = Hashtbl.add macro2utf8 "equivDD" "⩸" +let _ = Hashtbl.add macro2utf8 "prop" "â\136\157" +let _ = Hashtbl.add macro2utf8 "Lopf" "ð\157\149\131" +let _ = Hashtbl.add macro2utf8 "ldrushar" "â¥\139" +let _ = Hashtbl.add macro2utf8 "Leftarrow" "â\135\144" +let _ = Hashtbl.add macro2utf8 "rarrhk" "â\134ª" +let _ = Hashtbl.add macro2utf8 "Leftarrow" "â\135\144" +let _ = Hashtbl.add macro2utf8 "lltri" "â\151º" +let _ = Hashtbl.add macro2utf8 "NestedGreaterGreater" "â\137«" +let _ = Hashtbl.add macro2utf8 "GreaterFullEqual" "â\137§" +let _ = Hashtbl.add macro2utf8 "robrk" "ã\128\155" +let _ = Hashtbl.add macro2utf8 "larrsim" "⥳" +let _ = Hashtbl.add macro2utf8 "boxHd" "â\149¤" +let _ = Hashtbl.add macro2utf8 "vDash" "â\138¨" +let _ = Hashtbl.add macro2utf8 "hfr" "ð\157\148¥" +let _ = Hashtbl.add macro2utf8 "Edot" "Ä\150" +let _ = Hashtbl.add macro2utf8 "Vvdash" "â\138ª" +let _ = Hashtbl.add macro2utf8 "Sopf" "ð\157\149\138" +let _ = Hashtbl.add macro2utf8 "upuparrows" "â\135\136" +let _ = Hashtbl.add macro2utf8 "RightUpTeeVector" "â¥\156" +let _ = Hashtbl.add macro2utf8 "DownLeftVector" "â\134½" +let _ = Hashtbl.add macro2utf8 "xhArr" "ï\149»" +let _ = Hashtbl.add macro2utf8 "triplus" "⨹" +let _ = Hashtbl.add macro2utf8 "bot" "â\138¥" +let _ = Hashtbl.add macro2utf8 "bot" "â\138¥" +let _ = Hashtbl.add macro2utf8 "Rcy" "Р" +let _ = Hashtbl.add macro2utf8 "eDDot" "â©·" +let _ = Hashtbl.add macro2utf8 "subseteqq" "â\138\134" +let _ = Hashtbl.add macro2utf8 "cirfnint" "â¨\144" +let _ = Hashtbl.add macro2utf8 "spadesuit" "â\153 " +let _ = Hashtbl.add macro2utf8 "spadesuit" "â\153 " +let _ = Hashtbl.add macro2utf8 "nacute" "Å\132" +let _ = Hashtbl.add macro2utf8 "Zopf" "â\132¤" +let _ = Hashtbl.add macro2utf8 "upharpoonleft" "â\134¿" +let _ = Hashtbl.add macro2utf8 "shy" "­" +let _ = Hashtbl.add macro2utf8 "nparsl" "â\136¥ï¸\128â\131¥" +let _ = Hashtbl.add macro2utf8 "boxHu" "â\149§" +let _ = Hashtbl.add macro2utf8 "ThickSpace" "â\128\137â\128\138â\128\138" +let _ = Hashtbl.add macro2utf8 "Or" "â©\148" +let _ = Hashtbl.add macro2utf8 "raemptyv" "⦳" +let _ = Hashtbl.add macro2utf8 "Aogon" "Ä\132" +let _ = Hashtbl.add macro2utf8 "IEcy" "Ð\149" +let _ = Hashtbl.add macro2utf8 "sim" "â\136¼" +let _ = Hashtbl.add macro2utf8 "sim" "â\136¼" +let _ = Hashtbl.add macro2utf8 "sin" "sin" +let _ = Hashtbl.add macro2utf8 "copysr" "â\132\151" +let _ = Hashtbl.add macro2utf8 "scnap" "â\139©" +let _ = Hashtbl.add macro2utf8 "rdquo" "â\128\157" +let _ = Hashtbl.add macro2utf8 "aopf" "ð\157\149\146" +let _ = Hashtbl.add macro2utf8 "Pi" "Π" +let _ = Hashtbl.add macro2utf8 "Pi" "Π" +let _ = Hashtbl.add macro2utf8 "Udblac" "Å°" +let _ = Hashtbl.add macro2utf8 "expectation" "â\132°" +let _ = Hashtbl.add macro2utf8 "Zacute" "Ź" +let _ = Hashtbl.add macro2utf8 "urtri" "â\151¹" +let _ = Hashtbl.add macro2utf8 "Gamma" "Î\147" +let _ = Hashtbl.add macro2utf8 "NotTildeEqual" "â\137\132" +let _ = Hashtbl.add macro2utf8 "ncedil" "Å\134" +let _ = Hashtbl.add macro2utf8 "Gamma" "Î\147" +let _ = Hashtbl.add macro2utf8 "ecirc" "ê" +let _ = Hashtbl.add macro2utf8 "dsol" "⧶" +let _ = Hashtbl.add macro2utf8 "Gcy" "Ð\147" +let _ = Hashtbl.add macro2utf8 "Pr" "Pr" +let _ = Hashtbl.add macro2utf8 "Pr" "⪻" +let _ = Hashtbl.add macro2utf8 "Zdot" "Å»" +let _ = Hashtbl.add macro2utf8 "mnplus" "â\136\147" +let _ = Hashtbl.add macro2utf8 "hopf" "ð\157\149\153" +let _ = Hashtbl.add macro2utf8 "blacktriangledown" "â\150¾" +let _ = Hashtbl.add macro2utf8 "LeftCeiling" "â\140\136" +let _ = Hashtbl.add macro2utf8 "searrow" "â\134\152" +let _ = Hashtbl.add macro2utf8 "ulcorn" "â\140\156" +let _ = Hashtbl.add macro2utf8 "searrow" "â\134\152" +let _ = Hashtbl.add macro2utf8 "GreaterGreater" "⪢" +let _ = Hashtbl.add macro2utf8 "Fscr" "â\132±" +let _ = Hashtbl.add macro2utf8 "cupcup" "â©\138" +let _ = Hashtbl.add macro2utf8 "NotEqual" "â\137 " +let _ = Hashtbl.add macro2utf8 "sext" "â\156¶" +let _ = Hashtbl.add macro2utf8 "CirclePlus" "â\138\149" +let _ = Hashtbl.add macro2utf8 "erarr" "⥱" +let _ = Hashtbl.add macro2utf8 "dArr" "â\135\147" +let _ = Hashtbl.add macro2utf8 "PrecedesSlantEqual" "â\137¼" +let _ = Hashtbl.add macro2utf8 "Itilde" "Ĩ" +let _ = Hashtbl.add macro2utf8 "gesdoto" "âª\130" +let _ = Hashtbl.add macro2utf8 "Rang" "ã\128\139" +let _ = Hashtbl.add macro2utf8 "nwarhk" "⤣" +let _ = Hashtbl.add macro2utf8 "minusdu" "⨪" +let _ = Hashtbl.add macro2utf8 "oopf" "ð\157\149 " +let _ = Hashtbl.add macro2utf8 "Mscr" "â\132³" +let _ = Hashtbl.add macro2utf8 "Rfr" "â\132\156" +let _ = Hashtbl.add macro2utf8 "langle" "â\140©" +let _ = Hashtbl.add macro2utf8 "langle" "â\140©" +let _ = Hashtbl.add macro2utf8 "And" "â©\147" +let _ = Hashtbl.add macro2utf8 "bprime" "â\128µ" +let _ = Hashtbl.add macro2utf8 "nLeftrightarrow" "â\135\142" +let _ = Hashtbl.add macro2utf8 "Re" "â\132\156" +let _ = Hashtbl.add macro2utf8 "Re" "â\132\156" +let _ = Hashtbl.add macro2utf8 "OpenCurlyQuote" "â\128\152" +let _ = Hashtbl.add macro2utf8 "vopf" "ð\157\149§" +let _ = Hashtbl.add macro2utf8 "ulcorner" "â\140\156" +let _ = Hashtbl.add macro2utf8 "nap" "â\137\137" +let _ = Hashtbl.add macro2utf8 "Tscr" "ð\157\146¯" +let _ = Hashtbl.add macro2utf8 "gtreqless" "â\139\155" +let _ = Hashtbl.add macro2utf8 "Lambda" "Î\155" +let _ = Hashtbl.add macro2utf8 "rarrlp" "â\134¬" +let _ = Hashtbl.add macro2utf8 "Lambda" "Î\155" +let _ = Hashtbl.add macro2utf8 "lobrk" "ã\128\154" +let _ = Hashtbl.add macro2utf8 "rbrace" "}" +let _ = Hashtbl.add macro2utf8 "rbrace" "}" +let _ = Hashtbl.add macro2utf8 "rArr" "â\135\146" +let _ = Hashtbl.add macro2utf8 "coloneq" "â\137\148" +let _ = Hashtbl.add macro2utf8 "odot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "UpArrow" "â\134\145" +let _ = Hashtbl.add macro2utf8 "odot" "â\138\153" +let _ = Hashtbl.add macro2utf8 "LeftDownTeeVector" "⥡" +let _ = Hashtbl.add macro2utf8 "complexes" "â\132\130" +let _ = Hashtbl.add macro2utf8 "rbrack" "]" +let _ = Hashtbl.add macro2utf8 "rbrack" "]" +let _ = Hashtbl.add macro2utf8 "DownTeeArrow" "â\134§" +let _ = Hashtbl.add macro2utf8 "sqcap" "â\138\147" +let _ = Hashtbl.add macro2utf8 "sqcap" "â\138\147" +let _ = Hashtbl.add macro2utf8 "Sc" "⪼" +let _ = Hashtbl.add macro2utf8 "ycy" "Ñ\139" +let _ = Hashtbl.add macro2utf8 "Prime" "â\128³" +let _ = Hashtbl.add macro2utf8 "Gfr" "ð\157\148\138" +let _ = Hashtbl.add macro2utf8 "trianglerighteq" "â\138µ" +let _ = Hashtbl.add macro2utf8 "rangd" "â¦\146" +let _ = Hashtbl.add macro2utf8 "gtrdot" "â\139\151" +let _ = Hashtbl.add macro2utf8 "range" "⦥" +let _ = Hashtbl.add macro2utf8 "rsqb" "]" +let _ = Hashtbl.add macro2utf8 "Euml" "Ã\139" +let _ = Hashtbl.add macro2utf8 "Therefore" "â\136´" +let _ = Hashtbl.add macro2utf8 "nesim" "â\137\130̸" +let _ = Hashtbl.add macro2utf8 "order" "â\132´" +let _ = Hashtbl.add macro2utf8 "vsupnE" "â\138\139ï¸\128" +let _ = Hashtbl.add macro2utf8 "awconint" "â\136³" +let _ = Hashtbl.add macro2utf8 "bscr" "ð\157\146·" +let _ = Hashtbl.add macro2utf8 "lesseqqgtr" "â\139\154" +let _ = Hashtbl.add macro2utf8 "cap" "â\136©" +let _ = Hashtbl.add macro2utf8 "cap" "â\136©" +let _ = Hashtbl.add macro2utf8 "ldquo" "â\128\156" +let _ = Hashtbl.add macro2utf8 "nsubseteq" "â\138\136" +let _ = Hashtbl.add macro2utf8 "rhov" "ϱ" +let _ = Hashtbl.add macro2utf8 "xvee" "â\139\129" +let _ = Hashtbl.add macro2utf8 "olarr" "â\134º" +let _ = Hashtbl.add macro2utf8 "nang" "â\136 Ì¸" +let _ = Hashtbl.add macro2utf8 "uwangle" "⦧" +let _ = Hashtbl.add macro2utf8 "nlsim" "â\137´" +let _ = Hashtbl.add macro2utf8 "smt" "⪪" +let _ = Hashtbl.add macro2utf8 "nVdash" "â\138®" +let _ = Hashtbl.add macro2utf8 "napE" "⩰̸" +let _ = Hashtbl.add macro2utf8 "ngeq" "â\137±â\131¥" +let _ = Hashtbl.add macro2utf8 "iscr" "ð\157\146¾" +let _ = Hashtbl.add macro2utf8 "GJcy" "Ð\131" +let _ = Hashtbl.add macro2utf8 "nges" "â\137±" +let _ = Hashtbl.add macro2utf8 "exist" "â\136\131" +let _ = Hashtbl.add macro2utf8 "cent" "¢" +let _ = Hashtbl.add macro2utf8 "oacute" "ó" +let _ = Hashtbl.add macro2utf8 "Darr" "â\134¡" +let _ = Hashtbl.add macro2utf8 "yen" "Â¥" +let _ = Hashtbl.add macro2utf8 "bigcirc" "â\151¯" +let _ = Hashtbl.add macro2utf8 "bigcirc" "â\151¯" +let _ = Hashtbl.add macro2utf8 "ncy" "н" +let _ = Hashtbl.add macro2utf8 "midast" "*" +let _ = Hashtbl.add macro2utf8 "UpperRightArrow" "â\134\151" +let _ = Hashtbl.add macro2utf8 "precnapprox" "â\139¨" +let _ = Hashtbl.add macro2utf8 "OElig" "Å\146" +let _ = Hashtbl.add macro2utf8 "hybull" "â\129\131" +let _ = Hashtbl.add macro2utf8 "cupbrcap" "â©\136" +let _ = Hashtbl.add macro2utf8 "rationals" "â\132\154" +let _ = Hashtbl.add macro2utf8 "VerticalTilde" "â\137\128" +let _ = Hashtbl.add macro2utf8 "pscr" "ð\157\147\133" +let _ = Hashtbl.add macro2utf8 "NJcy" "Ð\138" +let _ = Hashtbl.add macro2utf8 "NotSucceedsTilde" "â\137¿Ì¸" +let _ = Hashtbl.add macro2utf8 "vsupne" "â\138\139ï¸\128" +let _ = Hashtbl.add macro2utf8 "Updownarrow" "â\135\149" +let _ = Hashtbl.add macro2utf8 "Lsh" "â\134°" +let _ = Hashtbl.add macro2utf8 "rAarr" "â\135\155" +let _ = Hashtbl.add macro2utf8 "precapprox" "â\137¾" +let _ = Hashtbl.add macro2utf8 "rsquor" "â\128\153" +let _ = Hashtbl.add macro2utf8 "pound" "£" +let _ = Hashtbl.add macro2utf8 "lbrksld" "â¦\143" +let _ = Hashtbl.add macro2utf8 "gesdot" "âª\128" +let _ = Hashtbl.add macro2utf8 "Element" "â\136\136" +let _ = Hashtbl.add macro2utf8 "xcirc" "â\151¯" +let _ = Hashtbl.add macro2utf8 "wscr" "ð\157\147\140" +let _ = Hashtbl.add macro2utf8 "toea" "⤨" +let _ = Hashtbl.add macro2utf8 "setmn" "â\136\150" +let _ = Hashtbl.add macro2utf8 "neg" "¬" +let _ = Hashtbl.add macro2utf8 "sol" "/" +let _ = Hashtbl.add macro2utf8 "yfr" "ð\157\148¶" +let _ = Hashtbl.add macro2utf8 "DoubleDownArrow" "â\135\147" +let _ = Hashtbl.add macro2utf8 "Rarr" "â\134 " +let _ = Hashtbl.add macro2utf8 "ngE" "â\137±" +let _ = Hashtbl.add macro2utf8 "Upsi" "Ï\146" +let _ = Hashtbl.add macro2utf8 "opar" "⦷" +let _ = Hashtbl.add macro2utf8 "rarrpl" "â¥\133" +let _ = Hashtbl.add macro2utf8 "auml" "ä" +let _ = Hashtbl.add macro2utf8 "bmod" "mod" +let _ = Hashtbl.add macro2utf8 "SquareSuperset" "â\138\144" +let _ = Hashtbl.add macro2utf8 "circleddash" "â\138\157" +let _ = Hashtbl.add macro2utf8 "xrarr" "ï\149·" +let _ = Hashtbl.add macro2utf8 "barwed" "â\138¼" +let _ = Hashtbl.add macro2utf8 "lbrkslu" "â¦\141" +let _ = Hashtbl.add macro2utf8 "planckh" "â\132\142" +let _ = Hashtbl.add macro2utf8 "ldrdhar" "⥧" +let _ = Hashtbl.add macro2utf8 "circledcirc" "â\138\154" +let _ = Hashtbl.add macro2utf8 "ctdot" "â\139¯" +let _ = Hashtbl.add macro2utf8 "fallingdotseq" "â\137\146" +let _ = Hashtbl.add macro2utf8 "Map" "â¤\133" +let _ = Hashtbl.add macro2utf8 "VerticalBar" "â\136£" +let _ = Hashtbl.add macro2utf8 "succeq" "â\137½" +let _ = Hashtbl.add macro2utf8 "succeq" "â\137½" +let _ = Hashtbl.add macro2utf8 "tint" "â\136­" +let _ = Hashtbl.add macro2utf8 "imof" "â\138·" +let _ = Hashtbl.add macro2utf8 "diam" "â\139\132" +let _ = Hashtbl.add macro2utf8 "twixt" "â\137¬" +let _ = Hashtbl.add macro2utf8 "NoBreak" "" +let _ = Hashtbl.add macro2utf8 "langd" "â¦\145" +let _ = Hashtbl.add macro2utf8 "Bernoullis" "â\132¬" +let _ = Hashtbl.add macro2utf8 "rcaron" "Å\153" +let _ = Hashtbl.add macro2utf8 "hom" "hom" +let _ = Hashtbl.add macro2utf8 "nfr" "ð\157\148«" +let _ = Hashtbl.add macro2utf8 "backsimeq" "â\139\141" +let _ = Hashtbl.add macro2utf8 "target" "â\140\150" +let _ = Hashtbl.add macro2utf8 "ouml" "ö" +let _ = Hashtbl.add macro2utf8 "nge" "â\137±â\131¥" +let _ = Hashtbl.add macro2utf8 "LeftTriangleBar" "â§\143" +let _ = Hashtbl.add macro2utf8 "subplus" "⪿" +let _ = Hashtbl.add macro2utf8 "parsim" "⫳" +let _ = Hashtbl.add macro2utf8 "Gcedil" "Ä¢" +let _ = Hashtbl.add macro2utf8 "bnequiv" "â\137¡â\131¥" +let _ = Hashtbl.add macro2utf8 "ubreve" "Å­" +let _ = Hashtbl.add macro2utf8 "iexcl" "¡" +let _ = Hashtbl.add macro2utf8 "Xi" "Î\158" +let _ = Hashtbl.add macro2utf8 "omega" "Ï\137" +let _ = Hashtbl.add macro2utf8 "Xi" "Î\158" +let _ = Hashtbl.add macro2utf8 "omega" "Ï\137" +let _ = Hashtbl.add macro2utf8 "elsdot" "âª\151" +let _ = Hashtbl.add macro2utf8 "propto" "â\136\157" +let _ = Hashtbl.add macro2utf8 "propto" "â\136\157" +let _ = Hashtbl.add macro2utf8 "squ" "â\150¡" +let _ = Hashtbl.add macro2utf8 "Ycirc" "Ŷ" +let _ = Hashtbl.add macro2utf8 "amacr" "Ä\129" +let _ = Hashtbl.add macro2utf8 "curlyeqprec" "â\139\158" +let _ = Hashtbl.add macro2utf8 "ngt" "â\137¯" +let _ = Hashtbl.add macro2utf8 "plusdo" "â\136\148" +let _ = Hashtbl.add macro2utf8 "ngeqslant" "â\137±" +let _ = Hashtbl.add macro2utf8 "LongRightArrow" "ï\149·" +let _ = Hashtbl.add macro2utf8 "LeftUpVector" "â\134¿" +let _ = Hashtbl.add macro2utf8 "asymp" "â\137\141" +let _ = Hashtbl.add macro2utf8 "asymp" "â\137\141" +let _ = Hashtbl.add macro2utf8 "imped" "ð\157\149\131" +let _ = Hashtbl.add macro2utf8 "tritime" "⨻" +let _ = Hashtbl.add macro2utf8 "rpargt" "â¦\148" +let _ = Hashtbl.add macro2utf8 "DDotrahd" "â¤\145" +let _ = Hashtbl.add macro2utf8 "prnsim" "â\139¨" +let _ = Hashtbl.add macro2utf8 "plusdu" "⨥" +let _ = Hashtbl.add macro2utf8 "cfr" "ð\157\148 " +let _ = Hashtbl.add macro2utf8 "abreve" "Ä\131" +let _ = Hashtbl.add macro2utf8 "suphsol" "â\138\131/" +let _ = Hashtbl.add macro2utf8 "NegativeThickSpace" "â\128\133ï¸\128" +let _ = Hashtbl.add macro2utf8 "Mcy" "Ð\156" +let _ = Hashtbl.add macro2utf8 "uarr" "â\134\145" +let _ = Hashtbl.add macro2utf8 "LeftRightVector" "â¥\142" +let _ = Hashtbl.add macro2utf8 "lAarr" "â\135\154" +let _ = Hashtbl.add macro2utf8 "bsim" "â\136½" +let _ = Hashtbl.add macro2utf8 "simrarr" "⥲" +let _ = Hashtbl.add macro2utf8 "otimes" "â\138\151" +let _ = Hashtbl.add macro2utf8 "otimes" "â\138\151" +let _ = Hashtbl.add macro2utf8 "NotSucceeds" "â\138\129" +let _ = Hashtbl.add macro2utf8 "Cross" "⨯" +let _ = Hashtbl.add macro2utf8 "downarrow" "â\134\147" +let _ = Hashtbl.add macro2utf8 "downarrow" "â\134\147" +let _ = Hashtbl.add macro2utf8 "blacktriangle" "â\150´" +let _ = Hashtbl.add macro2utf8 "TripleDot" "â\131\155" +let _ = Hashtbl.add macro2utf8 "smallsetminus" "â\136\150ï¸\128" +let _ = Hashtbl.add macro2utf8 "supedot" "â«\132" +let _ = Hashtbl.add macro2utf8 "NotPrecedesSlantEqual" "â\139 " +let _ = Hashtbl.add macro2utf8 "neArr" "â\135\151" +let _ = Hashtbl.add macro2utf8 "rarrtl" "â\134£" +let _ = Hashtbl.add macro2utf8 "isin" "â\136\136" +let _ = Hashtbl.add macro2utf8 "rrarr" "â\135\137" +let _ = Hashtbl.add macro2utf8 "Upsilon" "Ï\146" +let _ = Hashtbl.add macro2utf8 "Upsilon" "Ï\146" +let _ = Hashtbl.add macro2utf8 "sqsub" "â\138\143" +let _ = Hashtbl.add macro2utf8 "boxUL" "â\149\157" +let _ = Hashtbl.add macro2utf8 "LessTilde" "â\137²" +let _ = Hashtbl.add macro2utf8 "chi" "Ï\135" +let _ = Hashtbl.add macro2utf8 "Xfr" "ð\157\148\155" +let _ = Hashtbl.add macro2utf8 "nis" "â\139¼" +let _ = Hashtbl.add macro2utf8 "chi" "Ï\135" +let _ = Hashtbl.add macro2utf8 "DownRightVector" "â\135\129" +let _ = Hashtbl.add macro2utf8 "niv" "â\136\139" +let _ = Hashtbl.add macro2utf8 "boxUR" "â\149\154" +let _ = Hashtbl.add macro2utf8 "nlArr" "â\135\141" +let _ = Hashtbl.add macro2utf8 "Bcy" "Ð\145" +let _ = Hashtbl.add macro2utf8 "tan" "tan" +let _ = Hashtbl.add macro2utf8 "EmptyVerySmallSquare" "ï\150\156" +let _ = Hashtbl.add macro2utf8 "dstrok" "Ä\145" +let _ = Hashtbl.add macro2utf8 "rfisht" "⥽" +let _ = Hashtbl.add macro2utf8 "easter" "â\137\155" +let _ = Hashtbl.add macro2utf8 "nlE" "â\137°" +let _ = Hashtbl.add macro2utf8 "Mellintrf" "â\132³" +let _ = Hashtbl.add macro2utf8 "lotimes" "⨴" +let _ = Hashtbl.add macro2utf8 "sqsup" "â\138\144" +let _ = Hashtbl.add macro2utf8 "boxVH" "â\149¬" +let _ = Hashtbl.add macro2utf8 "bbrk" "â\142µ" +let _ = Hashtbl.add macro2utf8 "tau" "Ï\132" +let _ = Hashtbl.add macro2utf8 "tau" "Ï\132" +let _ = Hashtbl.add macro2utf8 "sub" "â\138\130" +let _ = Hashtbl.add macro2utf8 "UpTee" "â\138¥" +let _ = Hashtbl.add macro2utf8 "NotLeftTriangleBar" "â§\143̸" +let _ = Hashtbl.add macro2utf8 "boxVL" "â\149£" +let _ = Hashtbl.add macro2utf8 "equiv" "â\137¡" +let _ = Hashtbl.add macro2utf8 "Proportion" "â\136·" +let _ = Hashtbl.add macro2utf8 "equiv" "â\137¡" +let _ = Hashtbl.add macro2utf8 "blk12" "â\150\146" +let _ = Hashtbl.add macro2utf8 "blk14" "â\150\145" +let _ = Hashtbl.add macro2utf8 "fpartint" "â¨\141" +let _ = Hashtbl.add macro2utf8 "boxVR" "â\149 " +let _ = Hashtbl.add macro2utf8 "starf" "â\152\133" +let _ = Hashtbl.add macro2utf8 "risingdotseq" "â\137\147" +let _ = Hashtbl.add macro2utf8 "Equilibrium" "â\135\140" +let _ = Hashtbl.add macro2utf8 "ijlig" "ij" +let _ = Hashtbl.add macro2utf8 "yicy" "Ñ\151" +let _ = Hashtbl.add macro2utf8 "sum" "â\136\145" +let _ = Hashtbl.add macro2utf8 "sum" "â\136\145" +let _ = Hashtbl.add macro2utf8 "cir" "â\151\139" +let _ = Hashtbl.add macro2utf8 "telrec" "â\140\149" +let _ = Hashtbl.add macro2utf8 "Mfr" "ð\157\148\144" +let _ = Hashtbl.add macro2utf8 "dHar" "⥥" +let _ = Hashtbl.add macro2utf8 "sup" "â\138\131" +let _ = Hashtbl.add macro2utf8 "boxUl" "â\149\156" +let _ = Hashtbl.add macro2utf8 "apid" "â\137\139" +let _ = Hashtbl.add macro2utf8 "nleftarrow" "â\134\154" +let _ = Hashtbl.add macro2utf8 "curarrm" "⤼" +let _ = Hashtbl.add macro2utf8 "Scirc" "Å\156" +let _ = Hashtbl.add macro2utf8 "Copf" "â\132\130" +let _ = Hashtbl.add macro2utf8 "RightTriangleEqual" "â\138µ" +let _ = Hashtbl.add macro2utf8 "boxUr" "â\149\153" +let _ = Hashtbl.add macro2utf8 "loplus" "⨭" +let _ = Hashtbl.add macro2utf8 "varsupsetneq" "â\138\139ï¸\128" +let _ = Hashtbl.add macro2utf8 "scaron" "Å¡" +let _ = Hashtbl.add macro2utf8 "Diamond" "â\139\132" +let _ = Hashtbl.add macro2utf8 "lowast" "â\136\151" +let _ = Hashtbl.add macro2utf8 "nle" "â\137°â\131¥" +let _ = Hashtbl.add macro2utf8 "phiv" "Ï\149" +let _ = Hashtbl.add macro2utf8 "gesdotol" "âª\132" +let _ = Hashtbl.add macro2utf8 "boxVh" "â\149«" +let _ = Hashtbl.add macro2utf8 "nleftrightarrow" "â\134®" +let _ = Hashtbl.add macro2utf8 "Jopf" "ð\157\149\129" +let _ = Hashtbl.add macro2utf8 "boxVl" "â\149¢" +let _ = Hashtbl.add macro2utf8 "nearhk" "⤤" +let _ = Hashtbl.add macro2utf8 "vBarv" "â«©" +let _ = Hashtbl.add macro2utf8 "rHar" "⥤" +let _ = Hashtbl.add macro2utf8 "boxVr" "â\149\159" +let _ = Hashtbl.add macro2utf8 "Delta" "Î\148" +let _ = Hashtbl.add macro2utf8 "lessdot" "â\139\150" +let _ = Hashtbl.add macro2utf8 "LeftDoubleBracket" "ã\128\154" +let _ = Hashtbl.add macro2utf8 "Delta" "Î\148" +let _ = Hashtbl.add macro2utf8 "limsup" "limsup" +let _ = Hashtbl.add macro2utf8 "tcy" "Ñ\130" +let _ = Hashtbl.add macro2utf8 "nlt" "â\137®" +let _ = Hashtbl.add macro2utf8 "Cdot" "Ä\138" +let _ = Hashtbl.add macro2utf8 "blk34" "â\150\147" +let _ = Hashtbl.add macro2utf8 "Bfr" "ð\157\148\133" +let _ = Hashtbl.add macro2utf8 "lowbar" "_" +let _ = Hashtbl.add macro2utf8 "lneqq" "â\137¨" +let _ = Hashtbl.add macro2utf8 "TildeEqual" "â\137\131" +let _ = Hashtbl.add macro2utf8 "shortmid" "â\136£ï¸\128" +let _ = Hashtbl.add macro2utf8 "Qopf" "â\132\154" +let _ = Hashtbl.add macro2utf8 "drcorn" "â\140\159" +let _ = Hashtbl.add macro2utf8 "ZeroWidthSpace" "â\128\139" +let _ = Hashtbl.add macro2utf8 "aogon" "Ä\133" +let _ = Hashtbl.add macro2utf8 "Rsh" "â\134±" +let _ = Hashtbl.add macro2utf8 "lrarr" "â\135\134" +let _ = Hashtbl.add macro2utf8 "cupdot" "â\138\141" +let _ = Hashtbl.add macro2utf8 "Xopf" "ð\157\149\143" +let _ = Hashtbl.add macro2utf8 "Backslash" "â\136\150" +let _ = Hashtbl.add macro2utf8 "Union" "â\139\131" +let _ = Hashtbl.add macro2utf8 "ratio" "â\136¶" +let _ = Hashtbl.add macro2utf8 "duarr" "â\135µ" +let _ = Hashtbl.add macro2utf8 "lates" "⪭ï¸\128" +let _ = Hashtbl.add macro2utf8 "suphsub" "â«\151" +let _ = Hashtbl.add macro2utf8 "gamma" "γ" +let _ = Hashtbl.add macro2utf8 "squf" "â\150ª" +let _ = Hashtbl.add macro2utf8 "gamma" "γ" +let _ = Hashtbl.add macro2utf8 "lrhard" "⥭" +let _ = Hashtbl.add macro2utf8 "intprod" "⨼" +let _ = Hashtbl.add macro2utf8 "ReverseUpEquilibrium" "⥯" +let _ = Hashtbl.add macro2utf8 "icy" "и" +let _ = Hashtbl.add macro2utf8 "quatint" "â¨\150" +let _ = Hashtbl.add macro2utf8 "nbump" "â\137\142̸" +let _ = Hashtbl.add macro2utf8 "downharpoonleft" "â\135\131" +let _ = Hashtbl.add macro2utf8 "otimesas" "⨶" +let _ = Hashtbl.add macro2utf8 "nvHarr" "â\135\142" +let _ = Hashtbl.add macro2utf8 "ContourIntegral" "â\136®" +let _ = Hashtbl.add macro2utf8 "bsol" "\\" +let _ = Hashtbl.add macro2utf8 "DoubleUpDownArrow" "â\135\149" +let _ = Hashtbl.add macro2utf8 "disin" "â\139²" +let _ = Hashtbl.add macro2utf8 "Breve" "Ë\152" +let _ = Hashtbl.add macro2utf8 "YAcy" "Я" +let _ = Hashtbl.add macro2utf8 "precsim" "â\137¾" +let _ = Hashtbl.add macro2utf8 "NotGreaterGreater" "â\137«Ì¸ï¸\128" +let _ = Hashtbl.add macro2utf8 "fopf" "ð\157\149\151" +let _ = Hashtbl.add macro2utf8 "SquareSupersetEqual" "â\138\146" +let _ = Hashtbl.add macro2utf8 "Dscr" "ð\157\146\159" +let _ = Hashtbl.add macro2utf8 "gsime" "âª\142" +let _ = Hashtbl.add macro2utf8 "PartialD" "â\136\130" +let _ = Hashtbl.add macro2utf8 "Umacr" "Ū" +let _ = Hashtbl.add macro2utf8 "tfr" "ð\157\148±" +let _ = Hashtbl.add macro2utf8 "cularrp" "⤽" +let _ = Hashtbl.add macro2utf8 "UnderBracket" "â\142µ" +let _ = Hashtbl.add macro2utf8 "ugrave" "ù" +let _ = Hashtbl.add macro2utf8 "mopf" "ð\157\149\158" +let _ = Hashtbl.add macro2utf8 "gsiml" "âª\144" +let _ = Hashtbl.add macro2utf8 "iquest" "¿" +let _ = Hashtbl.add macro2utf8 "nmid" "â\136¤" +let _ = Hashtbl.add macro2utf8 "leftarrowtail" "â\134¢" +let _ = Hashtbl.add macro2utf8 "not" "¬" +let _ = Hashtbl.add macro2utf8 "Kscr" "ð\157\146¦" +let _ = Hashtbl.add macro2utf8 "xsqcup" "â\138\148" +let _ = Hashtbl.add macro2utf8 "triangleleft" "â\151\131" +let _ = Hashtbl.add macro2utf8 "triangleleft" "â\151\131" +let _ = Hashtbl.add macro2utf8 "amalg" "⨿" +let _ = Hashtbl.add macro2utf8 "amalg" "⨿" +let _ = Hashtbl.add macro2utf8 "prcue" "â\137¼" +let _ = Hashtbl.add macro2utf8 "ac" "â¤\143" +let _ = Hashtbl.add macro2utf8 "nharr" "â\134®" +let _ = Hashtbl.add macro2utf8 "dzcy" "Ñ\159" +let _ = Hashtbl.add macro2utf8 "topf" "ð\157\149¥" +let _ = Hashtbl.add macro2utf8 "iff" "â\135\148" +let _ = Hashtbl.add macro2utf8 "af" "â\129¡" +let _ = Hashtbl.add macro2utf8 "Uparrow" "â\135\145" +let _ = Hashtbl.add macro2utf8 "Uparrow" "â\135\145" +let _ = Hashtbl.add macro2utf8 "Iacute" "Ã\141" +let _ = Hashtbl.add macro2utf8 "Rscr" "â\132\155" +let _ = Hashtbl.add macro2utf8 "vrtri" "â\138³" +let _ = Hashtbl.add macro2utf8 "multimap" "â\138¸" +let _ = Hashtbl.add macro2utf8 "Hat" "Ì\130" +let _ = Hashtbl.add macro2utf8 "rtriltri" "â§\142" +let _ = Hashtbl.add macro2utf8 "npr" "â\138\128" +let _ = Hashtbl.add macro2utf8 "agrave" "à" +let _ = Hashtbl.add macro2utf8 "prime" "â\128²" +let _ = Hashtbl.add macro2utf8 "UnderBar" "̲" +let _ = Hashtbl.add macro2utf8 "prime" "â\128²" +let _ = Hashtbl.add macro2utf8 "plusmn" "±" +let _ = Hashtbl.add macro2utf8 "eplus" "⩱" +let _ = Hashtbl.add macro2utf8 "ap" "â\137\136" +let _ = Hashtbl.add macro2utf8 "dlcorn" "â\140\158" +let _ = Hashtbl.add macro2utf8 "backsim" "â\136½" +let _ = Hashtbl.add macro2utf8 "ifr" "ð\157\148¦" +let _ = Hashtbl.add macro2utf8 "bigcup" "â\139\131" +let _ = Hashtbl.add macro2utf8 "bigcup" "â\139\131" +let _ = Hashtbl.add macro2utf8 "tcaron" "Å¥" +let _ = Hashtbl.add macro2utf8 "sqcaps" "â\138\147ï¸\128" +let _ = Hashtbl.add macro2utf8 "equals" "=" +let _ = Hashtbl.add macro2utf8 "curlywedge" "â\139\143" +let _ = Hashtbl.add macro2utf8 "longrightarrow" "????" +let _ = Hashtbl.add macro2utf8 "Yscr" "ð\157\146´" +let _ = Hashtbl.add macro2utf8 "longrightarrow" "ï\149·" +let _ = Hashtbl.add macro2utf8 "fork" "â\139\148" +let _ = Hashtbl.add macro2utf8 "cos" "cos" +let _ = Hashtbl.add macro2utf8 "cot" "cot" +let _ = Hashtbl.add macro2utf8 "ImaginaryI" "â\133\136" +let _ = Hashtbl.add macro2utf8 "Scy" "С" +let _ = Hashtbl.add macro2utf8 "mapsto" "â\134¦" +let _ = Hashtbl.add macro2utf8 "mapsto" "â\134¦" +let _ = Hashtbl.add macro2utf8 "tdot" "â\131\155" +let _ = Hashtbl.add macro2utf8 "vellip" "â\139®" +let _ = Hashtbl.add macro2utf8 "sqsupseteq" "â\138\146" +let _ = Hashtbl.add macro2utf8 "sqsupseteq" "â\138\146" +let _ = Hashtbl.add macro2utf8 "nvdash" "â\138¬" +let _ = Hashtbl.add macro2utf8 "NotSuperset" "â\138\133" +let _ = Hashtbl.add macro2utf8 "DoubleUpArrow" "â\135\145" +let _ = Hashtbl.add macro2utf8 "land" "â\136§" +let _ = Hashtbl.add macro2utf8 "topfork" "â«\154" +let _ = Hashtbl.add macro2utf8 "llhard" "⥫" +let _ = Hashtbl.add macro2utf8 "apos" "'" +let _ = Hashtbl.add macro2utf8 "oslash" "ø" +let _ = Hashtbl.add macro2utf8 "oslash" "ø" +let _ = Hashtbl.add macro2utf8 "lang" "â\140©" +let _ = Hashtbl.add macro2utf8 "bernou" "â\132¬" +let _ = Hashtbl.add macro2utf8 "varrho" "ϱ" +let _ = Hashtbl.add macro2utf8 "varrho" "ϱ" +let _ = Hashtbl.add macro2utf8 "rcub" "}" +let _ = Hashtbl.add macro2utf8 "Cedilla" "¸" +let _ = Hashtbl.add macro2utf8 "ApplyFunction" "â\129¡" +let _ = Hashtbl.add macro2utf8 "nsce" "⪰̸" +let _ = Hashtbl.add macro2utf8 "gscr" "â\132\138" +let _ = Hashtbl.add macro2utf8 "imagpart" "â\132\145" +let _ = Hashtbl.add macro2utf8 "ngtr" "â\137¯" +let _ = Hashtbl.add macro2utf8 "nsc" "â\138\129" +let _ = Hashtbl.add macro2utf8 "Barv" "⫧" +let _ = Hashtbl.add macro2utf8 "tosa" "⤩" +let _ = Hashtbl.add macro2utf8 "nwnear" "⤧" +let _ = Hashtbl.add macro2utf8 "ltlarr" "⥶" +let _ = Hashtbl.add macro2utf8 "PrecedesEqual" "⪯" +let _ = Hashtbl.add macro2utf8 "lessapprox" "â\137²" +let _ = Hashtbl.add macro2utf8 "Lcaron" "Ľ" -- 2.39.2