mode_setup; ht# := 1.6mm#; rm# := 0.48mm#; brm# := 0.72mm#; twd# := 1.12mm#; 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# := .85pt#; thin# := 0.2pt#; subthick# := .7pt#; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% font_size 8pt#; font_quad 1.5twd#+rm#; font_x_height .7rm#; font_normal_space:=1.2twd#; font_normal_stretch:=.6twd#; font_normal_shrink:=.4twd#; font_identifier:="GRMK8"; \input defs \input gmchars