blob: cab30e98016e2a387566f4f1e0aca175589c9f55 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
font_identifier "LINEW"; font_size 10pt#;
font_coding_scheme:="LATEX LINE";
mode_setup;
qqs#=.8pt#; %width of lines
qqh#=10pt#; %height of vertical stroke.
qqw#=10pt#; %length of horizontal stroke.
%arrow dimensions:
arrowlen#=.6*qqw#; arrowht#=.22*qqw#; arrowcurve#=.1*arrowht#;
input line;
|