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