Download raw (484 bytes)

% !
input ../def;
beginchar(33, 6);
    x1 := 3.0 * ox;
    y1 := 6.0 * oy;
    x2 := 3.0 * ox;
    y2 := 21.0 * oy;
    x3 := 3.0 * ox;
    y3 := 21.0 * oy;
    x4 := 4.0 * ox;
    y4 := 20.0 * oy;
    x5 := 3.0 * ox;
    y5 := 6.0 * oy;
    x6 := 2.0 * ox;
    y6 := 20.0 * oy;
    x7 := 3.0 * ox;
    y7 := 21.0 * oy;
    
    x12 := 3.0 * ox;
    y12 := 1.0 * oy; 

draw z1 -- z2; 
draw z3 .. z4 -- z5 -- z6 .. cycle; 
draw z12 withpen pencircle scaled 2.5sx;

endchar(12);
end;