let find_utf8 =
let h = Hashtbl.create 97 in
List.iter (fun (i,t) -> Hashtbl.add h i t)
[ Utf8_logic.forall, FORALL;
Utf8_logic.exists, EXISTS;
Utf8_logic.eq, EQ;
Utf8_logic.neq, NE;
Utf8_logic.le, LE;
Utf8_logic.ge, GE;
Utf8_logic.implies,IMPLIES;
Utf8_logic.iff, IFF;
Utf8_logic.conj, AND;
Utf8_logic.disj, OR;
Utf8_logic.neg, NOT;
Utf8_logic.x_or, HATHAT;
Utf8_logic.minus, MINUS;
Utf8_logic.boolean, BOOLEAN;
Utf8_logic.integer, INTEGER;
Utf8_logic.real, REAL
];
fun s -> try Hashtbl.find h s
with Not_found -> IDENTIFIER s