summaryrefslogtreecommitdiff
path: root/systems/knuth/local/lib/line10.mf
blob: 125c4eca93a54ae4d6df5b50bb89687be514a5c4 (plain)
1
2
3
4
5
6
7
8
9
10
11
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;