Download raw (449 bytes)

% 4
input ../def;
beginchar(52, 17);
    x1 := 11.0 * ox;
    y1 := 19.5 * oy;
    x2 := 11.0 * ox;
    y2 := 0.0 * oy;
    x3 := 12.0 * ox;
    y3 := 0.0 * oy;
    x4 := 12.0 * ox;
    y4 := 21.0 * oy;
    x5 := 2.0 * ox;
    y5 := 6.0 * oy;
    x6 := 15.0 * ox;
    y6 := 6.0 * oy;
    x7 := 15.0 * ox;
    y7 := 6.5 * oy;
    x8 := 2.5 * ox;
    y8 := 6.5 * oy; 
    draw z1 -- top z2 -- top z3 -- z4 -- z5 -- z6 -- z7 -- z8; 

endchar(8);
end;