- P.Mtable (aattr@P.standard_tbl_attr,
- P.Mtr([],[P.Mtd([],P.Mrow([],
- [P.Mtext([],"(");
- cexpr2pres (CE.Symbol(sxref,n,subst,uri))]))])::
- make_args_charcount ~tail:(P.Mtext([],")")::tail) tl))
+ Box.b_v aattr (
+ Box.b_h [] [
+ Box.b_text [] "(";
+ Box.b_object (cexpr2pres (CE.Symbol(sxref,n,subst,uri)))
+ ] ::
+ make_args_charcount ~tail:(")"::tail) tl
+ ))