% Written by DVItoMP, Version 0.64 (Web2C 7.3.7)
begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
string _n[];
vardef _s(expr _t,_f,_m,_x,_y)=
  addto _p also _t infont _f scaled _m shifted (_x,_y); enddef;
_n0="cmr10";
_s("(",_n0,1.00000,0.0000,0.0000);
_n1="cmmi10";
_s("d",_n1,1.00000,3.8744,0.0000);
_s(")",_n0,1.00000,9.0598,0.0000);
setbounds _p to (0,-2.4907)--(12.9342,-2.4907)--
 (12.9342,7.4720)--(0,7.4720)--cycle;
_p endgroup
mpxbreak