%
% (c) 1997--2000 Jan Nieuwenhuizen <janneke@gnu.org>
-fet_begingroup("nummer")
+fet_begingroup("number")
define_pixels(height,thick,thick,thin,hair,flare);
define_pixels(foot_top,foot_width);
dot_diam# = 7/8flare#;
define_pixels(dot_diam);
-code := 43;
+
+code := 43; % , = 44
% urg
fet_beginchar("Numeral comma", ",", "comma")
% skip slash
-code := 47;
+code := 47; % 0 = 48
fet_beginchar("Numeral 0", "0", "zero")
% set_char_box(0, 4/5height#*widen, 0, height#);
currentpicture := currentpicture shifted (w,h);
fet_endchar;
-fet_endgroup("nummer")
+fet_endgroup("number")