Download raw (159 bytes)

% |
input ../def;
beginchar(124, 8);
    x1 := 4.0 * ox;
    y1 := 25.0 * oy;
    x2 := 4.0 * ox;
    y2 := -7.0 * oy; 
    draw z1 -- z2; 

endchar(2);
end;