doc/figures/texnum.mpx

   1 % Written by DVItoMP, Version 0.64/color (Web2C 7.5.4)
   2 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
   3 string _n[];
   4 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
   5   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
   6 _n0="cmsy10";
   7 _s(char0,_n0,1.00000,0.0000,0.0000,);
   8 setbounds _p to (0,-0.8302)--(7.7487,-0.8302)--
   9  (7.7487,5.8115)--(0,5.8115)--cycle;
  10 _p endgroup
  11 mpxbreak
  12 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
  13 string _n[];
  14 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
  15   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
  16 _n1="cmr10";
  17 _s("1",_n1,1.00000,0.0000,0.0000,);
  18 setbounds _p to (0,0.0000)--(4.9813,0.0000)--
  19  (4.9813,6.4204)--(0,6.4204)--cycle;
  20 _p endgroup
  21 mpxbreak
  22 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
  23 string _n[];
  24 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
  25   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
  26 _n0="cmsy10";
  27 _s(char2,_n0,1.00000,0.0000,0.0000,);
  28 _n1="cmr10";
  29 _s("10",_n1,1.00000,7.7487,0.0000,);
  30 setbounds _p to (0,-0.8302)--(17.7114,-0.8302)--
  31  (17.7114,6.4204)--(0,6.4204)--cycle;
  32 _p endgroup
  33 mpxbreak
  34 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
  35 string _n[];
  36 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
  37   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
  38 _n2="cmsy7";
  39 _s(char0,_n2,1.00000,0.0000,3.6154,);
  40 setbounds _p to (0,0.0000)--(6.7248,0.0000)--
  41  (6.7248,7.9325)--(0,7.9325)--cycle;
  42 _p endgroup
  43 mpxbreak
  44 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
  45 string _n[];
  46 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
  47   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
  48 _n3="cmr7";
  49 _s("2",_n3,1.00000,0.0000,3.6154,);
  50 setbounds _p to (0,0.0000)--(4.4694,0.0000)--
  51  (4.4694,8.1096)--(0,8.1096)--cycle;
  52 _p endgroup
  53 mpxbreak
  54 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
  55 string _n[];
  56 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
  57   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
  58 _n1="cmr10";
  59 _s("10",_n1,1.00000,0.0000,0.0000,);
  60 setbounds _p to (0,0.0000)--(9.9627,0.0000)--
  61  (9.9627,6.4204)--(0,6.4204)--cycle;
  62 _p endgroup
  63 mpxbreak