1 font_identifier:="xsld11";
6 define_pixels(internote);
7 define_blacker_pixels(thick);
12 maxwidth:=minwidth+15delwidth;
13 fontdimen 5: maxwidth;
17 def t= reflectedabout (origin,right) shifted (-.5mw,0) enddef;
18 def T= rotated 180 shifted (0,-mheight) enddef;