font_identifier "LINE"; font

font_identifier "LINE"; font_size 10pt#;
font_coding_scheme:="LATEX LINE";
mode_setup;

qqs#=.4pt#; %width of lines
qqh#=10pt#; %height of vertical stroke.
qqw#=10pt#; %length of horizontal stroke.

%arrow dimensions:
arrowlen#=.4*qqw#; arrowht#=.15*qqw#; arrowcurve#=.1*arrowht#;
input line;