home *** CD-ROM | disk | FTP | other *** search
/ Atari FTP / ATARI_FTP_0693.zip / ATARI_FTP_0693 / Tex / mf_two.arc / BIGDEL.MF < prev    next >
Text File  |  1988-11-22  |  30KB  |  698 lines
  1. % This file contains series of large delimiters for math extension fonts.
  2.  
  3. % The sizes are `{\tt\char`\\big}' (|2dh#|), `{\tt\char`\\Big}' (|3dh#|),
  4. % `{\tt\char`\\bigg}' (|4dh#|), and `{\tt\char`\\Bigg}' (|5dh#|),
  5. % followed in most cases by an extensible character that can grow
  6. % arbitrarily large in |dh#| steps,
  7. % where |dh#| is 60\% of the font design size.
  8. % (For example, a 10-point font will have large delimiters in sizes
  9. % 12$\,$pt, 18$\,$pt, 24$\,$pt, 30$\,$pt, 36$\,$pt, 42$\,$pt, etc.)
  10.  
  11. % Character codes \0000--\0105 and \0150--\0177 are generated.
  12.  
  13. charlist oct"000": oct"020": oct"022": oct"040": oct"060";  % left parentheses
  14. charlist oct"001": oct"021": oct"023": oct"041": oct"061";  % right parentheses
  15. charlist oct"002": oct"150": oct"024": oct"042": oct"062";  % left brackets
  16. charlist oct"003": oct"151": oct"025": oct"043": oct"063";  % right brackets
  17. charlist oct"004": oct"152": oct"026": oct"044": oct"064";  % left floors
  18. charlist oct"005": oct"153": oct"027": oct"045": oct"065";  % right floors
  19. charlist oct"006": oct"154": oct"030": oct"046": oct"066";  % left ceilings
  20. charlist oct"007": oct"155": oct"031": oct"047": oct"067";  % right ceilings
  21. charlist oct"010": oct"156": oct"032": oct"050": oct"070";  % left braces
  22. charlist oct"011": oct"157": oct"033": oct"051": oct"071";  % right braces
  23. charlist oct"012": oct"104": oct"034": oct"052";  % left angle brackets
  24. charlist oct"013": oct"105": oct"035": oct"053";  % right angle brackets
  25. charlist oct"016": oct"056": oct"036": oct"054";  % slashes
  26. charlist oct"017": oct"057": oct"037": oct"055";  % backslashes
  27. charlist oct"160": oct"161": oct"162": oct"163": oct"164";  % radical signs
  28.  
  29. extensible oct"014": 0,0,0,oct"014";  % vertical line
  30. extensible oct"015": 0,0,0,oct"015";  % double vertical line
  31. extensible oct"060": oct"060",0,oct"100",oct"102";  % left parenthesis
  32. extensible oct"061": oct"061",0,oct"101",oct"103";  % right parenthesis
  33. extensible oct"062": oct"062",0,oct"064",oct"066";  % left bracket
  34. extensible oct"063": oct"063",0,oct"065",oct"067";  % right bracket
  35. extensible oct"064": 0,0,oct"064",oct"066";  % left floor bracket
  36. extensible oct"065": 0,0,oct"065",oct"067";  % right floor bracket
  37. extensible oct"066": oct"062",0,0,oct"066";  % left ceiling bracket
  38. extensible oct"067": oct"063",0,0,oct"067";  % right ceiling bracket
  39. extensible oct"070": oct"070",oct"074",oct"072",oct"076";  % left brace
  40. extensible oct"071": oct"071",oct"075",oct"073",oct"076";  % right brace
  41. extensible oct"072": oct"070",0,oct"072",oct"076";  % sharp left parenthesis
  42. extensible oct"073": oct"071",0,oct"073",oct"076";  % sharp right parenthesis
  43. extensible oct"074": 0,0,0,oct"077";  % arrow extension modules only
  44. extensible oct"075": 0,0,0,oct"167";  % double arrow extension modules only
  45. extensible oct"076": 0,0,0,oct"076";  % brace extension modules only
  46. extensible oct"077": oct"170",0,oct"171",oct"077";  % updownarrow
  47. extensible oct"100": oct"070",0,oct"073",oct"076";  % left moustache
  48. extensible oct"101": oct"071",0,oct"072",oct"076";  % right moustache
  49. extensible oct"102": 0,0,0,oct"102";  % left parenthesis extension modules only
  50. extensible oct"103": 0,0,0,oct"103";  % right parenthesis extension modules only
  51. extensible oct"164": oct"166",0,oct"164",oct"165";  % radical sign
  52. extensible oct"167": oct"176",0,oct"177",oct"167";  % double updownarrow
  53. extensible oct"170": oct"170",0,0,oct"077";  % uparrow
  54. extensible oct"171": 0,0,oct"171",oct"077";  % downarrow
  55. extensible oct"176": oct"176",0,0,oct"167";  % double uparrow
  56. extensible oct"177": 0,0,oct"177",oct"167";  % double downarrow
  57.  
  58. cmchar "\big left parenthesis";
  59. beginchar(oct"000",7u#,rule_thickness#,2dh#-rule_thickness#);
  60. adjust_fit(1.5u#,-.25u#); left_paren(hair,stem); endchar;
  61.  
  62. cmchar "\Big left parenthesis";
  63. beginchar(oct"020",9u#,rule_thickness#,3dh#-rule_thickness#);
  64. adjust_fit(2u#,-.25u#); left_paren(rule_thickness,.5[stem,bold]); endchar;
  65.  
  66. cmchar "\bigg left parenthesis";
  67. beginchar(oct"022",11u#,rule_thickness#,4dh#-rule_thickness#);
  68. adjust_fit(2.5u#,-.25u#); left_paren(rule_thickness+.2dw,bold); endchar;
  69.  
  70. cmchar "\Bigg left parenthesis";
  71. beginchar(oct"040",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  72. adjust_fit(3u#,-.25u#); left_paren(rule_thickness+.4dw,bold+dw); endchar;
  73.  
  74. cmchar "Extensible left parenthesis---top";
  75. beginchar(oct"060",12u#,rule_thickness#,3dh#-rule_thickness#);
  76. adjust_fit(4u#,-.25u#); pickup fine.nib;
  77. numeric min_breadth,max_breadth;
  78. min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
  79. pos1(hround min_breadth,0); pos2(hround max_breadth,0);
  80. rt x1r=hround(w-1.25u+.5min_breadth); lft x2l=hround 1.25u;
  81. top y1=h-1; y2=-d-eps;
  82. filldraw stroke z1e{3(x2e-x1e),y2-y1}...{down}z2e;  % upper arc
  83. penlabels(1,2); endchar;
  84.  
  85. cmchar "Extensible left parenthesis---bottom";
  86. beginchar(oct"100",12u#,rule_thickness#,3dh#-rule_thickness#);
  87. adjust_fit(4u#,-.25u#); pickup fine.nib;
  88. numeric min_breadth,max_breadth;
  89. min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
  90. pos3(hround min_breadth,0); pos2(hround max_breadth,0);
  91. rt x3r=hround(w-1.25u+.5min_breadth); lft x2l=hround 1.25u;
  92. bot y3=1-d; y2=h+eps;
  93. filldraw stroke z3e{3(x2e-x3e),y2-y3}...{up}z2e;  % lower arc
  94. penlabels(2,3); endchar;
  95.  
  96. cmchar "Extensible left parenthesis---extension module";
  97. beginchar(oct"102",12u#,0,dh#);
  98. adjust_fit(4u#,-.25u#); pickup fine.nib;
  99. numeric max_breadth; max_breadth=bold+2dw;
  100. pos2(hround max_breadth,0); pos2'(hround max_breadth,0);
  101. lft x2l=lft x2'l=hround 1.25u; y2=h+eps; y2'=-d-eps;
  102. filldraw stroke z2e--z2'e;  % link
  103. penlabels(2,2'); endchar;
  104.  
  105. cmchar "\big right parenthesis";
  106. beginchar(oct"001",7u#,rule_thickness#,2dh#-rule_thickness#);
  107. adjust_fit(-.25u#,1.5u#); right_paren(hair,stem); endchar;
  108.  
  109. cmchar "\Big right parenthesis";
  110. beginchar(oct"021",9u#,rule_thickness#,3dh#-rule_thickness#);
  111. adjust_fit(-.25u#,2u#); right_paren(rule_thickness,.5[stem,bold]); endchar;
  112.  
  113. cmchar "\bigg right parenthesis";
  114. beginchar(oct"023",11u#,rule_thickness#,4dh#-rule_thickness#);
  115. adjust_fit(-.25u#,2.5u#); right_paren(rule_thickness+.2dw,bold); endchar;
  116.  
  117. cmchar "\Bigg right parenthesis";
  118. beginchar(oct"041",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  119. adjust_fit(-.25u#,3u#); right_paren(rule_thickness+.4dw,bold+dw); endchar;
  120.  
  121. cmchar "Extensible right parenthesis---top";
  122. beginchar(oct"061",12u#,rule_thickness#,3dh#-rule_thickness#);
  123. adjust_fit(-.25u#,4u#); pickup fine.nib;
  124. numeric min_breadth,max_breadth;
  125. min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
  126. pos1(hround min_breadth,0); pos2(hround max_breadth,0);
  127. lft x1l=hround(1.25u-.5min_breadth); rt x2r=hround(w-1.25u);
  128. top y1=h-1; y2=-d-eps;
  129. filldraw stroke z1e{3(x2e-x1e),y2-y1}...{down}z2e;  % upper arc
  130. penlabels(1,2); endchar;
  131.  
  132. cmchar "Extensible right parenthesis---bottom";
  133. beginchar(oct"101",12u#,rule_thickness#,3dh#-rule_thickness#);
  134. adjust_fit(-.25u#,4u#); pickup fine.nib;
  135. numeric min_breadth,max_breadth;
  136. min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
  137. pos3(hround min_breadth,0); pos2(hround max_breadth,0);
  138. lft x3l=hround(1.25u-.5min_breadth); rt x2r=hround(w-1.25u);
  139. bot y3=1-d; y2=h+eps;
  140. filldraw stroke z3e{3(x2e-x3e),y2-y3}...{up}z2e;  % lower arc
  141. penlabels(2,3); endchar;
  142.  
  143. cmchar "Extensible right parenthesis---extension module";
  144. beginchar(oct"103",12u#,0,dh#);
  145. adjust_fit(-.25u#,4u#); pickup fine.nib;
  146. numeric max_breadth; max_breadth=bold+2dw;
  147. pos2(hround max_breadth,0); pos2'(hround max_breadth,0);
  148. rt x2r=rt x2'r=hround(w-1.25u); y2=h+eps; y2'=-d-eps;
  149. filldraw stroke z2e--z2'e;  % link
  150. penlabels(2,2'); endchar;
  151.  
  152. cmchar "\big left bracket";
  153. beginchar(oct"002",6u#,rule_thickness#,2dh#-rule_thickness#);
  154. adjust_fit(1.5u#,0); left_bracket(rule_thickness,true,true); endchar;
  155.  
  156. cmchar "\Big left bracket";
  157. beginchar(oct"150",6.5u#,rule_thickness#,3dh#-rule_thickness#);
  158. adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],true,true); endchar;
  159.  
  160. cmchar "\bigg left bracket";
  161. beginchar(oct"024",7u#,rule_thickness#,4dh#-rule_thickness#);
  162. adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],true,true); endchar;
  163.  
  164. cmchar "\Bigg left bracket";
  165. beginchar(oct"042",7.5u#,rule_thickness#,5dh#-rule_thickness#);
  166. adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],true,true); endchar;
  167.  
  168. cmchar "Extensible left bracket---top";
  169. beginchar(oct"062",8u#,rule_thickness#,3dh#-rule_thickness#);
  170. adjust_fit(4u#,0); pickup crisp.nib;
  171. pos1(stem,0); pos2(stem,0);
  172. top y1=h-1; y2=-d-eps; lft x1l=lft x2l=hround(2.5u-.5stem);
  173. filldraw stroke z1e--z2e;  % stem
  174. pos3(stem,90); pos4(stem,90);
  175. x3=x1l; rt x4=hround(w-.75u+.5stem); y3r=y4r=y1;
  176. filldraw stroke z3e--z4e;  % upper bar
  177. penlabels(1,2,3,4); endchar;
  178.  
  179. cmchar "Extensible left bracket---bottom";
  180. beginchar(oct"064",8u#,rule_thickness#,3dh#-rule_thickness#);
  181. adjust_fit(4u#,0); pickup crisp.nib;
  182. pos1(stem,0); pos2(stem,0);
  183. y1=h+eps; bot y2=1-d; lft x1l=lft x2l=hround(2.5u-.5stem);
  184. filldraw stroke z1e--z2e;  % stem
  185. pos5(stem,90); pos6(stem,90);
  186. x5=x1l; rt x6=hround(w-.75u+.5stem); y5l=y6l=y2;
  187. filldraw stroke z5e--z6e;  % lower bar
  188. penlabels(1,2,5,6); endchar;
  189.  
  190. cmchar "Extensible left bracket---extension module";
  191. beginchar(oct"066",8u#,0,dh#);
  192. adjust_fit(4u#,0); pickup crisp.nib;
  193. pos1(stem,0); pos2(stem,0);
  194. y1=h+1+eps; bot y2=-d-1-eps; lft x1l=lft x2l=hround(2.5u-.5stem);
  195. filldraw stroke z1e--z2e;  % stem
  196. penlabels(1,2); endchar;
  197.  
  198. cmchar "\big right bracket";
  199. beginchar(oct"003",6u#,rule_thickness#,2dh#-rule_thickness#);
  200. adjust_fit(0,1.5u#); right_bracket(rule_thickness,true,true); endchar;
  201.  
  202. cmchar "\Big right bracket";
  203. beginchar(oct"151",6.5u#,rule_thickness#,3dh#-rule_thickness#);
  204. adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],true,true); endchar;
  205.  
  206. cmchar "\bigg right bracket";
  207. beginchar(oct"025",7u#,rule_thickness#,4dh#-rule_thickness#);
  208. adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],true,true); endchar;
  209.  
  210. cmchar "\Bigg right bracket";
  211. beginchar(oct"043",7.5u#,rule_thickness#,5dh#-rule_thickness#);
  212. adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],true,true); endchar;
  213.  
  214. cmchar "Extensible right bracket---top";
  215. beginchar(oct"063",8u#,rule_thickness#,3dh#-rule_thickness#);
  216. adjust_fit(0,4u#); pickup crisp.nib;
  217. pos1(stem,0); pos2(stem,0);
  218. top y1=h-1; y2=-d-eps; rt x1r=rt x2r=hround(w-2.5u+.5stem);
  219. filldraw stroke z1e--z2e;  % stem
  220. pos3(stem,90); pos4(stem,90);
  221. x3=x1r; lft x4=hround(.75u-.5stem); y3r=y4r=y1;
  222. filldraw stroke z3e--z4e;  % upper bar
  223. penlabels(1,2,3,4); endchar;
  224.  
  225. cmchar "Extensible right bracket---bottom";
  226. beginchar(oct"065",8u#,rule_thickness#,3dh#-rule_thickness#);
  227. adjust_fit(0,4u#); pickup crisp.nib;
  228. pos1(stem,0); pos2(stem,0);
  229. y1=h+eps; bot y2=1-d; rt x1r=rt x2r=hround(w-2.5u+.5stem);
  230. filldraw stroke z1e--z2e;  % stem
  231. pos5(stem,90); pos6(stem,90);
  232. x5=x1r; lft x6=hround(.75u-.5stem); y5l=y6l=y2;
  233. filldraw stroke z5e--z6e;  % lower bar
  234. penlabels(1,2,5,6); endchar;
  235.  
  236. cmchar "Extensible right bracket---extension module";
  237. beginchar(oct"067",8u#,0,dh#);
  238. adjust_fit(0,4u#); pickup crisp.nib;
  239. pos1(stem,0); pos2(stem,0);
  240. y1=h+1+eps; bot y2=-d-1-eps; rt x1r=rt x2r=hround(w-2.5u+.5stem);
  241. filldraw stroke z1e--z2e;  % stem
  242. penlabels(1,2); endchar;
  243.  
  244. cmchar "\big left floor bracket";
  245. beginchar(oct"004",7u#,rule_thickness#,2dh#-rule_thickness#);
  246. adjust_fit(1.5u#,0); left_bracket(rule_thickness,false,true); endchar;
  247.  
  248. cmchar "\Big left floor bracket";
  249. beginchar(oct"152",7.5u#,rule_thickness#,3dh#-rule_thickness#);
  250. adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],false,true); endchar;
  251.  
  252. cmchar "\bigg left floor bracket";
  253. beginchar(oct"026",8u#,rule_thickness#,4dh#-rule_thickness#);
  254. adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],false,true); endchar;
  255.  
  256. cmchar "\Bigg left floor bracket";
  257. beginchar(oct"044",8.5u#,rule_thickness#,5dh#-rule_thickness#);
  258. adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],false,true); endchar;
  259.  
  260. cmchar "\big right floor bracket";
  261. beginchar(oct"005",7u#,rule_thickness#,2dh#-rule_thickness#);
  262. adjust_fit(0,1.5u#); right_bracket(rule_thickness,false,true); endchar;
  263.  
  264. cmchar "\Big right floor bracket";
  265. beginchar(oct"153",7.5u#,rule_thickness#,3dh#-rule_thickness#);
  266. adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],false,true); endchar;
  267.  
  268. cmchar "\bigg right floor bracket";
  269. beginchar(oct"027",8u#,rule_thickness#,4dh#-rule_thickness#);
  270. adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],false,true); endchar;
  271.  
  272. cmchar "\Bigg right floor bracket";
  273. beginchar(oct"045",8.5u#,rule_thickness#,5dh#-rule_thickness#);
  274. adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],false,true); endchar;
  275.  
  276. cmchar "\big left ceiling bracket";
  277. beginchar(oct"006",7u#,rule_thickness#,2dh#-rule_thickness#);
  278. adjust_fit(1.5u#,0); left_bracket(rule_thickness,true,false); endchar;
  279.  
  280. cmchar "\Big left ceiling bracket";
  281. beginchar(oct"154",7.5u#,rule_thickness#,3dh#-rule_thickness#);
  282. adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],true,false); endchar;
  283.  
  284. cmchar "\bigg left ceiling bracket";
  285. beginchar(oct"030",8u#,rule_thickness#,4dh#-rule_thickness#);
  286. adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],true,false); endchar;
  287.  
  288. cmchar "\Bigg left ceiling bracket";
  289. beginchar(oct"046",8.5u#,rule_thickness#,5dh#-rule_thickness#);
  290. adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],true,false); endchar;
  291.  
  292. cmchar "\big right ceiling bracket";
  293. beginchar(oct"007",7u#,rule_thickness#,2dh#-rule_thickness#);
  294. adjust_fit(0,1.5u#); right_bracket(rule_thickness,true,false); endchar;
  295.  
  296. cmchar "\Big right ceiling bracket";
  297. beginchar(oct"155",7.5u#,rule_thickness#,3dh#-rule_thickness#);
  298. adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],true,false); endchar;
  299.  
  300. cmchar "\bigg right ceiling bracket";
  301. beginchar(oct"031",8u#,rule_thickness#,4dh#-rule_thickness#);
  302. adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],true,false); endchar;
  303.  
  304. cmchar "\Bigg right ceiling bracket";
  305. beginchar(oct"047",8.5u#,rule_thickness#,5dh#-rule_thickness#);
  306. adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],true,false); endchar;
  307.  
  308. cmchar "\big left curly brace";
  309. beginchar(oct"010",9u#,rule_thickness#,2dh#-rule_thickness#);
  310. adjust_fit(.75u#,.75u#); left_curly(hair,stem); endchar;
  311.  
  312. cmchar "\Big left curly brace";
  313. beginchar(oct"156",10u#,rule_thickness#,3dh#-rule_thickness#);
  314. adjust_fit(u#,u#); left_curly(rule_thickness,.5[stem,bold]); endchar;
  315.  
  316. cmchar "\bigg left curly brace";
  317. beginchar(oct"032",11u#,rule_thickness#,4dh#-rule_thickness#);
  318. adjust_fit(1.25u#,1.25u#); left_curly(rule_thickness+.2dw,bold); endchar;
  319.  
  320. cmchar "\Bigg left curly brace";
  321. beginchar(oct"050",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  322. adjust_fit(1.5u#,1.5u#); left_curly(rule_thickness+.4dw,bold+dw); endchar;
  323.  
  324. cmchar "Extensible left curly brace---top";
  325. beginchar(oct"070",12u#,0,1.5dh#);
  326. adjust_fit(2u#,2u#); pickup fine.nib;
  327. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  328. pos1(min_breadth,0); pos1'(min_breadth,0);
  329. pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
  330. rt x1r=rt x1'r=hround(w-1.5u+.5min_breadth);
  331. lft x2l=lft x3l=hround(.5w-.5heavy_rule_thickness);
  332. top y1=h-1; y3=-d-eps; y2=.5[y1,y3]; y1-y1'=min_breadth-fine;
  333. filldraw z1l{3(x2l-x1l),y2-y1}...z2l---z3l
  334.  --z3r---z2r...{3(x1r-x2r),y1'-y2}z1'r--z1r--cycle;  % stroke
  335. penlabels(1,2,3); endchar;
  336.  
  337. cmchar "Extensible left curly brace---bottom";
  338. beginchar(oct"072",12u#,0,1.5dh#);
  339. adjust_fit(2u#,2u#); pickup fine.nib;
  340. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  341. pos7(min_breadth,0); pos7'(min_breadth,0);
  342. pos5(heavy_rule_thickness,0); pos6(heavy_rule_thickness,0);
  343. rt x7r=rt x7'r=hround(w-1.5u+.5min_breadth);
  344. lft x5l=lft x6l=hround(.5w-.5heavy_rule_thickness);
  345. y5=h+eps; bot y7=1-d; y6=.5[y5,y7]; y7'-y7=min_breadth-fine;
  346. filldraw z5l---z6l...{3(x7l-x6l),y7-y6}z7l
  347.  --z7r--z7'r{3(x6r-x7r),y6-y7'}...z6r---z5r--cycle;  % stroke
  348. penlabels(5,6,7); endchar;
  349.  
  350. cmchar "Extensible left curly brace---middle";
  351. beginchar(oct"074",12u#,0,3dh#);
  352. adjust_fit(2u#,2u#); pickup fine.nib;
  353. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  354. pos4(min_breadth,0); pos4'(min_breadth,0);
  355. forsuffixes $=2,3,5,6: pos$(heavy_rule_thickness,0); endfor
  356. lft x4l=lft x4'l=hround(1.5u-.5min_breadth);
  357. x2=x3=x5=x6; lft x2l=hround(.5w-.5heavy_rule_thickness);
  358. y2=h+eps; y6=-d-eps; .5[y4,y4']=.5[y2,y6]=.5[y3,y5];
  359. y3-y4=(y2-y6)/4; y4-y4'=min_breadth-fine;
  360. filldraw z2l---z3l...{3(x4l-x3l),y4-y3}z4l
  361.  --z4'l{3(x5l-x4l),y5-y4'}...z5l---z6l--z6r---z5r
  362.  ...{3(x4r-x5r),.5[y4,y4']-y5}.5[z4r,z4'r]{3(x3r-x4r),y3-.5[y4,y4']}
  363.  ...z3r---z2r--cycle;  % stroke
  364. penlabels(2,3,4,5,6); endchar;
  365.  
  366. cmchar "Extensible curly brace---extension module";
  367. beginchar(oct"076",12u#,0,.5dh#);
  368. adjust_fit(2u#,2u#); pickup fine.nib;
  369. pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
  370. lft x2l=lft x3l=hround(.5w-.5heavy_rule_thickness); y2=h+eps; y3=-d-eps;
  371. filldraw stroke z2e--z3e;  % stem
  372. penlabels(2,3); endchar;
  373.  
  374. cmchar "\big right curly brace";
  375. beginchar(oct"011",9u#,rule_thickness#,2dh#-rule_thickness#);
  376. adjust_fit(.75u#,.75u#); right_curly(hair,stem); endchar;
  377.  
  378. cmchar "\Big right curly brace";
  379. beginchar(oct"157",10u#,rule_thickness#,3dh#-rule_thickness#);
  380. adjust_fit(u#,u#); right_curly(rule_thickness,.5[stem,bold]); endchar;
  381.  
  382. cmchar "\bigg right curly brace";
  383. beginchar(oct"033",11u#,rule_thickness#,4dh#-rule_thickness#);
  384. adjust_fit(1.25u#,1.25u#); right_curly(rule_thickness+.2dw,bold); endchar;
  385.  
  386. cmchar "\Bigg right curly brace";
  387. beginchar(oct"051",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  388. adjust_fit(1.5u#,1.5u#); right_curly(rule_thickness+.4dw,bold+dw); endchar;
  389.  
  390. cmchar "Extensible right curly brace---top";
  391. beginchar(oct"071",12u#,0,1.5dh#);
  392. adjust_fit(2u#,2u#); pickup fine.nib;
  393. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  394. pos1(min_breadth,0); pos1'(min_breadth,0);
  395. pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
  396. lft x1l=lft x1'l=hround(1.5u-.5min_breadth);
  397. lft x2l=lft x3l=hround(.5w-.5heavy_rule_thickness);
  398. top y1=h-1; y3=-d-eps; y2=.5[y1,y3]; y1-y1'=min_breadth-fine;
  399. filldraw z1r{3(x2r-x1r),y2-y1}...z2r---z3r
  400.  --z3l---z2l...{3(x1l-x2l),y1'-y2}z1'l--z1l--cycle;  % stroke
  401. penlabels(1,2,3); endchar;
  402.  
  403. cmchar "Extensible right curly brace---bottom";
  404. beginchar(oct"073",12u#,0,1.5dh#);
  405. adjust_fit(2u#,2u#); pickup fine.nib;
  406. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  407. pos7(min_breadth,0); pos7'(min_breadth,0);
  408. pos5(heavy_rule_thickness,0); pos6(heavy_rule_thickness,0);
  409. lft x7l=lft x7'l=hround(1.5u-.5min_breadth);
  410. lft x5l=lft x6l=hround(.5w-.5heavy_rule_thickness);
  411. y5=h+eps; bot y7=1-d; y6=.5[y5,y7]; y7'-y7=min_breadth-fine;
  412. filldraw z5r---z6r...{3(x7r-x6r),y7-y6}z7r
  413.  --z7l--z7'l{3(x6l-x7l),y6-y7'}...z6l---z5l--cycle;  % stroke
  414. penlabels(5,6,7); endchar;
  415.  
  416. cmchar "Extensible right curly brace---middle";
  417. beginchar(oct"075",12u#,0,3dh#);
  418. adjust_fit(2u#,2u#); pickup fine.nib;
  419. numeric min_breadth; min_breadth=hround(rule_thickness+.6dw);
  420. pos4(min_breadth,0); pos4'(min_breadth,0);
  421. forsuffixes $=2,3,5,6: pos$(heavy_rule_thickness,0); endfor
  422. rt x4r=rt x4'r=hround(w-1.5u+.5min_breadth);
  423. x2=x3=x5=x6; lft x2l=hround(.5w-.5heavy_rule_thickness);
  424. y2=h+eps; y6=-d-eps; .5[y4,y4']=.5[y2,y6]=.5[y3,y5];
  425. y3-y4=(y2-y6)/4; y4-y4'=min_breadth-fine;
  426. filldraw z2r---z3r...{3(x4r-x3r),y4-y3}z4r
  427.  --z4'r{3(x5r-x4r),y5-y4'}...z5r---z6r--z6l---z5l
  428.  ...{3(x4l-x5l),.5[y4,y4']-y5}.5[z4l,z4'l]{3(x3l-x4l),y3-.5[y4,y4']}
  429.  ...z3l---z2l--cycle;  % stroke
  430. penlabels(2,3,4,5,6); endchar;
  431.  
  432. cmchar "Horizontal curly brace tip---down and left";
  433. beginchar(oct"172",.75dh#,3rule_thickness#,0);
  434. adjust_fit(0,0); pickup fine.nib;
  435. numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
  436. pos1(min_breadth,90); pos1'(min_breadth,90);
  437. pos2(heavy_rule_thickness,90);
  438. bot y2l=0; bot y1l=bot y1'l=vround(y2-4.5u-.5min_breadth);
  439. .5[x1,x1']=-eps; x2=w+shrink_fit+eps; x1'-x1=min_breadth-fine;
  440. filldraw z1r{x2-x1,3(y2r-y1r)}...{right}z2r
  441.  --z2l{left}...{x1'-x2,3(y1-y2)}z1'l--z1l--cycle;  % stroke
  442. penlabels(1,2); endchar;
  443.  
  444. cmchar "Horizontal curly brace tip---down and right";
  445. beginchar(oct"173",.75dh#,3rule_thickness#,0);
  446. adjust_fit(0,0); pickup fine.nib;
  447. numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
  448. pos1(min_breadth,90); pos1'(min_breadth,90);
  449. pos2(heavy_rule_thickness,90);
  450. bot y2l=0; bot y1l=bot y1'l=vround(y2-4.5u-.5min_breadth);
  451. .5[x1,x1']=w+shrink_fit+eps; x2=-eps; x1-x1'=min_breadth-fine;
  452. filldraw z1r{x2-x1,3(y2r-y1r)}...{left}z2r
  453.  --z2l{right}...{x1'-x2,3(y1-y2)}z1'l--z1l--cycle;  % stroke
  454. penlabels(1,2); endchar;
  455.  
  456. cmchar "Horizontal curly brace tip---up and left";
  457. beginchar(oct"174",.75dh#,3rule_thickness#,0);
  458. adjust_fit(0,0); pickup fine.nib;
  459. numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
  460. pos1(min_breadth,90); pos1'(min_breadth,90);
  461. pos2(heavy_rule_thickness,90);
  462. bot y2l=0; top y1r=top y1'r=vround(y2+4.5u+.5min_breadth);
  463. .5[x1,x1']=-eps; x2=w+shrink_fit+eps; x1'-x1=min_breadth-fine;
  464. filldraw z1l{x2-x1,3(y2l-y1l)}...{right}z2l
  465.  --z2r{left}...{x1'-x2,3(y1-y2)}z1'r--z1r--cycle;  % stroke
  466. penlabels(1,2); endchar;
  467.  
  468. cmchar "Horizontal curly brace tip---up and right";
  469. beginchar(oct"175",.75dh#,3rule_thickness#,0);
  470. adjust_fit(0,0); pickup fine.nib;
  471. numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
  472. pos1(min_breadth,90); pos1'(min_breadth,90);
  473. pos2(heavy_rule_thickness,90);
  474. bot y2l=0; top y1r=top y1'r=vround(y2+4.5u+.5min_breadth);
  475. .5[x1,x1']=w+shrink_fit+eps; x2=-eps; x1-x1'=min_breadth-fine;
  476. filldraw z1l{x2-x1,3(y2l-y1l)}...{left}z2l
  477.  --z2r{right}...{x1'-x2,3(y1-y2)}z1'r--z1r--cycle;  % stroke
  478. penlabels(1,2); endchar;
  479.  
  480. cmchar "\big left angle bracket";
  481. beginchar(oct"012",7u#,rule_thickness#,2dh#-rule_thickness#);
  482. adjust_fit(.75u#,.75u#); left_angle(rule_thickness); endchar;
  483.  
  484. cmchar "\Big left angle bracket";
  485. beginchar(oct"104",9u#,rule_thickness#,3dh#-rule_thickness#);
  486. adjust_fit(u#,u#); left_angle(.25[rule_thickness,stem]); endchar;
  487.  
  488. cmchar "\bigg left angle bracket";
  489. beginchar(oct"034",11u#,rule_thickness#,4dh#-rule_thickness#);
  490. adjust_fit(1.25u#,1.25u#); left_angle(.5[rule_thickness,stem]); endchar;
  491.  
  492. cmchar "\Bigg left angle bracket";
  493. beginchar(oct"052",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  494. adjust_fit(1.5u#,1.5u#); left_angle(.75[rule_thickness,stem]); endchar;
  495.  
  496. cmchar "\big right angle bracket";
  497. beginchar(oct"013",7u#,rule_thickness#,2dh#-rule_thickness#);
  498. adjust_fit(.75u#,.75u#); right_angle(rule_thickness); endchar;
  499.  
  500. cmchar "\Big right angle bracket";
  501. beginchar(oct"105",9u#,rule_thickness#,3dh#-rule_thickness#);
  502. adjust_fit(u#,u#); right_angle(.25[rule_thickness,stem]); endchar;
  503.  
  504. cmchar "\bigg right angle bracket";
  505. beginchar(oct"035",11u#,rule_thickness#,4dh#-rule_thickness#);
  506. adjust_fit(1.25u#,1.25u#); right_angle(.5[rule_thickness,stem]); endchar;
  507.  
  508. cmchar "\Bigg right angle bracket";
  509. beginchar(oct"053",11.5u#,rule_thickness#,5dh#-rule_thickness#);
  510. adjust_fit(1.5u#,1.5u#); right_angle(.75[rule_thickness,stem]); endchar;
  511.  
  512. cmchar "\big slash";
  513. beginchar(oct"016",10.4u#,rule_thickness#,2dh#-rule_thickness#);
  514. big_slash(rule_thickness+.2dw); endchar;
  515.  
  516. cmchar "\Big slash";
  517. beginchar(oct"056",14.6u#,rule_thickness#,3dh#-rule_thickness#);
  518. big_slash(rule_thickness+.6dw); endchar;
  519.  
  520. cmchar "\bigg slash";
  521. beginchar(oct"036",18.8u#,rule_thickness#,4dh#-rule_thickness#);
  522. big_slash(rule_thickness+dw); endchar;
  523.  
  524. cmchar "\Bigg slash";
  525. beginchar(oct"054",23u#,rule_thickness#,5dh#-rule_thickness#);
  526. big_slash(rule_thickness+1.5dw); endchar;
  527.  
  528. cmchar "\big backslash";
  529. beginchar(oct"017",10.4u#,rule_thickness#,2dh#-rule_thickness#);
  530. big_blash(rule_thickness+.2dw); endchar;
  531.  
  532. cmchar "\Big backslash";
  533. beginchar(oct"057",14.6u#,rule_thickness#,3dh#-rule_thickness#);
  534. big_blash(rule_thickness+.6dw); endchar;
  535.  
  536. cmchar "\bigg backslash";
  537. beginchar(oct"037",18.8u#,rule_thickness#,4dh#-rule_thickness#);
  538. big_blash(rule_thickness+dw); endchar;
  539.  
  540. cmchar "\Bigg backslash";
  541. beginchar(oct"055",23u#,rule_thickness#,5dh#-rule_thickness#);
  542. big_blash(rule_thickness+1.5dw); endchar;
  543.  
  544. cmchar "Extensible vertical line---extension module";
  545. beginchar(oct"014",6u#,0,dh#);
  546. adjust_fit(0,0); pickup pencircle scaled(rule_thickness+.2dw);
  547. x1=x2=good.x .5w; y1=eps; y2=-d-eps;
  548. draw z1--z2;  % stem
  549. labels(1,2); endchar;
  550.  
  551. cmchar "Extensible double vertical line---extension module";
  552. beginchar(oct"015",10u#,0,dh#);
  553. adjust_fit(0,0); pickup pencircle scaled(rule_thickness+.2dw);
  554. x1=x2=good.x .3w; x3=x4=w-x1; y1=y3=eps; y2=y4=-d-eps;
  555. draw z1--z2; draw z3--z4;  % stems
  556. labels(1,2,3,4); endchar;
  557.  
  558. cmchar "Extensible vertical arrow--top";
  559. beginchar(oct"170",12u#,0,dh#);
  560. adjust_fit(0,0); pickup crisp.nib;
  561. numeric thickness,barr;
  562. thickness=hround(rule_thickness+.2dw); barr=Vround .6[bar,thickness];
  563. pos1(thickness,0); pos2(thickness,0); pos3(barr,90); pos4(barr,90);
  564. lft x1l=hround(.5w-.5thickness); y1=-d-eps;
  565. x0=x1=x2; top y0=h; x0-x3=x4-x0=4u+eps;
  566. y3=y4=y0-.29asc_height-eps;
  567. pos5(barr,angle(z4-z0)); z5l=z0;
  568. pos6(barr,angle(z3-z0)); z6l=z0;
  569. z9=.381966[.5[z3,z4],z0];
  570. numeric t; path p; p=z4l{z9-z4}..z6r;
  571. t=xpart(p intersectiontimes((x2r,-d)--(x2r,h))); y2=ypart point t of p;
  572. filldraw z0..{z4-z9}z4r--subpath (0,t) of\\(z4l{z9-z4}..z6r)
  573.  --z2r---z1r--z1l---z2l--subpath (t,0) of\\(z3l{z9-z3}..z5r)
  574.  --z3r{z9-z3}..z0 & cycle;  % arrowhead and stem
  575. penlabels(0,1,2,3,4,5,6,9); endchar;
  576.  
  577. cmchar "Extensible vertical arrow--bottom";
  578. beginchar(oct"171",12u#,0,dh#);
  579. adjust_fit(0,0); pickup crisp.nib;
  580. numeric thickness,barr;
  581. thickness=hround(rule_thickness+.2dw); barr=Vround .6[bar,thickness];
  582. pos1(thickness,0); pos2(thickness,0); pos3(barr,90); pos4(barr,90);
  583. lft x1l=hround(.5w-.5thickness); y1=h+eps;
  584. x0=x1=x2; bot y0=-d; x0-x3=x4-x0=4u+eps;
  585. y3=y4=y0+.29asc_height+eps;
  586. pos5(barr,angle(z4-z0)); z5l=z0;
  587. pos6(barr,angle(z3-z0)); z6l=z0;
  588. z9=.381966[.5[z3,z4],z0];
  589. numeric t; path p; p=z4r{z9-z4}..z6r;
  590. t=xpart(p intersectiontimes((x2r,-d)--(x2r,h))); y2=ypart point t of p;
  591. filldraw z0..{z4-z9}z4l--subpath (0,t) of\\(z4r{z9-z4}..z6r)
  592.  --z2r---z1r--z1l---z2l--subpath (t,0) of\\(z3r{z9-z3}..z5r)
  593.  --z3l{z9-z3}..z0 & cycle;  % arrowhead and stem
  594. penlabels(0,1,2,3,4,5,6,9); endchar;
  595.  
  596. "Extensible vertical arrow--extension module";
  597. beginchar(oct"077",12u#,0,dh#);
  598. adjust_fit(0,0); pickup crisp.nib;
  599. numeric thickness; thickness=hround(rule_thickness+.2dw);
  600. pos1(thickness,0); pos2(thickness,0);
  601. lft x1l=hround(.5w-.5thickness); x2=x1; y1=h+1+eps; y2=-d-1-eps;
  602. filldraw stroke z1e--z2e;  % stem
  603. penlabels(1,2); endchar;
  604.  
  605. cmchar "Extensible double vertical arrow--top";
  606. beginchar(oct"176",14u#,0,dh#);
  607. adjust_fit(0,0); pickup crisp.nib;
  608. numeric thickness; thickness=Vround(rule_thickness+.2dw);
  609. pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
  610. y1=y2=-d-eps; y7=y8=h; top y0=h+eps; x1=x7; x2=x8;
  611. rt x1r=hround(.5w+2u+.5thickness); .5[x1,x2]=x0=good.x .5w;
  612. filldraw stroke z1e--z7e; filldraw stroke z2e--z8e;  % bars
  613. pos3(thickness,90); pos4(thickness,90);
  614. x2-x3=x4-x1=4u+eps; y3=y4=y0-.48asc_height-eps;
  615. pos5(thickness,angle(z4-z0)); z5l=z0;
  616. pos6(thickness,angle(z3-z0)); z6l=z0; z9=.381966[.5[z3,z4],z0];
  617. erase filldraw z0..{z3-z9}z3--(x3,h)
  618.  --(x4,h)--z4{z9-z4}..z0 & cycle;  % erase excess
  619. numeric t; path p; p=z4l{z9-z4}..z6r;
  620. t=xpart(p intersectiontimes((x0,-d)--(x0,h)));
  621. filldraw z0..{z4-z9}z4r--subpath (0,t) of\\(z4l{z9-z4}..z6r)
  622.  --subpath (t,0) of\\(z3l{z9-z3}..z5r)--z3r{z9-z3}..z0 & cycle;  % arrowhead
  623. penlabels(0,1,2,3,4,5,6,7,8,9); endchar;
  624.  
  625. cmchar "Extensible double vertical arrow--bottom";
  626. beginchar(oct"177",14u#,0,dh#);
  627. adjust_fit(0,0); pickup crisp.nib;
  628. numeric thickness; thickness=Vround(rule_thickness+.2dw);
  629. pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
  630. y1=y2=h+eps; y7=y8=-d; bot y0=-d-eps; x1=x7; x2=x8;
  631. rt x1r=hround(.5w+2u+.5thickness); .5[x1,x2]=x0=good.x .5w;
  632. filldraw stroke z1e--z7e; filldraw stroke z2e--z8e;  % bars
  633. pos3(thickness,90); pos4(thickness,90);
  634. x2-x3=x4-x1=4u+eps; y3=y4=y0+.48asc_height-eps;
  635. pos5(thickness,angle(z4-z0)); z5l=z0;
  636. pos6(thickness,angle(z3-z0)); z6l=z0; z9=.381966[.5[z3,z4],z0];
  637. erase filldraw z0..{z3-z9}z3--(x3,-d)
  638.  --(x4,-d)--z4{z9-z4}..z0 & cycle;  % erase excess
  639. numeric t; path p; p=z4r{z9-z4}..z6r;
  640. t=xpart(p intersectiontimes((x0,-d)--(x0,h)));
  641. filldraw z0..{z4-z9}z4l--subpath (0,t) of\\(z4r{z9-z4}..z6r)
  642.  --subpath (t,0) of\\(z3r{z9-z3}..z5r)--z3l{z9-z3}..z0 & cycle;  % arrowhead
  643. penlabels(0,1,2,3,4,5,6,7,8,9); endchar;
  644.  
  645. "Extensible double vertical arrow--extension module";
  646. beginchar(oct"167",14u#,0,dh#);
  647. adjust_fit(0,0); pickup crisp.nib;
  648. numeric thickness; thickness=Vround(rule_thickness+.2dw);
  649. pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
  650. y1=y2=h+1+eps; y7=y8=-d-1-eps; x1=x7; x2=x8;
  651. rt x1r=hround(.5w+2u+.5thickness); .5[x1,x2]=good.x .5w;
  652. filldraw stroke z1e--z7e; filldraw stroke z2e--z8e;  % bars
  653. penlabels(1,2,7,8); endchar;
  654.  
  655. cmchar "\big radical sign";
  656. beginchar(oct"160",18u#,rule_thickness#,2dh#-rule_thickness#);
  657. big_sqrt; endchar;
  658.  
  659. cmchar "\Big radical sign";
  660. beginchar(oct"161",18u#,rule_thickness#,3dh#-rule_thickness#);
  661. big_sqrt; endchar;
  662.  
  663. cmchar "\bigg radical sign";
  664. beginchar(oct"162",18u#,rule_thickness#,4dh#-rule_thickness#);
  665. big_sqrt; endchar;
  666.  
  667. cmchar "\Bigg radical sign";
  668. beginchar(oct"163",18u#,rule_thickness#,5dh#-rule_thickness#);
  669. big_sqrt; endchar;
  670.  
  671. cmchar "Extensible radical sign---bottom";
  672. beginchar(oct"164",19u#,0,3dh#);
  673. adjust_fit(0,-letter_fit#); pickup rule.nib;
  674. x1=x2=good.x(w-6u); bot y1=1-d; y2=h+eps;
  675. draw z1--z2;  % diagonal
  676. pickup crisp.nib; pos3(max(curve,rule_thickness),0);
  677. x3l=good.x 3u; y3=.9[y1,y2];
  678. pos4(rule_thickness,0); x4=x1; bot y4=-d;
  679. pos5(vair,-45); x5l=good.x(x3l-u); z5l=whatever[z3r,(x2,body_height)];
  680. z6=z5r+whatever*((x2,body_height)-z3r)=whatever[z3l,z4l];
  681. z7=whatever[z1,z2]=z3r+whatever*(z4l-z3l);
  682. filldraw z5r--z6--z4l--z4--z7--z3r--z5l--cycle;  % left diagonal and serif
  683. penlabels(1,2,3,4,5,6,7); endchar;
  684.  
  685. cmchar "Extensible radical sign---extension module";
  686. beginchar(oct"165",19u#,0,dh#);
  687. adjust_fit(0,-letter_fit#); pickup rule.nib;
  688. x1=x2=good.x(w-6u); y1=-d-eps; y2=h+eps;
  689. draw z1--z2;  % stem
  690. labels(1,2); endchar;
  691.  
  692. cmchar "Extensible radical sign---top";
  693. beginchar(oct"166",19u#,rule_thickness#,dh#-rule_thickness#);
  694. adjust_fit(0,-letter_fit#); pickup rule.nib;
  695. x1=x2=good.x(w-6u); x3=good.x(w+.5); y1=-d-eps; bot y2=bot y3=0;
  696. draw z1--z2--z3;  % stem and link
  697. labels(1,2,3); endchar;
  698.