mode_setup;
  ht# := 1.8mm#; rm# := 0.54mm#; brm# := 0.81mm#; twd# := 1.26mm#;
  uwidth# := twd#;
  define_pixels(rm,twd,uwidth,brm);
  define_whole_pixels(ht);
  rot = 135;
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% the following parameters determine the line-thicknes.
% the line-thicknes varies between thin# and thick#, depending on the
% angle between the pen and the direction of writing.
% for strokes in subscripts it varies between subthick# and thin#.
  thick# := 1pt#; thin# := 0.2pt#;
  subthick# := .7pt#;
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  font_size 9pt#;
  font_quad 1.5twd#+rm#;
  font_x_height .7rm#;
  font_normal_space:=1.2twd#;
  font_normal_stretch:=.6twd#;
  font_normal_shrink:=.4twd#;
  font_identifier:="GRMK9";
\input defs
\input gmchars