|
|
1.1 ! root 1: .\" Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. ! 2: .de Du\"DUmmy for preprocessor ! 3: .. ! 4: .so bfont.def ! 5: .ds NU 81:09:25 ! 6: .ds B \fIB\fP ! 7: .nr ms 11\"Added by steven, point size of header ! 8: .de FR\" FRame text width, text height, page width, page height. UNITS! ! 9: .ll \\$1 ! 10: .lt \\$1 ! 11: .pl \\$4 ! 12: .nr PO (\\$3-\\$1)/2u ! 13: .po \\n(POu ! 14: .nr TW \\$1 ! 15: .nr HF (\\$4-\\$2)/2u ! 16: .ch PH ! 17: .ch Fo ! 18: .wh -\\n(HFu PH ! 19: .wh -\\n(HFu/2u Fo ! 20: .. ! 21: .de CM\" Cut Mark ! 22: .po 0 ! 23: .lt 8.5i ! 24: 'if t 'tl '\(em''\(em' ! 25: 'if n 'sp 1v ! 26: .lt ! 27: .po ! 28: 'sp \\n(HFu-1v ! 29: .. ! 30: .de SN \"Section Number ! 31: .ds Sn Section \\$1 \"current Section Number ! 32: .. ! 33: .SN 1 ! 34: .de pH\"title-less Page Header (used as Footer) NOT USED ! 35: 'bp ! 36: .CM ! 37: 'tl '''' ! 38: 'sp 2 ! 39: 'ns ! 40: .. ! 41: .de PH\"Page Header ! 42: .nr f1 \\n(.f\" current font ! 43: .ft ! 44: .nr f2 \\n(.f\" previous font ! 45: .ft R ! 46: .nr sp \\n(.s\"current point size ! 47: .ps \\n(ms-1 ! 48: 'bp ! 49: .CM \" Cut Mark ! 50: 'ie o 'tl ''\\*(TL'\\*(Sn' ! 51: 'el 'tl '\\*(Sn'\\*(TL'' ! 52: .ft \\n(f2\" restore previous font ! 53: .ft \\n(f1\" restore current font ! 54: .ps \\n(sp\"restore point size ! 55: 'sp 2 ! 56: 'ns ! 57: 'EH\"Extra Header ! 58: .. ! 59: .de Fo\" Page footer ! 60: .nr f1 \\n(.f\" current font ! 61: .ft ! 62: .nr f2 \\n(.f\" previous font ! 63: .ft R ! 64: .nr sp \\n(.s\"current point size ! 65: .ps \\n(ms-1 ! 66: .if \\n%>2 .tl ''%'' ! 67: .ft \\n(f2\" restore previous font ! 68: .ft \\n(f1\" restore current font ! 69: .ps \\n(sp\"restore point size ! 70: .. ! 71: .de cS\" param is # items to be constant-spaced ! 72: .nr wS 36*(\\n(.lu-6m)/(2*\\$1-1)/1m ! 73: .if \\n(wS>30 .nr ws 30 ! 74: .nr iN (\\n(.lu-((2*\\$1-1)*\\n(wS*1m/36))/2 ! 75: .if \\n(iNu>(2m+6n) .nr iN 2m+6n ! 76: .in \\n(iNu ! 77: .cs I \\n(wS \\n(.s ! 78: .. ! 79: .ds TL DESCRIPTION OF B ! 80: .FR 15.9c 25.4c 15.2c 29.2c\"Original B-report ! 81: .FR 12c 20c 16c 24c\"MCT 50 ! 82: .FR 16c 24c 21c 30c\"A4 ! 83: .ds 6 \`\"open Quote NOT USED ! 84: .ds 9 \'\"close Quote NOT USED ! 85: .ds d \\v'12u'\"a bit down, smaller font (for subscripts) ! 86: .ds u \\|\\v'-12u'\"up again ! 87: .ds 2 \\v'-21u'\\|2\\v'+21u'\"superscript 2 ! 88: .ds ' \\h'9u'\(fm\\h'-3u' ! 89: .ds ` \\v'+9u'\\h@\\w=\`=u*7u/10u@\\z\`\\h@\\w=\`=u*3u/10u@\\v'-9u' ! 90: .ds ^ \\v'+9u'\\h@\\w=^=u\/2u+2u@\\z^\\h@\\w=^=u\/2u@\\v'-9u' ! 91: .ds << \\v'-3u'<\\v'+3u' ! 92: .ds = \(eq ! 93: .ds >> \\v'-3u'>\\v'+3u' ! 94: .ds @ @\"otherwise too bulky ! 95: .ds # #\"otherwise too bulky ! 96: .\".ds | \^|\^ ! 97: .ds ~ \\v'-6u'\(ap\\v'+6u'\"otherwise too bulky ! 98: .ds * \\v'+21u'*\\v'-21u'\"lower and larger ! 99: .ds _ \\v'+24u'\(em\\v'-24u' ! 100: .if n \{\ ! 101: .\"nroff specialities ! 102: .FR 17.5c 62v 21.1c-6n 66v\" Line Printer ! 103: .\" .FR 19.1c 22.8c 21.1c 27.9c\" Line Printer ! 104: .ds d \\d\"half line down ! 105: .ds u \\u\"half line up ! 106: .ds 2 \\u2\\d\"superscript 2 ! 107: .ds ' \' ! 108: .ds ` \` ! 109: .ds ^ ^ ! 110: .ds = = ! 111: .ds @ @ ! 112: .ds ~ ~ ! 113: .ds * * ! 114: .ds _ _ \} ! 115: .de Xx\"indeXX entry ! 116: .. ! 117: .de Ix\"Inserted indeX entry NOT USED ! 118: .Xx \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 119: "\\$1" ! 120: .. ! 121: .de Us\"Unnumbered Section ! 122: .sp 1 ! 123: .ne \\$1 ! 124: .in 0 ! 125: .nr f1 \\n(.f\" current font ! 126: .ft ! 127: .nr f2 \\n(.f\" previous font ! 128: .ft B ! 129: \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 130: .ft \\n(f2\" restore previous font ! 131: .ft \\n(f1\" restore current font ! 132: .Ct \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 133: .sp 1 ! 134: .ns ! 135: .ad ! 136: .hy ! 137: .. ! 138: .de Ur\"Unnumbered section Refraining from break ! 139: .br ! 140: .sp 1 ! 141: .ne 5 ! 142: .in 0 ! 143: .nr f1 \\n(.f\" current font ! 144: .ft ! 145: .nr f2 \\n(.f\" previous font ! 146: .ft B ! 147: \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 148: .ft \\n(f2\" restore previous font ! 149: .ft \\n(f1\" restore current font ! 150: .Ct \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 151: .ns ! 152: .. ! 153: .de Ss\"Super Section (followed immediately by .St) NOT USED ! 154: .Us 7 \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 ! 155: .. ! 156: .de St\"Section of Text (followed by .Ta) ! 157: .SN \\$1 ! 158: .Us 5 \\$1.\0 \\$2 ! 159: .. ! 160: .de Se\"SEction (followed by .Sy) ! 161: .SN \\$2 ! 162: .Us \\$1+4 \\$2.\0 \\$3 ! 163: .. ! 164: .de Sy\"SYntax section ! 165: .sp 1 ! 166: .ne \\$2 ! 167: .in 0 ! 168: .ns ! 169: .. ! 170: .di No ! 171: .ev 1 ! 172: .br ! 173: M)\ \k!Down the drain ! 174: .br ! 175: .ev ! 176: .di ! 177: .de Bx\"Box ! 178: .nf ! 179: \v'-5u'\(br\v'5u'\|\\$1\|\v'-5u'\(br\v'5u'\\h'-7u'\l'|0+7u\(rn'\\h'-7u'\l'|0\(ul' ! 180: .fi ! 181: .. ! 182: .de Pr\"Production Rule ! 183: .Xx \\$1 ! 184: .sp 1 ! 185: .br ! 186: .ne \\$2 ! 187: .nh ! 188: .na ! 189: .in 1m ! 190: \\$1: ! 191: .. ! 192: .de Pn\"Production Rule with no index entry ! 193: .sp 1 ! 194: .br ! 195: .ne \\$2 ! 196: .nh ! 197: .na ! 198: .in 1m ! 199: \\$1: ! 200: .. ! 201: .de Ps\"Pseudo-Syntax (next line starting "x) ") ! 202: .sp 0.6 ! 203: .br ! 204: .ne 2 ! 205: .hy ! 206: .ad ! 207: .in 3m ! 208: .. ! 209: .de Al\"ALternative ! 210: .br ! 211: .in 5m ! 212: .ti 1m ! 213: \(bu\ \c ! 214: .. ! 215: .de Sl\"Single aLternative ! 216: .br ! 217: .in 5m ! 218: .ti 1m ! 219: \(bu\ \c ! 220: .. ! 221: .de Eo\"Examples Old style (more than one notion) ! 222: .sp 1 ! 223: .br ! 224: .ne \\$1 ! 225: .in 0 ! 226: .nf ! 227: Examples of \k1\\$2 ! 228: .. ! 229: .de Ex\"EXamples ! 230: .sp 1 ! 231: .br ! 232: .ne \\$1 ! 233: .nf ! 234: .in 12 ! 235: .ti 0 ! 236: Examples of \c ! 237: .. ! 238: .de Sx\"Single eXample ! 239: .sp 1 ! 240: .br ! 241: .ne \\$1 ! 242: .in 0 ! 243: Example \\$2 ! 244: .nf ! 245: .in 11 ! 246: .. ! 247: .de Xe\"eXample End ! 248: .sp 1 ! 249: .ns ! 250: .in 0 ! 251: .fi ! 252: .. ! 253: .de Sa ! 254: .sp 1 ! 255: .in 0 ! 256: See also: \c ! 257: .. ! 258: .de Ta ! 259: .Tx ! 260: .. ! 261: .de Tx\"running TeXt, starting with indent ! 262: .br ! 263: .hy ! 264: .ad ! 265: .fi ! 266: .sp ! 267: .br ! 268: .ne 2 ! 269: .in 0 ! 270: .ti \n^u\" bug; should have been ! register ! 271: .. ! 272: .de Di\"DIsplay ! 273: .sp 1 ! 274: .nf ! 275: .in +(2m+6n) ! 276: .ne \\$1 ! 277: .. ! 278: .de Ed\"End Display ! 279: .sp 1 ! 280: .ns ! 281: .in -(2m+6n) ! 282: .fi ! 283: .. ! 284: .de Io\"Indent Open ! 285: .in +1m+3n ! 286: .Bu \\$1 ! 287: .. ! 288: .de Ic\"Indent Close ! 289: .in -(1m+3n) ! 290: .Bu \\$1 ! 291: .. ! 292: .de Af\"As Follows ! 293: as follows: ! 294: .in +1m+3n ! 295: .Io ! 296: .. ! 297: .de Bu\"BUllet ! 298: .ti -(2m+6n) ! 299: .ne \\$1 ! 300: .. ! 301: .de Bl\"BLank ! 302: .br ! 303: .sp 1 ! 304: .ne \\$1 ! 305: .ns ! 306: .. ! 307: .de If\"If ! 308: .Bu ! 309: If ! 310: .. ! 311: .de Th\"Then ! 312: .Io ! 313: .. ! 314: .de Ow\"OtherWise ! 315: .Ic ! 316: Otherwise: ! 317: .Io ! 318: .. ! 319: .de Fi\"Fi ! 320: .Ic ! 321: .. ! 322: .de Er\"Error ! 323: .Bu ! 324: An error is signalled. ! 325: .Bu ! 326: .. ! 327: .de ##\"volatile remark NOT USED ! 328: .br ! 329: ### \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9 ! 330: .br ! 331: ..
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.