-(* (CicNotationUtil.dress semicolon
- (List.map
- (fun (var, t) ->
- let var_uri = UriManager.uri_of_string var in
- let var_name = UriManager.name_of_uri var_uri in
- let href_attr = Some "xlink", "href", var in
- box_of mathonly (A.H, false, false) [] [
- Mpres.Mi ([href_attr], var_name);
- Mpres.Mo ([], to_unicode "\\def");
- aux [] mathonly xref pos prec uris t ])
- substs)) *)