blob: 00411b4cb091564ff7da5d90c99731eb7a9c7207 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
font_identifier:="xsld13d";
mode_setup;
font_size 12.8pt#;
makedotted=1;
thick#:=1pt#;
internote#:=1.6pt#;
define_pixels(internote);
define_blacker_pixels(thick);
minwidth:=8pt#;
delwidth:=4pt#;
maxwidth:=minwidth+15delwidth;
fontdimen 5: maxwidth;
picture p;
def t= reflectedabout (origin,right) shifted (-.5mw,0) enddef;
def T= rotated 180 shifted (0,-mheight) enddef;
input xslgen;
|
