2
% UMDS pencil - needs to be cleaned up.
9
1 scaling div ptsize 10 div mul dup scale
14
0 1 moveto 12 0 rlineto stroke
15
0 5 moveto 12 0 rlineto stroke
16
0 9 moveto 12 0 rlineto stroke
18
12 .5 moveto 21.27362 5 lineto 12 9.5 lineto stroke
20
.4 9.27362 mul neg .4 4 mul rlineto
21
0 .8 4 mul neg rlineto