- define_pixels(leftindent);
- set_char_box(0, .5 staff_space#+stafflinethickness#,
- staff_space#, staff_space#);
- z1 = (leftindent,h);
- z2 = (w-stafflinethickness,0);
- z3 = (leftindent,-d);
-
- penpos1(stafflinethickness, 35);
- penpos2(.1 staff_space + stafflinethickness, 0);
- penpos3(stafflinethickness, -35);
-
- penlabels(1,2,3);
- fill z2l{down} .. simple_serif(z3l, z3r, 90) .. z2r{up}
- .. simple_serif(z1r, z1l, 90) .. z2l{down} -- cycle;
+ define_pixels (leftindent);
+
+ set_char_box (0, .5 staff_space# + stafflinethickness#,
+ staff_space#, staff_space#);
+
+ z1 = (leftindent, h);
+ z2 = (w - stafflinethickness, 0);
+ z3 = (leftindent, -d);
+
+ penpos1 (stafflinethickness, 35);
+ penpos2 (.1 staff_space + stafflinethickness, 0);
+ penpos3 (stafflinethickness, -35);
+
+ penlabels (1, 2, 3);
+
+ fill z2l{down}
+ .. simple_serif (z3l, z3r, 90)
+ .. z2r{up}
+ .. simple_serif (z1r, z1l, 90)
+ .. z2l{down}
+ -- cycle;