+ | Some subst ->
+ Box.H([],
+ [Box.Text(make_std_attributes xref,s);
+ Box.Action([],
+ [Box.Text([],"[...]");
+ Box.H([], [Box.Text([], map_tex unicode "subst" ^ "[");
+ Box.V([], make_substs "" subst);
+ Box.Text([], "]")])])])
+ | None -> Box.Text(make_std_attributes xref, s)