Download raw (744 bytes)

% r
input ../def;
beginchar(114, 12);
    x1 := 3.0 * ox;
    y1 := 13.0 * oy;
    x2 := 3.0 * ox;
    bot y2 := 0.0 * oy;
    x3 := 4.0 * ox;
    top y3 := 14.0 * oy + os_x;
    x4 := 4.0 * ox;
    bot y4 := 0.0 * oy;
    x5 := 4.0 * ox;
    y5 := 10.0 * oy;
    x6 := 9.5 * ox;
    top y6 := 14.0 * oy + os_x;
    x7 := 11.0 * ox;
    top y7 := 13.0 * oy + os_x;
    x8 := 9.0 * ox;
    top y8 := 13.0 * oy + os_x; 
    x9 := 4.0 * ox;
    y9 := 10.0 * oy; 
    x10 := 10.0 * ox;
    y10 := 13.25 * oy; 
    
    draw z1 -- top z2; 
    draw top z4 -- z3; 
    draw z5 {dir67.5}..{right} z6 .. z7 .. z8 ..{dir247.5} z9; 
    draw z10 withpen pencircle scaled 2ux;
    
    serif(1,2,3,4,0,0);
    serif(2,1,4,3,1,1);

endchar(10);
end;