home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fonts 1 / freshfonts1.bin / bbs / programs / amiga / metafont.lha / MF / INPUTS / LATEX / lasy.mf < prev    next >
Text File  |  1992-03-19  |  14KB  |  376 lines
  1. font_identifier:="LASY";
  2. font_coding_scheme:="LaTeX symbols";
  3.  
  4. % Here we steal a bit from mathsy
  5.  
  6. mode_setup; font_setup;
  7. autorounding:=0;
  8.  
  9. font_slant slant; font_x_height x_height#;
  10. font_quad 18u# if not monospace:+4letter_fit# fi;
  11. slant:=mono_charic#:=0;  % the remaining characters will not be slanted
  12. currenttransform:=identity yscaled aspect_ratio scaled granularity;
  13.  
  14. cmchar "Leftward arrowhead";
  15. compute_spread(.45x_height#,.55x_height#);
  16. beginchar(oct"050",6u#,v_center(spread#+rule_thickness#));
  17. adjust_fit(0,0); pickup crisp.nib;
  18. pos3(bar,0); pos4(bar,0);
  19. y0=math_axis; lft x0=hround u;
  20. y3-y0=y0-y4=.24asc_height+eps; x3=x4=x0+3u+eps;
  21. pos5(bar,angle(z4-z0)); z5l=z0; pos6(bar,angle(z3-z0)); z6l=z0;
  22. z9=.381966[.5[z3,z4],z0];
  23. numeric t[]; path p[];
  24. (t1,t2)=(z4r{z9-z4}..z6r) intersectiontimes (z3r{z9-z3}..z5r);
  25. z10=(z4r{z9-z4}..z6r) intersectionpoint (z3r{z9-z3}..z5r);
  26. filldraw z0..{z4-z9}z4l--subpath (0,t1) of (z4r{z9-z4}..z6r)
  27.  --z10--subpath (t2,0) of (z3r{z9-z3}..z5r)--z3l{z9-z3}..z0 & cycle;
  28.   % arrowhead
  29. penlabels(0,3,4,5,6,9,10); endchar;
  30.  
  31. % This character is an alteration of the leftward arrow
  32. % The tip of the arrowhead rests one unit from left edge, same as left arrow
  33. % Changes:
  34. %   1) deletion of the stem ... points z1,z2 etc
  35. %      The rest of the numbers stay the same, for any referencing
  36. %   2) new intersectinpoint z10 is introduced and path slightly altered
  37. %   3) name, code number and width changed, otherwise essentially the same
  38.  
  39.  
  40.  
  41. cmchar "Rightward arrowhead";
  42. compute_spread(.45x_height#,.55x_height#);
  43. beginchar(oct"051",6u#,v_center(spread#+rule_thickness#));
  44. adjust_fit(0,0); pickup crisp.nib;
  45. pos3(bar,0); pos4(bar,0);
  46. y0=math_axis; rt x0=hround(w-u);
  47. y3-y0=y0-y4=.24asc_height+eps; x3=x4=x0-3u-eps;
  48. pos5(bar,angle(z4-z0)); z5l=z0; pos6(bar,angle(z3-z0)); z6l=z0;
  49. z9=.381966[.5[z3,z4],z0];
  50. numeric t[]; path p[];
  51. (t1,t2)=(z4l{z9-z4}..z6r) intersectiontimes (z3l{z9-z3}..z5r);
  52. z10=(z4l{z9-z4}..z6r) intersectionpoint (z3l{z9-z3}..z5r);
  53. filldraw z0..{z4-z9}z4r--subpath (0,t1) of (z4l{z9-z4}..z6r)
  54.  --z10--subpath (t2,0) of (z3l{z9-z3}..z5r)--z3r{z9-z3}..z0 & cycle;
  55.   % arrowhead
  56. penlabels(0,3,4,5,6,9,10); endchar;
  57.  
  58. % This character is an alteration of the rightward arrow
  59. % The tip of the arrowhead rests one unit from right edge, same as right arrow
  60. % Changes:
  61. %   1) deletion of the stem ... points z1,z2 etc
  62. %      The rest of the numbers stay the same, for any referencing
  63. %   2) new intersectinpoint z10 is introduced and path slightly altered
  64. %   3) name, code number and width changed, otherwise essentially the same
  65.  
  66.  
  67.  
  68. cmchar "Upward arrowhead";
  69. beginchar(oct"052",9u#,asc_height#,asc_depth#);
  70. italcorr .76asc_height#*slant+.5crisp#-u#;
  71. adjust_fit(0,0); pickup crisp.nib;
  72. pos3(bar,90); pos4(bar,90);
  73. top z0=(.5w,0); x0-x3=x4-x0=3u+eps;
  74. y3=y4=y0-.24asc_height-eps;
  75. pos5(bar,angle(z4-z0)); z5l=z0;
  76. pos6(bar,angle(z3-z0)); z6l=z0;
  77. z9=.381966[.5[z3,z4],z0];
  78. numeric t[]; path p[];
  79. (t1,t2)=(z4l{z9-z4}..z6r) intersectiontimes (z3l{z9-z3}..z5r);
  80. z10=(z4l{z9-z4}..z6r) intersectionpoint (z3l{z9-z3}..z5r);
  81. filldraw z0..{z4-z9}z4r--subpath (0,t1) of (z4l{z9-z4}..z6r)
  82.  --z10--subpath (t2,0) of (z3l{z9-z3}..z5r)--z3r{z9-z3}..z0 & cycle;
  83.   % arrowhead
  84. penlabels(0,3,4,5,6,9,10); endchar;
  85.  
  86. % This character is an alteration of the upward arrow
  87. % The tip of the arrowhead rests on the baseline for reference
  88. % Changes:
  89. %   1) deletion of the stem ... points z1,z2 etc
  90. %      The rest of the numbers stay the same, for any referencing
  91. %   2) point z0 is moved down from the ascender line; the tip touches
  92. %      the baseline
  93. %   3) new intersectinpoint z10 is introduced and path slightly altered
  94. %   4) name and code number changed, otherwise essentially the same
  95.  
  96.  
  97.  
  98. cmchar "Downward arrowhead";
  99. beginchar(oct"053",9u#,asc_height#,asc_depth#);
  100. adjust_fit(0,0); pickup crisp.nib;
  101. pos3(bar,90); pos4(bar,90);
  102. bot z0=(.5w,0); x0-x3=x4-x0=3u+eps;
  103. y3=y4=y0+.24asc_height+eps;
  104. pos5(bar,angle(z4-z0)); z5l=z0;
  105. pos6(bar,angle(z3-z0)); z6l=z0;
  106. z9=.381966[.5[z3,z4],z0];  % z9 iintroduces curve to arrowhead
  107. numeric t[]; path p[];    %  rather direction{z9-z4} does this
  108. (t1,t2)=(z4r{z9-z4}..z6r) intersectiontimes (z3r{z9-z3}..z5r);
  109. z10=(z4r{z9-z4}..z6r) intersectionpoint (z3r{z9-z3}..z5r);
  110. filldraw z0..{z4-z9}z4l--subpath (0,t1) of (z4r{z9-z4}..z6r)
  111.  --z10--subpath (t2,0) of (z3r{z9-z3}..z5r)--z3l{z9-z3}..z0 & cycle;
  112.   % arrowhead
  113. penlabels(0,3,4,5,6,9,10); endchar;
  114.  
  115. % This character is an alteration of the downward arrow
  116. % The tip of the arrowhead rests on the baseline for reference
  117. % Changes:
  118. %   1) deletion of the stem ... points z1,z2 etc
  119. %      The rest of the numbers stay the same, for any referencing
  120. %   2) point z0 is moved up from the descender line to rest on the baseline
  121. %   3) new intersectinpoint z10 is introduced and path slightly altered
  122. %   4) name and code number changed, otherwise essentially the same
  123.  
  124.  
  125.  
  126. cmchar "Square subset sign";
  127. compute_spread(5/4x_height#,3/2x_height#); % the spread of `$=$'
  128. beginchar(oct"074",14u#,v_center(spread#+rule_thickness#));
  129. adjust_fit(0,0); pickup rule.nib;
  130. lft x2=hround(1.5u+oo); x1=x4=hround(w-1.5u)+eps; x3=x2;
  131. y1-y4=spread; y2=y1; y3=y4; y1=math_axis+.5spread;
  132. draw z1--z2--z3--z4;  % bars and stem
  133. labels(1,2,3,4); endchar;
  134.  
  135. % This character is an alteration of the square subset or equal to sign
  136. % Changes:
  137. %   1) changed position of y1 to be .5 of the spread above the math_axis
  138. %   2) got rid of lower bar (points z8/z9,etc) and the extra spread#' amount
  139. %      which was used in calculations for the lower bar
  140. %   3) name and code number and height changed, otherwise essentially the same
  141.  
  142.  
  143.  
  144. cmchar "Square superset sign";
  145. compute_spread(5/4x_height#,3/2x_height#); % the spread of `$=$'
  146. beginchar(oct"075",14u#,v_center(spread#+rule_thickness#));
  147. adjust_fit(0,0); pickup rule.nib;
  148. x1=x4=hround 1.5u-eps; rt x2=hround(w-1.5u-oo); x3=x2;
  149. y1-y4=spread; y2=y1; y3=y4; y1=math_axis+.5spread;
  150. draw z1--z2--z3--z4;  % bars and stem
  151. labels(1,2,3,4); endchar;
  152.  
  153. % This character is an alteration of the square superset or equal to sign
  154. % Changes:
  155. %   1) changed position of y1 to be .5 of the spread above the math_axis
  156. %   2) got rid of lower bar (points z8/z9,etc) and the extra spread#' amount
  157. %      which was used in calculations for the lower bar
  158. %   3) name and code number and height changed, otherwise essentially the same
  159.  
  160.  
  161.  
  162. cmchar "Diamond";
  163. beginchar(oct"063",2(.85asc_height#-math_axis#)+2u#,v_center(7u#));
  164. italcorr math_axis#*slant;
  165. adjust_fit(0,0); pickup rule.nib;
  166. numeric a; a=.85asc_height-math_axis;
  167. x4=x8=good.x .5w; w:=r:=2x4; rt x2=w-lft x6=good.x(x4+a);
  168. y2=y6=.5[y4,y8]=.5cap_height; top y8=good.y(y2+a);
  169. draw z2--z4--z6--z8--cycle;
  170. labels(2,4,6,8); endchar;
  171.  
  172. % This character is an alteration of the diamond operator
  173. % The four tips are equidistant from the center point (.5w,math_axis),
  174. %    this distance being half of the cap height
  175. %    and related to that in the square character
  176. %    slightly less though, since it looks too big if the actually have same
  177. %    length
  178. % Changes:
  179. %   1) To the amount a, which gives the distance of the tips from the center
  180. %   2) The width is related to the asc_height, so it changes with it
  181. %   3) name and code number and width changed, otherwise essentially the same
  182. %      The numbers stay the same, for any referencing
  183.  
  184.  
  185.  
  186. cmchar "Square";
  187. beginchar(oct"062",2.1math_axis#+4u#,v_center(7u#));
  188. italcorr math_axis#*slant;
  189. adjust_fit(0,0); pickup rule.nib;
  190. numeric a; a=round(2.1math_axis);
  191. x1=x4=good.x 2u; x2=x3=x1+a;
  192. y3=y4=.5(cap_height-a); y1=y2=y3+a;
  193. draw z1--z2--z3--z4--cycle;
  194. labels(1,2,3,4); endchar;
  195.  
  196. % The size of this character is related to the diamond character, it's
  197. %   sightly larger.
  198. % It is NOT the diamond character which has been rotated
  199. % Vertical alignment raised to .5 cap height from math-axis height
  200. % 2 units of sidebearing space on each side, since vertical lines usually
  201. %   need a little more space, actually it's 2 units-.5rule.nib
  202.  
  203.  
  204.  
  205. cmchar "Bowtie operator";
  206. beginchar(oct"061",13u#,v_center(7u#));
  207. italcorr math_axis#*slant;
  208. adjust_fit(0,0); pickup rule.nib;
  209. numeric a; a=round(1.1*math_axis);
  210. x1=x4=good.x 1.5u; x2=x3=w-x1;
  211. y1=y2=good.y(.5(cap_height-2a)); y3=y4=y1+2a;
  212. draw z1--z3--z2--z4--c