mode_setup;
       mg:=5/5;
       height#:=mg*12pt#;
       depth#:=mg*2pt#;
       width#:=mg*8pt#;
       thick#:=mg*3/4pt#;
       thin#:=mg*3/8pt#;
       b#:=mg*1/2pt#;
       hp#:=mg*2/2pt#;

       charwidth#:=mg*8.5pt#;

       define_pixels(height,depth,width);
       define_blacker_pixels(thin,thick);

       oben:=10/12height;
       lir:=1/8width;
       rer:=7/8width;
       hm:=1/2width;
       vm:=5/12height;
       hp:=1/12height;
       wp:=1/16width;

       font_size               12pt#;
       font_normal_space       1/4width#;
       font_x_height           height#;
       font_quad               width#;
       font_extra_space        1/4width#;

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.