Download raw (205 bytes)

% >
input ../def;
beginchar(62, 24);
    x1 := 4.0 * ox;
    y1 := 18.0 * oy;
    x2 := 20.0 * ox;
    y2 := 9.0 * oy;
    x3 := 4.0 * ox;
    y3 := 0.0 * oy; 
    draw z1 -- z2 -- z3; 

endchar(3);
end;