% blackboard typefaces by Anthony Phan. % file: mbb9.mf (parameters' file for 9 points fonts) % last modification: 25.10.2001. if unknown mbbbase: input mbbbase fi font_identifier:="mbb"; font_size 9pt#; slant:=0; square_dots:=true; variant_a:=false; variant_f:=false; variant_g:=false; variant_y:=false; old_digits:=false; square_hebrew:=true; ab_up_factor:=0; ab_down_factor:=0; hmn_factor:=0; uy_factor:=0; input mbbxbold; input mbbdrivr;