Return to global CVS log

Up to [Research Unix] / researchv10no / cmd / monk / o.db

Annotation of researchv10no/cmd/monk/o.db/global, revision 1.1

1.1     ! root        1: 
        !             2: 
        !             3: 
        !             4: 
        !             5: 
        !             6: 
        !             7: 
        !             8: 
        !             9: 
        !            10: 
        !            11: 
        !            12: 
        !            13: 
        !            14: 
        !            15: 
        !            16: 
        !            17: 
        !            18: 
        !            19: 
        !            20: 
        !            21: 
        !            22: 
        !            23: 
        !            24: 
        !            25: 
        !            26: 
        !            27: |environment(roman;
        !            28: font roman;)
        !            29: |comment<summary: roman (alias for r)>
        !            30: 
        !            31: |environment(r;
        !            32: font roman;)
        !            33: |comment<summary: r (roman)>
        !            34: 
        !            35: |environment(italics;
        !            36: font italics;)
        !            37: |comment<summary: italics (alias for i)>
        !            38: 
        !            39: |environment(i;
        !            40: font italics;)
        !            41: |comment<summary: i (italics)>
        !            42: 
        !            43: |environment(bold;
        !            44: font bold;)
        !            45: |comment<summary: bold (alias for b)>
        !            46: 
        !            47: |environment(b;
        !            48: font bold;)
        !            49: |comment<summary: b (bold)>
        !            50: 
        !            51: |environment(bolditalics;
        !            52: font bolditalics;)
        !            53: |comment<summary: bolditalics (alias for bi)>
        !            54: 
        !            55: |environment(bi;
        !            56: font bolditalics;)
        !            57: |comment<summary: bi (bolditalics)>
        !            58: 
        !            59: |environment(constant_width;
        !            60: font cw;)
        !            61: |comment<summary: constant_width (alias for cw)>
        !            62: 
        !            63: |environment(cw;
        !            64: font cw;)
        !            65: |comment<summary: cw (constant width)>
        !            66: 
        !            67: |environment(here;
        !            68: here on;)
        !            69: |comment<summary: here (keep a block together on this page or start a new page)>
        !            70: 
        !            71: |environment(around;
        !            72: around on;)
        !            73: |comment<summary: around (keep a block together here or move it to the next page)>
        !            74: 
        !            75: |environment(around_placement;
        !            76: ;
        !            77: 
        !            78: around_placement)
        !            79: |comment<summary: around_placement (output all arounds here)>
        !            80: 
        !            81: |environment(full;
        !            82: around_width full, footnote_width full;)
        !            83: |comment<summary: full (use the whole page for footnotes and arounds)>
        !            84: 
        !            85: |environment(narrow;
        !            86: around_width narrow, footnote_width narrow;)
        !            87: |comment<summary: narrow (use just this column for footnotes and arounds)>
        !            88: 
        !            89: |associate(blank_space;;;
        !            90: 
        !            91: [$;
        !            92: spacing on, blank.lines $;]
        !            93: [;
        !            94: spacing on, blank.lines 1;])
        !            95: |comment<summary: blank_space (leave this much blank space)>
        !            96: 
        !            97: |associate(new_page;;;
        !            98: 
        !            99: [1;
        !           100: spacing on, new.page;]
        !           101: [2;
        !           102: spacing on, new.page, spacing on, new.page;]
        !           103: [3;
        !           104: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !           105: [4;
        !           106: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           107: spacing on, new.page;]
        !           108: [5;
        !           109: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           110: spacing on, new.page, spacing on, new.page;]
        !           111: [6;
        !           112: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           113: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !           114: [7;
        !           115: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           116: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           117: spacing on, new.page;]
        !           118: [8;
        !           119: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           120: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           121: spacing on, new.page, spacing on, new.page;]
        !           122: [9;
        !           123: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           124: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           125: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !           126: [10;
        !           127: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           128: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           129: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           130: spacing on, new.page;]
        !           131: [11;
        !           132: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           133: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           134: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           135: spacing on, new.page, spacing on, new.page;]
        !           136: [12;
        !           137: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           138: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           139: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           140: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !           141: [13;
        !           142: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           143: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           144: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           145: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           146: spacing on, new.page;]
        !           147: [14;
        !           148: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           149: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           150: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           151: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           152: spacing on, new.page, spacing on, new.page;]
        !           153: [15;
        !           154: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           155: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           156: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           157: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !           158: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !           159: [;
        !           160: spacing on, new.page;])
        !           161: |comment<summary: new_page (skip to the next next page)>
        !           162: 
        !           163: |associate(column_style; column next;;
        !           164: 
        !           165: [width $;;
        !           166: column width $]
        !           167: [offset $;;
        !           168: column offset $])
        !           169: |comment<summary: column_style (width, offset)>
        !           170: 
        !           171: |associate(new_column;;;
        !           172: 
        !           173: [$;;
        !           174: column old $]
        !           175: [;;
        !           176: column new])
        !           177: |comment<summary: new_column (skip to the next column)>
        !           178: 
        !           179: |environment(indent;
        !           180: indent +3;)
        !           181: |comment<summary: indent (indent by standard amount)>
        !           182: 
        !           183: |environment(center;
        !           184: center on;)
        !           185: |comment<summary: center (center each line)>
        !           186: 
        !           187: |environment(center_block;
        !           188: fill off, center.block on;)
        !           189: |comment<summary: center_block (center all lines as a block)>
        !           190: 
        !           191: |environment(small;
        !           192: size -1;)
        !           193: |comment<summary: small (reduce the point size)>
        !           194: 
        !           195: |environment(s;
        !           196: size -1;)
        !           197: |comment<summary: s (alias for small)>
        !           198: 
        !           199: |environment(big;
        !           200: size +1;)
        !           201: |comment<summary: big (increase point size)>
        !           202: 
        !           203: |environment(u;
        !           204: underline on;)
        !           205: |comment<summary: u (underline)>
        !           206: 
        !           207: |environment(underline;
        !           208: underline on;)
        !           209: |comment<summary: underline (alias for u)>
        !           210: 
        !           211: |environment(quotation;
        !           212: indent +.5i, line.length -.5i, line.spacing 1;
        !           213: 
        !           214: line.length +.5i, new.line)
        !           215: |comment<summary: quotation (indent left and right)>
        !           216: 
        !           217: |environment(verbatim;
        !           218: verbatim on, file.information, line.spacing 1, fill off;)
        !           219: |comment<summary: verbatim (text exactly as it is)>
        !           220: 
        !           221: |environment(text;
        !           222: fill on;)
        !           223: |comment<summary: text (fill the text)>
        !           224: 
        !           225: |environment(left_adjust;
        !           226: adjust left;)
        !           227: |comment<summary: left_adjust (left adjust the text)>
        !           228: 
        !           229: |associate(left_center_right;
        !           230: 
        !           231: set string Ts "`";
        !           232: 
        !           233: title Ts;
        !           234: 
        !           235: [$;
        !           236: add string Ts $, add string Ts "`";])
        !           237: |comment<summary: left_center_right (left justify, center, right justify a line>
        !           238: 
        !           239: |environment(footnote;
        !           240: size -2, vertical.motion -.4m,
        !           241: number ++ FN, vertical.motion +.4m, space -2, line.spacing 1,
        !           242: footnote on, indent 0.2i, indent.line -0.2i,
        !           243: number FN, text ".", horizontal.motion "|0.2i";
        !           244: 
        !           245: SPACE)
        !           246: |comment<summary: footnote (numbered footnote)>
        !           247: 
        !           248: |environment(unnumbered_footnote;
        !           249: size -2, space -2, line.spacing 1,
        !           250: footnote on, indent 0.2i;
        !           251: 
        !           252: SPACE)
        !           253: |comment<summary: unnumbered_footnote (unnumbered footnote)>
        !           254: 
        !           255: |environment(dagnote;
        !           256: size -2, vertical.motion -.4m,
        !           257: text "\(dg", vertical.motion +.4m, space -2, line.spacing 1,
        !           258: footnote on, indent 0.2i, indent.line -0.2i,
        !           259: text "\(dg", horizontal.motion "|0.2i";
        !           260: 
        !           261: SPACE)
        !           262: |comment<summary: dagnote (footnote marked with a dagger)>
        !           263: 
        !           264: |environment(authordagnote;
        !           265: size -2, space -2, line.spacing 1,
        !           266: footnote on, indent 0.2i, indent.line -0.2i,
        !           267: text "\(dg", horizontal.motion "|0.2i";
        !           268: 
        !           269: SPACE)
        !           270: |comment<summary: authordagnote (footnote marked with a dagger for author names)>
        !           271: 
        !           272: |environment(starnote;
        !           273: size -2, vertical.motion -.4m,
        !           274: text "\(**", vertical.motion +.4m, space -2, line.spacing 1,
        !           275: footnote on, indent 0.2i, indent.line -0.2i,
        !           276: text "\(**", horizontal.motion "|0.2i";
        !           277: 
        !           278: SPACE)
        !           279: |comment<summary: starnote (footnote marked with a star)>
        !           280: 
        !           281: |environment(endnote;
        !           282: size -2, vertical.motion -.4m,
        !           283: number ++ endnote_counter, vertical.motion +.4m, size +2,
        !           284: append.output on endnote_output,
        !           285: |ifvalue sawendnote on [
        !           286: minimum.lines,
        !           287: ]
        !           288: indent.line 3, number endnote_counter, text ". ";
        !           289: 
        !           290: sawendnote on)
        !           291: |comment<summary: endnote (numbered endnote)>
        !           292: 
        !           293: |environment(endnote_placement;
        !           294: |ifvalue sawendnote on [
        !           295: new.page,
        !           296: set string Ts "NOTES",
        !           297: inline off, size +1, center on,
        !           298: font bold, string Ts, font roman,
        !           299: center off, size -1, inline on,
        !           300: minimum.lines,
        !           301: clear string Rs,
        !           302: contents section 1 Rs Ts,
        !           303: line.spacing 1, macro endnote_output
        !           304: ];
        !           305: 
        !           306: sawendnote off)
        !           307: |comment<summary: endnote_placement (produce endnotes here)>
        !           308: 
        !           309: |environment(notation;
        !           310: minimum.lines, fill off;
        !           311: 
        !           312: minimum.lines)
        !           313: |comment<summary: notation (notation)>
        !           314: 
        !           315: |environment(approved;
        !           316: minimum.lines 2, text bold "Approval:  ", blank.lines 3,
        !           317: line 3.5i, tab.stops 1.5iC, new.line, tab;
        !           318: 
        !           319: tab, minimum.lines)
        !           320: |comment<summary: approved (approved)>
        !           321: 
        !           322: 
        !           323: |environment(index_placement;
        !           324: new.page, tab.stops \nWuR,
        !           325: set string Ts "INDEX",
        !           326: inline off, size +1, center on,
        !           327: font bold, string Ts, font roman,
        !           328: center off, size -1, inline on,
        !           329: minimum.lines,
        !           330: clear string Rs,
        !           331: contents section 1 Rs Ts;)
        !           332: |comment<summary: index_placement (put the index here)>
        !           333: 
        !           334: |environment(index_level0;
        !           335: indent .2i, indent.line -.2i, protect, text "\&";)
        !           336: |comment<summary: index_level0 (index program top level without sublevels)>
        !           337: 
        !           338: |environment(index_level1;
        !           339: indent .4i, indent.line -.4i, protect, text "\&";)
        !           340: |comment<summary: index_level1 (index program top level with sublevels)>
        !           341: 
        !           342: |environment(index_level2;
        !           343: indent .4i, indent.line -.2i, protect, text "\&";)
        !           344: |comment<summary: index_level2 (index program sublevel)>
        !           345: 
        !           346: 
        !           347: 
        !           348: 
        !           349: 
        !           350: 
        !           351: |environment(bullet_list;
        !           352: list.type fixed, list.pre "\&", list.format 1, list.post "\s-2\(bu\s+2\ ",
        !           353: list.indent "nnn", list on;
        !           354: 
        !           355: list off)
        !           356: |comment<summary: bullet_list (bulletted list using \s-2\(bu\s+2)>
        !           357: 
        !           358: |environment(dash_list;
        !           359: list.type fixed, list.pre "\&", list.format 1, list.post "\(em\ ",
        !           360: list.indent "nnn", list on;
        !           361: 
        !           362: list off)
        !           363: |comment<summary: dash_list (dashed list using \(em)>
        !           364: 
        !           365: |environment(number_list;
        !           366: list.type calculated, list.pre "\&", list.format 1, list.post ".\ \ ",
        !           367: list.indent "nnnnn", list on;
        !           368: 
        !           369: list off)
        !           370: |comment<summary: number_list (numbered list using 1.)>
        !           371: 
        !           372: |environment(p_number_list;
        !           373: list.type calculated, list.pre "(", list.format 1, list.post ")\ \ ",
        !           374: list.indent "nnnnn", list on;
        !           375: 
        !           376: list off)
        !           377: |comment<summary: p_number_list (numbered list using (1))>
        !           378: 
        !           379: |environment(A_list;
        !           380: list.type calculated, list.pre "\&", list.format A, list.post ".\ \ ",
        !           381: list.indent "nnnnn", list on;
        !           382: 
        !           383: list off)
        !           384: |comment<summary: A_list (alphabetized list using A.)>
        !           385: 
        !           386: |environment(a_list;
        !           387: list.type calculated, list.pre "\&", list.format a, list.post ")\ \ ",
        !           388: list.indent "nnnnn", list on;
        !           389: 
        !           390: list off)
        !           391: |comment<summary: a_list (alphabetized list using a))>
        !           392: 
        !           393: |environment(p_a_list;
        !           394: list.type calculated, list.pre "(", list.format a, list.post ")\ \ ",
        !           395: list.indent "nnnnn", list on;
        !           396: 
        !           397: list off)
        !           398: |comment<summary: p_a_list (alphabetized list using (a))>
        !           399: 
        !           400: |environment(I_list;
        !           401: list.type calculated, list.pre "\&", list.format I, list.post ".\ \ ",
        !           402: list.indent "nnnnn", list on;
        !           403: 
        !           404: list off)
        !           405: |comment<summary: I_list (numbered list using I.)>
        !           406: 
        !           407: |environment(i_list;
        !           408: list.type calculated, list.pre "\&", list.format i, list.post ")\ \ ",
        !           409: list.indent "nnnnn", list on;
        !           410: 
        !           411: list off)
        !           412: |comment<summary: i_list (numbered list using i))>
        !           413: 
        !           414: |environment(text_list;
        !           415: list.type fixed, list.pre "\&", list.format 1, list.post "\ ",
        !           416: list.indent "nnnnn", list on;
        !           417: 
        !           418: list off)
        !           419: |comment<summary: text_list (text list using text from item))>
        !           420: 
        !           421: |associate(item;
        !           422: clear string Ts;
        !           423: 
        !           424: |ifvalue list.spacing on [
        !           425: blank.lines .5,
        !           426: ]
        !           427: |ifvalue list.type fixed [
        !           428: add string.from.string Ts l2,
        !           429: add string.from.string Ts l4,
        !           430: store string Rs l4,
        !           431: ]
        !           432: |ifvalue list.type calculated [
        !           433: incr l0,
        !           434: number format.from.string l0 l3,
        !           435: add string.from.string Ts l2,
        !           436: add string.from.number Ts l0,
        !           437: add string.from.string Ts l4,
        !           438: store string Rs l2,
        !           439: add string.from.number Rs l0,
        !           440: ]
        !           441: store width l2 l5,
        !           442: store width l1 Ts,
        !           443: if else begin "\n(l1>\n(l2",
        !           444: clear l1, sub l1 l2,
        !           445: indent.line number l1,
        !           446: if end,
        !           447: if else begin,
        !           448: clear l2, sub l2 l1,
        !           449: indent.line number l2,
        !           450: if end,
        !           451: string Ts, concatenate;
        !           452: [$;;
        !           453: set string Ts $])
        !           454: |comment<summary: item (item of a list; IT)>
        !           455: 
        !           456: 
        !           457: 
        !           458: 
        !           459: 
        !           460: 
        !           461: |environment(reference;
        !           462: verbatim on, reference on;
        !           463: 
        !           464: sawreference on)
        !           465: |comment<summary: reference (a reference in prefer)>
        !           466: 
        !           467: |environment(reference_database;
        !           468: verbatim on, reference database;)
        !           469: |comment<summary: reference_database (use this database file for prefer)>
        !           470: 
        !           471: |environment(reference_include;
        !           472: verbatim on, reference ;)
        !           473: |comment<summary: reference_include ( these reference in prefer)>
        !           474: 
        !           475: |environment(reference_list;
        !           476: verbatim on, reference list;)
        !           477: |comment<summary: reference_list (format these databases in prefer)>
        !           478: 
        !           479: |environment(reference_placement;
        !           480: |ifvalue sawreference on [
        !           481: new.page,
        !           482: set string Ts "REFERENCES",
        !           483: inline off, size +1, center on,
        !           484: font bold, string Ts, font roman,
        !           485: center off, size -1, inline on,
        !           486: minimum.lines,
        !           487: clear string Rs,
        !           488: contents section 1 Rs Ts,
        !           489: reference.placement
        !           490: ];
        !           491: 
        !           492: sawreference off)
        !           493: |comment<summary: reference_placement (produce references here)>
        !           494: 
        !           495: |environment(table;
        !           496: verbatim on, file.information, minimum.lines 1, line.spacing 1, adjust off,
        !           497: table on;
        !           498: 
        !           499: minimum.lines 1)
        !           500: |comment<summary: table (a table in tbl)>
        !           501: 
        !           502: |environment(table_caption;
        !           503: divert.string Ts;
        !           504: 
        !           505: incr TB, minimum.lines 1, center on, font bold,
        !           506: text "Table ", number TB, text ". ", font roman,
        !           507: string Ts, center off, minimum.lines 1,
        !           508: store string.from.number Rs TB,
        !           509: contents table 1 Rs Ts)
        !           510: |comment<summary: table_caption (the table's caption; IT)>
        !           511: 
        !           512: |environment(picture;
        !           513: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off, picture on;
        !           514: 
        !           515: minimum.lines 1)
        !           516: |comment<summary: picture (a picture in pic)>
        !           517: 
        !           518: |environment(picture_caption;
        !           519: divert.string Ts;
        !           520: 
        !           521: incr FG, minimum.lines 1, center on, font bold,
        !           522: text "Figure ", number FG, text ". ", font roman,
        !           523: string Ts, center off, minimum.lines 1,
        !           524: store string.from.number Rs FG,
        !           525: contents figure 1 Rs Ts)
        !           526: |comment<summary: picture_caption (the picture's caption; IT)>
        !           527: 
        !           528: |environment(ped;
        !           529: verbatim on, file.information, minimum.lines 1, line.spacing 1, ped on;
        !           530: 
        !           531: minimum.lines 1)
        !           532: |comment<summary: ped (a picture in ped)>
        !           533: 
        !           534: |environment(ped_caption;
        !           535: divert.string Ts;
        !           536: 
        !           537: incr FG, minimum.lines 1, center on, font bold,
        !           538: text "Figure ", number FG, text ". ", font roman,
        !           539: string Ts, center off, minimum.lines 1,
        !           540: store string.from.number Rs FG,
        !           541: contents figure 1 Rs Ts)
        !           542: |comment<summary: ped_caption (the ped's caption; IT)>
        !           543: 
        !           544: |environment(ideal;
        !           545: verbatim on, file.information, minimum.lines 1, line.spacing 1, ideal on;
        !           546: 
        !           547: minimum.lines 1)
        !           548: |comment<summary: ideal (a picture in ideal)>
        !           549: 
        !           550: |environment(ideal_caption;
        !           551: divert.string Ts;
        !           552: 
        !           553: incr FG, minimum.lines 1, center on, font bold,
        !           554: text "Figure ", number FG, text ". ", font roman,
        !           555: string Ts, center off, minimum.lines 1,
        !           556: store string.from.number Rs FG,
        !           557: contents figure 1 Rs Ts)
        !           558: |comment<summary: ideal_caption (the ideal's caption; IT)>
        !           559: 
        !           560: |environment(equation;
        !           561: verbatim on, file.information, minimum.lines 1, line.spacing 1,
        !           562: equation on;
        !           563: 
        !           564: clear string ES, minimum.lines 1)
        !           565: |comment<summary: equation (an equation in eqn)>
        !           566: 
        !           567: |environment(equation_caption;
        !           568: divert.string Ts;
        !           569: 
        !           570: incr FG, minimum.lines 1, center on, font bold,
        !           571: text "Figure ", number FG, text ". ", font roman,
        !           572: string Ts, center off, minimum.lines 1,
        !           573: store string.from.number Rs FG,
        !           574: contents figure 1 Rs Ts)
        !           575: |comment<summary: equation_caption (the equation's caption; IT)>
        !           576: 
        !           577: |environment(equation_number;
        !           578: divert.string ES;
        !           579: 
        !           580: store string Rs ES)
        !           581: |comment<summary: equation_number (the equation's number; IT)>
        !           582: 
        !           583: |environment(e;
        !           584: |ifvalue verbatim off [
        !           585: concatenate, file.information,
        !           586: ]
        !           587: inline.equation on;)
        !           588: |comment<summary: e (an inline equation in eqn)>
        !           589: 
        !           590: |environment(graph;
        !           591: verbatim on, file.information, minimum.lines 1, line.spacing 1, graph on;
        !           592: 
        !           593: minimum.lines 1)
        !           594: |comment<summary: graph (a graph in grap)>
        !           595: 
        !           596: |environment(graph_caption;
        !           597: divert.string Ts;
        !           598: 
        !           599: incr FG, minimum.lines 1, center on, font bold,
        !           600: text "Figure ", number FG, text ". ", font roman,
        !           601: string Ts, center off, minimum.lines 1,
        !           602: store string.from.number Rs FG,
        !           603: contents figure 1 Rs Ts)
        !           604: |comment<summary: graph_caption (the graph's caption; IT)>
        !           605: 
        !           606: |environment(bargraph;
        !           607: verbatim on, file.information, minimum.lines 1, line.spacing 1, bargraph on;
        !           608: 
        !           609: minimum.lines 1)
        !           610: |comment<summary: bargraph (a bar graph in bar)>
        !           611: 
        !           612: |environment(bargraph_caption;
        !           613: divert.string Ts;
        !           614: 
        !           615: incr FG, minimum.lines 1, center on, font bold,
        !           616: text "Figure ", number FG, text ". ", font roman,
        !           617: string Ts, center off, minimum.lines 1,
        !           618: store string.from.number Rs FG,
        !           619: contents figure 1 Rs Ts)
        !           620: |comment<summary: bargraph_caption (the bar graph's caption; IT)>
        !           621: 
        !           622: |environment(save;
        !           623: verbatim on, citation save on;
        !           624: 
        !           625: citation save off string Rs)
        !           626: |comment<summary: save (save last important thing, shown as IT, in this label)>
        !           627: 
        !           628: |environment(savepage;
        !           629: verbatim on, citation save on;
        !           630: 
        !           631: citation save off number P)
        !           632: |comment<summary: savepage (save last page number in this label)>
        !           633: 
        !           634: |associate(savestring;;;
        !           635: [$name $string;
        !           636: set string Ts $string,
        !           637: citation save string $name Ts;])
        !           638: |comment<summary: savestring (save string under this name)>
        !           639: 
        !           640: |environment(remember;
        !           641: verbatim on, citation remember on;
        !           642: 
        !           643: citation remember off)
        !           644: |comment<summary: remember (remember the important thing or page number saved in this label)>
        !           645: 
        !           646: |environment(index;
        !           647: index on;)
        !           648: |comment<summary: index (save this item and page number for an index)>
        !           649: 
        !           650: |environment(figure;
        !           651: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off;
        !           652: 
        !           653: minimum.lines 1)
        !           654: |comment<summary: figure (a figure)>
        !           655: 
        !           656: |environment(figure_caption;
        !           657: divert.string Ts;
        !           658: 
        !           659: incr FG, minimum.lines 1, center on, font bold,
        !           660: text "Figure ", number FG, text ". ", font roman,
        !           661: string Ts, center off, minimum.lines 1,
        !           662: store string.from.number Rs FG,
        !           663: contents figure 1 Rs Ts)
        !           664: |comment<summary: figure_caption (the figures caption; IT)>
        !           665: 
        !           666: |environment(computeroutput;
        !           667: verbatim on, file.information, minimum.lines 1, line.spacing 1,
        !           668: fill off, size -1, space -1, computeroutput on;
        !           669: 
        !           670: SPACE, minimum.lines 1)
        !           671: |comment<summary: computeroutput (computeroutput using cw)>
        !           672: 
        !           673: |environment(computeroutput_caption;
        !           674: divert.string Ts;
        !           675: 
        !           676: incr FG, minimum.lines 1, center on, font bold,
        !           677: text "Figure ", number FG, text ". ", font roman,
        !           678: string Ts, center off, minimum.lines 1,
        !           679: store string.from.number Rs FG,
        !           680: contents figure 1 Rs Ts)
        !           681: |comment<summary: computeroutput_caption (the computeroutput's caption; IT)>
        !           682: 
        !           683: |environment(ipa;
        !           684: |ifvalue verbatim off [
        !           685: concatenate, file.information,
        !           686: ]
        !           687: ipa on;)
        !           688: |comment<summary: ipa (international phonetic alphabet)>
        !           689: 
        !           690: 
        !           691: 
        !           692: |environment(chapter;
        !           693: new.page, spacing on, blank.lines 2i,
        !           694: incr CH,
        !           695: clear S0 S1 S2
        !           696: S3,
        !           697: set string Ts "Chapter ",
        !           698: add string.from.number Ts CH,
        !           699: inline off, size +10, font.family helvetica,
        !           700: tab.stops \nWuR,
        !           701: tab, string Ts,
        !           702: divert.string Ts;
        !           703: 
        !           704: sectioning bychapter,
        !           705: inline off, size +4, font.family helvetica, blank.lines .25i,
        !           706: tab.stops \nWuR,
        !           707: font bold, tab, string Ts, new.line,
        !           708: font roman, font.family times, size -4, inline on,
        !           709: minimum.lines 1.25i, paragraph,
        !           710: store string.from.number Rs CH,
        !           711: contents section 1 Rs Ts)
        !           712: |comment<summary: chapter (numbered chapter; IT)>
        !           713: 
        !           714: |environment(section;
        !           715: divert.string Ts;
        !           716: 
        !           717: minimum.lines 2, protect, incr S0,
        !           718: clear S1 S2 S3,
        !           719: font bold,
        !           720: |ifvalue sectioning bychapter [
        !           721: number CH, text ".",
        !           722: ]
        !           723: |ifvalue sectioning byappendix [
        !           724: number AC, text ".",
        !           725: ]
        !           726: number S0,
        !           727: |ifvalue sectioning bysection [
        !           728: text ".",
        !           729: ]
        !           730: text " ", string Ts, font roman,
        !           731: paragraph,
        !           732: clear string Rs,
        !           733: |ifvalue sectioning bychapter [
        !           734: store string.from.number Rs CH,
        !           735: add string Rs ".",
        !           736: ]
        !           737: |ifvalue sectioning byappendix [
        !           738: store string.from.number Rs AC,
        !           739: add string Rs ".",
        !           740: ]
        !           741: add string.from.number Rs S0,
        !           742: |ifvalue sectioning bysection [
        !           743: contents section 1 Rs Ts,
        !           744: ]
        !           745: |ifvalue sectioning bychapter [
        !           746: contents section 2 Rs Ts,
        !           747: ]
        !           748: |ifvalue sectioning byappendix [
        !           749: contents section 2 Rs Ts,
        !           750: ])
        !           751: |comment<summary: section (numbered section; IT)>
        !           752: 
        !           753: |environment(subsection;
        !           754: divert.string Ts;
        !           755: 
        !           756: minimum.lines, protect, incr S1,
        !           757: clear S2 S3,
        !           758: font bold,
        !           759: |ifvalue sectioning bychapter [
        !           760: number CH, text ".",
        !           761: ]
        !           762: |ifvalue sectioning byappendix [
        !           763: number AC, text ".",
        !           764: ]
        !           765: number S0, text ".",
        !           766: number S1, text " ", string Ts, font roman,
        !           767: paragraph,
        !           768: clear string Rs,
        !           769: |ifvalue sectioning bychapter [
        !           770: store string.from.number Rs CH,
        !           771: add string Rs ".",
        !           772: ]
        !           773: |ifvalue sectioning byappendix [
        !           774: store string.from.number Rs AC,
        !           775: add string Rs ".",
        !           776: ]
        !           777: add string.from.number Rs S0,
        !           778: add string Rs ".",
        !           779: add string.from.number Rs S1,
        !           780: |ifvalue sectioning bysection [
        !           781: contents section 2 Rs Ts,
        !           782: ]
        !           783: |ifvalue sectioning bychapter [
        !           784: contents section 3 Rs Ts,
        !           785: ]
        !           786: |ifvalue sectioning byappendix [
        !           787: contents section 3 Rs Ts,
        !           788: ])
        !           789: |comment<summary: subsection (numbered subsection; IT)>
        !           790: 
        !           791: |environment(subsubsection;
        !           792: divert.string Ts;
        !           793: 
        !           794: minimum.lines, protect, incr S2,
        !           795: clear S3,
        !           796: font italics,
        !           797: |ifvalue sectioning bychapter [
        !           798: number CH, text ".",
        !           799: ]
        !           800: |ifvalue sectioning byappendix [
        !           801: number AC, text ".",
        !           802: ]
        !           803: number S0, text ".",
        !           804: number S1, text ".",
        !           805: number S2, text " ", string Ts, font roman,
        !           806: clear string Rs,
        !           807: |ifvalue sectioning bychapter [
        !           808: store string.from.number Rs CH,
        !           809: add string Rs ".",
        !           810: ]
        !           811: |ifvalue sectioning byappendix [
        !           812: store string.from.number Rs AC,
        !           813: add string Rs ".",
        !           814: ]
        !           815: add string.from.number Rs S0,
        !           816: add string Rs ".",
        !           817: add string.from.number Rs S1,
        !           818: add string Rs ".",
        !           819: add string.from.number Rs S2,
        !           820: |ifvalue sectioning bysection [
        !           821: contents section 3 Rs Ts,
        !           822: ]
        !           823: |ifvalue sectioning bychapter [
        !           824: contents section 4 Rs Ts,
        !           825: ]
        !           826: |ifvalue sectioning byappendix [
        !           827: contents section 4 Rs Ts,
        !           828: ])
        !           829: |comment<summary: subsubsection (numbered subsubsection; IT)>
        !           830: 
        !           831: |associate(paragraph;
        !           832: minimum.lines;
        !           833: 
        !           834: |ifvalue localparagraph.style indented [
        !           835: indent.line +3,
        !           836: ]
        !           837: |ifvalue localparagraph.style numbered [
        !           838: incr S3, number format S3 i,
        !           839: store string.from.number Ts S3,
        !           840: add string Ts ") ",
        !           841: string italics Ts,
        !           842: ]
        !           843: |ifvalue globalparagraph.style indented [
        !           844: localparagraph.style indented,
        !           845: ]
        !           846: |ifvalue globalparagraph.style numbered [
        !           847: localparagraph.style numbered,
        !           848: ]
        !           849: |ifvalue globalparagraph.style flushed [
        !           850: localparagraph.style flushed,
        !           851: ];
        !           852: 
        !           853: [numbered;;
        !           854: localparagraph.style numbered]
        !           855: [n;;
        !           856: localparagraph.style numbered]
        !           857: [indented;;
        !           858: localparagraph.style indented]
        !           859: [i;;
        !           860: localparagraph.style indented]
        !           861: [flushed;;
        !           862: localparagraph.style flushed]
        !           863: [f;;
        !           864: localparagraph.style flushed])
        !           865: |comment<summary: paragraph (n, i, f, numbered, indented, flushed)>
        !           866: 
        !           867: |associate(p;
        !           868: minimum.lines;
        !           869: 
        !           870: |ifvalue localparagraph.style indented [
        !           871: indent.line +3,
        !           872: ]
        !           873: |ifvalue localparagraph.style numbered [
        !           874: incr S3, number format S3 i,
        !           875: store string.from.number Ts S3,
        !           876: add string Ts ") ",
        !           877: string italics Ts,
        !           878: ]
        !           879: |ifvalue globalparagraph.style indented [
        !           880: localparagraph.style indented,
        !           881: ]
        !           882: |ifvalue globalparagraph.style numbered [
        !           883: localparagraph.style numbered,
        !           884: ]
        !           885: |ifvalue globalparagraph.style flushed [
        !           886: localparagraph.style flushed,
        !           887: ];
        !           888: 
        !           889: [numbered;;
        !           890: localparagraph.style numbered]
        !           891: [n;;
        !           892: localparagraph.style numbered]
        !           893: [indented;;
        !           894: localparagraph.style indented]
        !           895: [i;;
        !           896: localparagraph.style indented]
        !           897: [flushed;;
        !           898: localparagraph.style flushed]
        !           899: [f;;
        !           900: localparagraph.style flushed])
        !           901: |comment<summary: p (alias for paragraph)>
        !           902: 
        !           903: |environment(appendix;
        !           904: new.page, spacing on, blank.lines 4,
        !           905: number format AC A, incr AC,
        !           906: clear S0 S1 S2
        !           907: S3,
        !           908: set string Rs "Appendix ",
        !           909: add string.from.number Rs AC,
        !           910: divert.string Ts;
        !           911: 
        !           912: sectioning byappendix,
        !           913: center on, size +1, font bold,
        !           914: string Rs, blank.lines, string Ts,
        !           915: font roman, size -1, center off,
        !           916: minimum.lines 4, paragraph,
        !           917: store string.from.number Rs AC,
        !           918: contents section 1 Rs Ts)
        !           919: |comment<summary: appendix (numbered appendix; IT)>
        !           920: 
        !           921: |environment(unnumbered_chapter;
        !           922: new.page, spacing on, blank.lines 2i,
        !           923: divert.string Ts;
        !           924: 
        !           925: sectioning bychapter,
        !           926: inline off, size +4, font.family helvetica, blank.lines .25i,
        !           927: tab.stops \nWuR,
        !           928: font bold, tab, string Ts, new.line,
        !           929: font roman, font.family times, size -4, inline on,
        !           930: minimum.lines 1.25i, paragraph,
        !           931: clear string Rs,
        !           932: contents section 1 Rs Ts)
        !           933: |comment<summary: unnumbered_chapter (unnumbered chapter)>
        !           934: 
        !           935: |environment(unnumbered_section;
        !           936: divert.string Ts;
        !           937: 
        !           938: minimum.lines 2, protect, font bold,
        !           939: string Ts, font roman,
        !           940: paragraph,
        !           941: clear string Rs,
        !           942: |ifvalue sectioning bysection [
        !           943: contents section 1 Rs Ts,
        !           944: ]
        !           945: |ifvalue sectioning bychapter [
        !           946: contents section 2 Rs Ts,
        !           947: ]
        !           948: |ifvalue sectioning byappendix [
        !           949: contents section 2 Rs Ts,
        !           950: ])
        !           951: |comment<summary: unnumbered_section (unnumbered section)>
        !           952: 
        !           953: |environment(unnumbered_subsection;
        !           954: divert.string Ts;
        !           955: 
        !           956: minimum.lines, protect, font bold,
        !           957: string Ts, font roman,
        !           958: paragraph,
        !           959: clear string Rs,
        !           960: |ifvalue sectioning bysection [
        !           961: contents section 2 Rs Ts,
        !           962: ]
        !           963: |ifvalue sectioning bychapter [
        !           964: contents section 3 Rs Ts,
        !           965: ]
        !           966: |ifvalue sectioning byappendix [
        !           967: contents section 3 Rs Ts,
        !           968: ])
        !           969: |comment<summary: unnumbered_subsection (unnumbered subsection)>
        !           970: 
        !           971: |environment(unnumbered_subsubsection;
        !           972: divert.string Ts;
        !           973: 
        !           974: minimum.lines, protect, font italics,
        !           975: string Ts, font roman,
        !           976: clear string Rs,
        !           977: |ifvalue sectioning bysection [
        !           978: contents section 3 Rs Ts,
        !           979: ]
        !           980: |ifvalue sectioning bychapter [
        !           981: contents section 4 Rs Ts,
        !           982: ]
        !           983: |ifvalue sectioning byappendix [
        !           984: contents section 4 Rs Ts,
        !           985: ])
        !           986: |comment<summary: unnumbered_subsubsection (unnumbered subsubsection)>
        !           987: 
        !           988: |environment(unnumbered_appendix;
        !           989: divert.string Ts;
        !           990: 
        !           991: new.page, spacing on, blank.lines 4,
        !           992: sectioning byappendix,
        !           993: center on, size +1, font bold,
        !           994: string Ts,
        !           995: font roman, size -1, center off,
        !           996: minimum.lines 4, paragraph,
        !           997: store string.from.number Rs AC,
        !           998: contents section 1 Rs Ts)
        !           999: |comment<summary: unnumbered_appendix (unnumbered appendix)>
        !          1000: 
        !          1001: 
        !          1002: |associate(set_counter;;;
        !          1003: 
        !          1004: [page $;;
        !          1005: set P $]
        !          1006: [chapter $;;
        !          1007: set CH $]
        !          1008: [section $;;
        !          1009: set S0 $]
        !          1010: [subsection $;;
        !          1011: set S1 $]
        !          1012: [subsubsection $;;
        !          1013: set S2 $]
        !          1014: [paragraph $;;
        !          1015: set S3 $]
        !          1016: [appendix $;;
        !          1017: set AC $]
        !          1018: [figure $;;
        !          1019: set FG $]
        !          1020: [table $;;
        !          1021: set TB $]
        !          1022: [footnote $;;
        !          1023: set FN $]
        !          1024: [note $;;
        !          1025: set NN $])
        !          1026: |comment<summary: set_counter (page, chapter, section, subsection, subsubsection, appendix, figure, table, footnote, note)>
        !          1027: 
        !          1028: |associate(set_string;;;
        !          1029: 
        !          1030: [page_headers $;;
        !          1031: set string PH $]
        !          1032: [even_headers $;;
        !          1033: set string EH $]
        !          1034: [odd_headers $;;
        !          1035: set string OH $]
        !          1036: [page_footers $;;
        !          1037: set string PF $]
        !          1038: [even_footers $;;
        !          1039: set string EF $]
        !          1040: [odd_footers $;;
        !          1041: set string OF $])
        !          1042: |comment<summary: set_string (page_headers, even_headers, odd_headers, page_footers, even_footers, off_footers)>
        !          1043: 
        !          1044: 
        !          1045: |associate(sp;;;
        !          1046: [|;; text "|"]
        !          1047: [|s;; text "|\^"]
        !          1048: [\;; text "\e"]
        !          1049: [.;; text "\."]
        !          1050: [space;; text "\ "]
        !          1051: [digit space;; text "\0"]
        !          1052: [narrow space;; text "\|\&"]
        !          1053: [half narrow space;; text "\^"]
        !          1054: [zero width space;; text "\&"]
        !          1055: [hyphenation;; text "\%"]
        !          1056: [leader;; text "&"]
        !          1057: [interrupt text processing;; text "\c"]
        !          1058: [down;; text "\d"]
        !          1059: [break and spread;; text "\p"]
        !          1060: [reverse;; text "\r"]
        !          1061: [tab;; text "\t"]
        !          1062: [up;; text "\u"]
        !          1063: [conceal new line;; text "\"]
        !          1064: [close quote;; text "'"]
        !          1065: [open quote;; text "`"]
        !          1066: [Em dash;; text "\(em"]
        !          1067: [hyphen or;; text "-"]
        !          1068: [hyphen;; text "\(hy"]
        !          1069: [minus;; text "\-"]
        !          1070: [bullet;; text "\(bu"]
        !          1071: [square;; text "\(sq"]
        !          1072: [rule;; text "\(ru"]
        !          1073: [quarter;; text "\(14"]
        !          1074: [half;; text "\(12"]
        !          1075: [3quarter;; text "\(34"]
        !          1076: [fi;; text "\(fi"]
        !          1077: [fl;; text "\(fl"]
        !          1078: [ff;; text "\(ff"]
        !          1079: [ffi;; text "\(Fi"]
        !          1080: [ffl;; text "\(Fl"]
        !          1081: [degree;; text "\(de"]
        !          1082: [dagger;; text "\(dg"]
        !          1083: [footmark;; text "\(fm"]
        !          1084: [cent;; text "\(ct"]
        !          1085: [registered;; text "\(rg"]
        !          1086: [copyright;; text "\(co"]
        !          1087: [=;; text "\(eq"]
        !          1088: [+;; text "\(pl"]
        !          1089: [-;; text "\(mi"]
        !          1090: [*;; text "\(**"]
        !          1091: [section;; text "\(sc"]
        !          1092: [acute;; text "\(aa"]
        !          1093: [grave;; text "\(ga"]
        !          1094: [underrule;; text "\(ul"]
        !          1095: [/;; text "\(sl"]
        !          1096: [alpha;; text "\(*a"]
        !          1097: [beta;; text "\(*b"]
        !          1098: [gamma;; text "\(*g"]
        !          1099: [delta;; text "\(*d"]
        !          1100: [epsilon;; text "\(*e"]
        !          1101: [zeta;; text "\(*z"]
        !          1102: [eta;; text "\(*y"]
        !          1103: [theta;; text "\(*h"]
        !          1104: [iota;; text "\(*i"]
        !          1105: [kappa;; text "\(*k"]
        !          1106: [lambda;; text "\(*l"]
        !          1107: [mu;; text "\(*m"]
        !          1108: [nu;; text "\(*n"]
        !          1109: [xi;; text "\(*c"]
        !          1110: [omicron;; text "\(*o"]
        !          1111: [pi;; text "\(*p"]
        !          1112: [rho;; text "\(*r"]
        !          1113: [sigma;; text "\(*s"]
        !          1114: [terminal sigma;; text "\(ts"]
        !          1115: [tau;; text "\(*t"]
        !          1116: [upsilon;; text "\(*u"]
        !          1117: [phi;; text "\(*f"]
        !          1118: [chi;; text "\(*x"]
        !          1119: [psi;; text "\(*q"]
        !          1120: [omega;; text "\(*w"]
        !          1121: [ALPHA;; text "\(*A"]
        !          1122: [BETA;; text "\(*B"]
        !          1123: [GAMMA;; text "\(*G"]
        !          1124: [DELTA;; text "\(*D"]
        !          1125: [EPSILON;; text "\(*E"]
        !          1126: [ZETA;; text "\(*Z"]
        !          1127: [ETA;; text "\(*Y"]
        !          1128: [THETA;; text "\(*H"]
        !          1129: [IOTA;; text "\(*I"]
        !          1130: [KAPPA;; text "\(*K"]
        !          1131: [LAMBDA;; text "\(*L"]
        !          1132: [MU;; text "\(*M"]
        !          1133: [NU;; text "\(*N"]
        !          1134: [XI;; text "\(*C"]
        !          1135: [OMICRON;; text "\(*O"]
        !          1136: [PI;; text "\(*P"]
        !          1137: [RHO;; text "\(*R"]
        !          1138: [SIGMA;; text "\(*S"]
        !          1139: [TAU;; text "\(*T"]
        !          1140: [UPSILON;; text "\(*U"]
        !          1141: [PHI;; text "\(*F"]
        !          1142: [CHI;; text "\(*X"]
        !          1143: [PSI;; text "\(*Q"]
        !          1144: [OMEGA;; text "\(*W"]
        !          1145: [>=;; text "\(>="]
        !          1146: [<=;; text "\(<="]
        !          1147: [==;; text "\(=="]
        !          1148: [-wig;; text "\(~="]
        !          1149: [wig;; text "\(ap"]
        !          1150: [!=;; text "\(!="]
        !          1151: [->;; text "\(->"]
        !          1152: [<-;; text "\(<-"]
        !          1153: [uarrow;; text "\(ua"]
        !          1154: [darrow;; text "\(da"]
        !          1155: [times;; text "\(mu"]
        !          1156: [divide;; text "\(di"]
        !          1157: [+-;; text "\(+-"]
        !          1158: [cup;; text "\(cu"]
        !          1159: [cap;; text "\(ca"]
        !          1160: [subset;; text "\(sb"]
        !          1161: [superset;; text "\(sp"]
        !          1162: [isubset;; text "\(ib"]
        !          1163: [isuperset;; text "\(ip"]
        !          1164: [inf;; text "\(if"]
        !          1165: [partial;; text "\(pd"]
        !          1166: [del;; text "\(gr"]
        !          1167: [not;; text "\(no"]
        !          1168: [integral;; text "\(is"]
        !          1169: [prop;; text "\(pt"]
        !          1170: [empty;; text "\(es"]
        !          1171: [member;; text "\(mo"]
        !          1172: [box vertical rule;; text "\(br"]
        !          1173: [double dagger;; text "\(dd"]
        !          1174: [rhand;; text "\(rh"]
        !          1175: [lhand;; text "\(lh"]
        !          1176: [ATT logo;; text "\*(LO"]
        !          1177: [or;; text "\(or"]
        !          1178: [circle;; text "\(ci"]
        !          1179: [bold vertical;; text "\(bv"]
        !          1180: [lfloor;; text "\(lf"]
        !          1181: [rfloor;; text "\(rf"]
        !          1182: [lceil;; text "\(lc"]
        !          1183: [rceil;; text "\(rc"]
        !          1184: [lower case grave;; text "\*`"]
        !          1185: [lower case acute;; text "\*'"]
        !          1186: [upper case acute;; text "\*+"]
        !          1187: [circumflex;; text "\*^"]
        !          1188: [tilde;; text "\*~"]
        !          1189: [cedilla;; text "\*,"]
        !          1190: [lower case umlaut;; text "\*:"]
        !          1191: [upper case umlaut;; text "\*;"]
        !          1192: [nasal;; text "\*-"]
        !          1193: [slashed;; text "\*/"]
        !          1194: [TEX;; text "\s-1T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
        !          1195: [LATEX;; text "\s-1L\h'-.12m'\v'-.17m'A\v'.17m'\h'-.12m'T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
        !          1196: [TM;; text "\v'-0.5m'\s-4TM\s+4\v'0.5m'"])
        !          1197: |comment<summary: sp (special characters)>
        !          1198: 
        !          1199: 
        !          1200: 
        !          1201: |associate(style;;;
        !          1202: 
        !          1203: [one_column;;
        !          1204: column off]
        !          1205: [multi_column;;
        !          1206: column on]
        !          1207: [two_column;;
        !          1208: column 2]
        !          1209: [page_width $;;
        !          1210: line.length $]
        !          1211: [page_length $;;
        !          1212: page.length $]
        !          1213: [page_offset $;;
        !          1214: page.offset $]
        !          1215: [font_size 1;;
        !          1216: inline off, size 1, inline on, space 3]
        !          1217: [font_size 2;;
        !          1218: inline off, size 2, inline on, space 4]
        !          1219: [font_size 3;;
        !          1220: inline off, size 3, inline on, space 5]
        !          1221: [font_size 4;;
        !          1222: inline off, size 4, inline on, space 6]
        !          1223: [font_size 5;;
        !          1224: inline off, size 5, inline on, space 7]
        !          1225: [font_size 6;;
        !          1226: inline off, size 6, inline on, space 8]
        !          1227: [font_size 7;;
        !          1228: inline off, size 7, inline on, space 9]
        !          1229: [font_size 8;;
        !          1230: inline off, size 8, inline on, space 10]
        !          1231: [font_size 9;;
        !          1232: inline off, size 9, inline on, space 11]
        !          1233: [font_size 10;;
        !          1234: inline off, size 10, inline on, space 12]
        !          1235: [font_size 11;;
        !          1236: inline off, size 11, inline on, space 13]
        !          1237: [font_size 12;;
        !          1238: inline off, size 12, inline on, space 14]
        !          1239: [font_size 13;;
        !          1240: inline off, size 13, inline on, space 15]
        !          1241: [font_size 14;;
        !          1242: inline off, size 14, inline on, space 16]
        !          1243: [font_size 15;;
        !          1244: inline off, size 15, inline on, space 17]
        !          1245: [font_size 16;;
        !          1246: inline off, size 16, inline on, space 18]
        !          1247: [font_size 17;;
        !          1248: inline off, size 17, inline on, space 19]
        !          1249: [font_size 18;;
        !          1250: inline off, size 18, inline on, space 20]
        !          1251: [font_size 19;;
        !          1252: inline off, size 19, inline on, space 21]
        !          1253: [font_size 20;;
        !          1254: inline off, size 20, inline on, space 22]
        !          1255: [font_size 21;;
        !          1256: inline off, size 21, inline on, space 23]
        !          1257: [font_size 22;;
        !          1258: inline off, size 22, inline on, space 24]
        !          1259: [font_size 23;;
        !          1260: inline off, size 23, inline on, space 25]
        !          1261: [font_size 24;;
        !          1262: inline off, size 24, inline on, space 26]
        !          1263: [font_size 25;;
        !          1264: inline off, size 25, inline on, space 27]
        !          1265: [font_size 26;;
        !          1266: inline off, size 26, inline on, space 28]
        !          1267: [font_size 27;;
        !          1268: inline off, size 27, inline on, space 29]
        !          1269: [font_size 28;;
        !          1270: inline off, size 28, inline on, space 30]
        !          1271: [font_size 29;;
        !          1272: inline off, size 29, inline on, space 31]
        !          1273: [font_size 30;;
        !          1274: inline off, size 30, inline on, space 32]
        !          1275: [font_size 31;;
        !          1276: inline off, size 31, inline on, space 33]
        !          1277: [font_size 32;;
        !          1278: inline off, size 32, inline on, space 34]
        !          1279: [font_size 33;;
        !          1280: inline off, size 33, inline on, space 35]
        !          1281: [font_size 34;;
        !          1282: inline off, size 34, inline on, space 36]
        !          1283: [font_size 35;;
        !          1284: inline off, size 35, inline on, space 37]
        !          1285: [font_size 36;;
        !          1286: inline off, size 36, inline on, space 38]
        !          1287: [font_size 1 1;;
        !          1288: inline off, size 1, inline on, space 1]
        !          1289: [font_size 2 2;;
        !          1290: inline off, size 2, inline on, space 2]
        !          1291: [font_size 3 3;;
        !          1292: inline off, size 3, inline on, space 3]
        !          1293: [font_size 4 4;;
        !          1294: inline off, size 4, inline on, space 4]
        !          1295: [font_size 5 5;;
        !          1296: inline off, size 5, inline on, space 5]
        !          1297: [font_size 6 6;;
        !          1298: inline off, size 6, inline on, space 6]
        !          1299: [font_size 7 7;;
        !          1300: inline off, size 7, inline on, space 7]
        !          1301: [font_size 8 8;;
        !          1302: inline off, size 8, inline on, space 8]
        !          1303: [font_size 9 9;;
        !          1304: inline off, size 9, inline on, space 9]
        !          1305: [font_size 10 10;;
        !          1306: inline off, size 10, inline on, space 10]
        !          1307: [font_size 11 11;;
        !          1308: inline off, size 11, inline on, space 11]
        !          1309: [font_size 12 12;;
        !          1310: inline off, size 12, inline on, space 12]
        !          1311: [font_size 13 13;;
        !          1312: inline off, size 13, inline on, space 13]
        !          1313: [font_size 14 14;;
        !          1314: inline off, size 14, inline on, space 14]
        !          1315: [font_size 15 15;;
        !          1316: inline off, size 15, inline on, space 15]
        !          1317: [font_size 16 16;;
        !          1318: inline off, size 16, inline on, space 16]
        !          1319: [font_size 17 17;;
        !          1320: inline off, size 17, inline on, space 17]
        !          1321: [font_size 18 18;;
        !          1322: inline off, size 18, inline on, space 18]
        !          1323: [font_size 19 19;;
        !          1324: inline off, size 19, inline on, space 19]
        !          1325: [font_size 20 20;;
        !          1326: inline off, size 20, inline on, space 20]
        !          1327: [font_size 21 21;;
        !          1328: inline off, size 21, inline on, space 21]
        !          1329: [font_size 22 22;;
        !          1330: inline off, size 22, inline on, space 22]
        !          1331: [font_size 23 23;;
        !          1332: inline off, size 23, inline on, space 23]
        !          1333: [font_size 24 24;;
        !          1334: inline off, size 24, inline on, space 24]
        !          1335: [font_size 25 25;;
        !          1336: inline off, size 25, inline on, space 25]
        !          1337: [font_size 26 26;;
        !          1338: inline off, size 26, inline on, space 26]
        !          1339: [font_size 27 27;;
        !          1340: inline off, size 27, inline on, space 27]
        !          1341: [font_size 28 28;;
        !          1342: inline off, size 28, inline on, space 28]
        !          1343: [font_size 29 29;;
        !          1344: inline off, size 29, inline on, space 29]
        !          1345: [font_size 30 30;;
        !          1346: inline off, size 30, inline on, space 30]
        !          1347: [font_size 31 31;;
        !          1348: inline off, size 31, inline on, space 31]
        !          1349: [font_size 32 32;;
        !          1350: inline off, size 32, inline on, space 32]
        !          1351: [font_size 33 33;;
        !          1352: inline off, size 33, inline on, space 33]
        !          1353: [font_size 34 34;;
        !          1354: inline off, size 34, inline on, space 34]
        !          1355: [font_size 35 35;;
        !          1356: inline off, size 35, inline on, space 35]
        !          1357: [font_size 36 36;;
        !          1358: inline off, size 36, inline on, space 36]
        !          1359: [font_size 1 2;;
        !          1360: inline off, size 1, inline on, space 2]
        !          1361: [font_size 2 3;;
        !          1362: inline off, size 2, inline on, space 3]
        !          1363: [font_size 3 4;;
        !          1364: inline off, size 3, inline on, space 4]
        !          1365: [font_size 4 5;;
        !          1366: inline off, size 4, inline on, space 5]
        !          1367: [font_size 5 6;;
        !          1368: inline off, size 5, inline on, space 6]
        !          1369: [font_size 6 7;;
        !          1370: inline off, size 6, inline on, space 7]
        !          1371: [font_size 7 8;;
        !          1372: inline off, size 7, inline on, space 8]
        !          1373: [font_size 8 9;;
        !          1374: inline off, size 8, inline on, space 9]
        !          1375: [font_size 9 10;;
        !          1376: inline off, size 9, inline on, space 10]
        !          1377: [font_size 10 11;;
        !          1378: inline off, size 10, inline on, space 11]
        !          1379: [font_size 11 12;;
        !          1380: inline off, size 11, inline on, space 12]
        !          1381: [font_size 12 13;;
        !          1382: inline off, size 12, inline on, space 13]
        !          1383: [font_size 13 14;;
        !          1384: inline off, size 13, inline on, space 14]
        !          1385: [font_size 14 15;;
        !          1386: inline off, size 14, inline on, space 15]
        !          1387: [font_size 15 16;;
        !          1388: inline off, size 15, inline on, space 16]
        !          1389: [font_size 16 17;;
        !          1390: inline off, size 16, inline on, space 17]
        !          1391: [font_size 17 18;;
        !          1392: inline off, size 17, inline on, space 18]
        !          1393: [font_size 18 19;;
        !          1394: inline off, size 18, inline on, space 19]
        !          1395: [font_size 19 20;;
        !          1396: inline off, size 19, inline on, space 20]
        !          1397: [font_size 20 21;;
        !          1398: inline off, size 20, inline on, space 21]
        !          1399: [font_size 21 22;;
        !          1400: inline off, size 21, inline on, space 22]
        !          1401: [font_size 22 23;;
        !          1402: inline off, size 22, inline on, space 23]
        !          1403: [font_size 23 24;;
        !          1404: inline off, size 23, inline on, space 24]
        !          1405: [font_size 24 25;;
        !          1406: inline off, size 24, inline on, space 25]
        !          1407: [font_size 25 26;;
        !          1408: inline off, size 25, inline on, space 26]
        !          1409: [font_size 26 27;;
        !          1410: inline off, size 26, inline on, space 27]
        !          1411: [font_size 27 28;;
        !          1412: inline off, size 27, inline on, space 28]
        !          1413: [font_size 28 29;;
        !          1414: inline off, size 28, inline on, space 29]
        !          1415: [font_size 29 30;;
        !          1416: inline off, size 29, inline on, space 30]
        !          1417: [font_size 30 31;;
        !          1418: inline off, size 30, inline on, space 31]
        !          1419: [font_size 31 32;;
        !          1420: inline off, size 31, inline on, space 32]
        !          1421: [font_size 32 33;;
        !          1422: inline off, size 32, inline on, space 33]
        !          1423: [font_size 33 34;;
        !          1424: inline off, size 33, inline on, space 34]
        !          1425: [font_size 34 35;;
        !          1426: inline off, size 34, inline on, space 35]
        !          1427: [font_size 35 36;;
        !          1428: inline off, size 35, inline on, space 36]
        !          1429: [font_size 36 37;;
        !          1430: inline off, size 36, inline on, space 37]
        !          1431: [font_size 1 3;;
        !          1432: inline off, size 1, inline on, space 3]
        !          1433: [font_size 2 4;;
        !          1434: inline off, size 2, inline on, space 4]
        !          1435: [font_size 3 5;;
        !          1436: inline off, size 3, inline on, space 5]
        !          1437: [font_size 4 6;;
        !          1438: inline off, size 4, inline on, space 6]
        !          1439: [font_size 5 7;;
        !          1440: inline off, size 5, inline on, space 7]
        !          1441: [font_size 6 8;;
        !          1442: inline off, size 6, inline on, space 8]
        !          1443: [font_size 7 9;;
        !          1444: inline off, size 7, inline on, space 9]
        !          1445: [font_size 8 10;;
        !          1446: inline off, size 8, inline on, space 10]
        !          1447: [font_size 9 11;;
        !          1448: inline off, size 9, inline on, space 11]
        !          1449: [font_size 10 12;;
        !          1450: inline off, size 10, inline on, space 12]
        !          1451: [font_size 11 13;;
        !          1452: inline off, size 11, inline on, space 13]
        !          1453: [font_size 12 14;;
        !          1454: inline off, size 12, inline on, space 14]
        !          1455: [font_size 13 15;;
        !          1456: inline off, size 13, inline on, space 15]
        !          1457: [font_size 14 16;;
        !          1458: inline off, size 14, inline on, space 16]
        !          1459: [font_size 15 17;;
        !          1460: inline off, size 15, inline on, space 17]
        !          1461: [font_size 16 18;;
        !          1462: inline off, size 16, inline on, space 18]
        !          1463: [font_size 17 19;;
        !          1464: inline off, size 17, inline on, space 19]
        !          1465: [font_size 18 20;;
        !          1466: inline off, size 18, inline on, space 20]
        !          1467: [font_size 19 21;;
        !          1468: inline off, size 19, inline on, space 21]
        !          1469: [font_size 20 22;;
        !          1470: inline off, size 20, inline on, space 22]
        !          1471: [font_size 21 23;;
        !          1472: inline off, size 21, inline on, space 23]
        !          1473: [font_size 22 24;;
        !          1474: inline off, size 22, inline on, space 24]
        !          1475: [font_size 23 25;;
        !          1476: inline off, size 23, inline on, space 25]
        !          1477: [font_size 24 26;;
        !          1478: inline off, size 24, inline on, space 26]
        !          1479: [font_size 25 27;;
        !          1480: inline off, size 25, inline on, space 27]
        !          1481: [font_size 26 28;;
        !          1482: inline off, size 26, inline on, space 28]
        !          1483: [font_size 27 29;;
        !          1484: inline off, size 27, inline on, space 29]
        !          1485: [font_size 28 30;;
        !          1486: inline off, size 28, inline on, space 30]
        !          1487: [font_size 29 31;;
        !          1488: inline off, size 29, inline on, space 31]
        !          1489: [font_size 30 32;;
        !          1490: inline off, size 30, inline on, space 32]
        !          1491: [font_size 31 33;;
        !          1492: inline off, size 31, inline on, space 33]
        !          1493: [font_size 32 34;;
        !          1494: inline off, size 32, inline on, space 34]
        !          1495: [font_size 33 35;;
        !          1496: inline off, size 33, inline on, space 35]
        !          1497: [font_size 34 36;;
        !          1498: inline off, size 34, inline on, space 36]
        !          1499: [font_size 35 37;;
        !          1500: inline off, size 35, inline on, space 37]
        !          1501: [font_size 36 38;;
        !          1502: inline off, size 36, inline on, space 38]
        !          1503: [font_family times;;
        !          1504: font.family times]
        !          1505: [font_family palatino;;
        !          1506: font.family palatino]
        !          1507: [font_family bembo;;
        !          1508: font.family bembo]
        !          1509: [font_family optima;;
        !          1510: font.family optima]
        !          1511: [font_family souvenir;;
        !          1512: font.family souvenir]
        !          1513: [font_family helvetica;;
        !          1514: font.family helvetica]
        !          1515: [font_family cw;;
        !          1516: font.family cw]
        !          1517: [font_family gothic;;
        !          1518: font.family gothic]
        !          1519: [font_family condensed;;
        !          1520: font.family condensed]
        !          1521: [font_family narrow;;
        !          1522: font.family narrow]
        !          1523: [triple_space;;
        !          1524: line.spacing 3]
        !          1525: [double_space;;
        !          1526: line.spacing 2]
        !          1527: [1_5_space;;
        !          1528: line.spacing 1.5]
        !          1529: [single_space;;
        !          1530: line.spacing 1]
        !          1531: [paragraph_style indented;;
        !          1532: globalparagraph.style indented, localparagraph.style indented]
        !          1533: [paragraph_style numbered;;
        !          1534: globalparagraph.style numbered, localparagraph.style numbered]
        !          1535: [paragraph_style flushed;;
        !          1536: globalparagraph.style flushed, localparagraph.style flushed]
        !          1537: [list_spacing on;;
        !          1538: list.spacing on]
        !          1539: [list_spacing off;;
        !          1540: list.spacing off]
        !          1541: [reference acm;;
        !          1542: reference.style acm]
        !          1543: [reference apa;;
        !          1544: reference.style apa]
        !          1545: [reference att;;
        !          1546: reference.style att]
        !          1547: [reference ieee;;
        !          1548: reference.style ieee]
        !          1549: [reference lsa;;
        !          1550: reference.style lsa]
        !          1551: [reference pami;;
        !          1552: reference.style pami]
        !          1553: [reference spectrum;;
        !          1554: reference.style spectrum]
        !          1555: [reference_option tm;;
        !          1556: reference.option tm]
        !          1557: [reference_option rp;;
        !          1558: reference.option rp]
        !          1559: [reference_option nroff;;
        !          1560: reference.option nroff]
        !          1561: [reference_option troff;;
        !          1562: reference.option troff]
        !          1563: [reference_option sort;;
        !          1564: reference.option sort]
        !          1565: [reference_option sequence;;
        !          1566: reference.option sequence]
        !          1567: [reference_option a;;
        !          1568: reference.option a]
        !          1569: [reference_option d;;
        !          1570: reference.option d]
        !          1571: [reference_option t;;
        !          1572: reference.option t]
        !          1573: [reference_option ad;;
        !          1574: reference.option ad]
        !          1575: [reference_option at;;
        !          1576: reference.option at]
        !          1577: [reference_option da;;
        !          1578: reference.option da]
        !          1579: [reference_option dt;;
        !          1580: reference.option dt]
        !          1581: [reference_option ta;;
        !          1582: reference.option ta]
        !          1583: [reference_option td;;
        !          1584: reference.option td]
        !          1585: [reference_option adt;;
        !          1586: reference.option adt]
        !          1587: [reference_option atd;;
        !          1588: reference.option atd]
        !          1589: [reference_option dat;;
        !          1590: reference.option dat]
        !          1591: [reference_option dta;;
        !          1592: reference.option dta]
        !          1593: [reference_option tad;;
        !          1594: reference.option tad]
        !          1595: [reference_option tda;;
        !          1596: reference.option tda]
        !          1597: [page_number roman;;
        !          1598: number format P i]
        !          1599: [page_number arabic;;
        !          1600: number format P 1])
        !          1601: |comment<summary: style one_column (full page output)>
        !          1602: |comment<summary: style two_column (two columns per page)>
        !          1603: |comment<summary: style multi_column (multiple columns per page)>
        !          1604: |comment<summary: style page_width (width of the printed page)>
        !          1605: |comment<summary: style page_length (length of the printed page)>
        !          1606: |comment<summary: style page_offset (offset of the printed page)>
        !          1607: |comment<summary: style font_size (font_size font_spacing)>
        !          1608: |comment<summary: style font_family (times, palatino, bembo, optima, souvenir, helvetica, cw, gothic, condensed, narrow)>
        !          1609: |comment<summary: style triple_space (triple space)>
        !          1610: |comment<summary: style double_space (double space)>
        !          1611: |comment<summary: style 1_5_space (1 and a half space)>
        !          1612: |comment<summary: style single_space (single space)>
        !          1613: |comment<summary: style paragraph_style (indented, numbered, flushed)>
        !          1614: |comment<summary: style list_spacing (on, off)>
        !          1615: |comment<summary: style reference (acm, apa, att, ieee, lsa, pami, spectrum)>
        !          1616: |comment<summary: style reference_option (tm, rp, nroff, troff, sort, sequence, a, d, t, ad, at, da, dt, ta, td, adt, atd, dat, dta, tad, tda)>
        !          1617: |comment<summary: style page_number (arabic, roman)>
        !          1618: 
        !          1619: 
        !          1620: |environment(tc_placement;
        !          1621: minimum.lines;)
        !          1622: |comment<summary: tc_placement (put the table of contents here)>
        !          1623: 
        !          1624: |environment(tc_heading;
        !          1625: new.page, tab.stops \nWuR,
        !          1626: divert.string Ts;
        !          1627: 
        !          1628: inline off, size +1, center on,
        !          1629: font bold, string Ts, font roman,
        !          1630: center off, size -1, inline on,
        !          1631: minimum.lines,
        !          1632: clear string Rs,
        !          1633: contents section 1 Rs Ts)
        !          1634: |comment<summary: tc_heading (tc program heading)>
        !          1635: 
        !          1636: |associate(tc_entry;;;
        !          1637: [0 $sequence $text $page;
        !          1638: minimum.lines, font bold,
        !          1639: text $text, tab, text $page;]
        !          1640: [1 $sequence $text $page;
        !          1641: minimum.lines, font bold, text $sequence,
        !          1642: horizontal.motion "|0.3i", text $text, tab, text $page;]
        !          1643: [2 $sequence $text $page;
        !          1644: minimum.lines 0,
        !          1645: horizontal.motion "|0.3i", text $sequence,
        !          1646: horizontal.motion "|0.6i", text $text, tab, text $page;]
        !          1647: [3 $sequence $text $page;
        !          1648: minimum.lines 0,
        !          1649: horizontal.motion "|0.6i", text $sequence,
        !          1650: horizontal.motion "|0.9i", text $text, tab, text $page;])
        !          1651: |comment<summary: tc_entry (tc program entry)>
        !          1652: 
        !          1653: 
        !          1654: |associate(:common_newline_whitespace;;;
        !          1655: 
        !          1656: [$white;
        !          1657: white.text $white;])
        !          1658: 
        !          1659: |environment(:common_blankline;
        !          1660: nl.paragraph;)
        !          1661: 
        !          1662: 
        !          1663: |environment(:common;
        !          1664: file.information,
        !          1665: clear AC S0 S1
        !          1666: S2 FN TB
        !          1667: FG RF,
        !          1668: number incr FN 1,
        !          1669: number incr NN 1,
        !          1670: if t, page.offset 1.0i;)
        !          1671: 
        !          1672: |environment(:common_newfile;
        !          1673: |ifvalue verbatim off [
        !          1674: file.information,
        !          1675: ];
        !          1676: 
        !          1677: |ifvalue verbatim off [
        !          1678: file.information,
        !          1679: ])
        !          1680: 
        !          1681: |environment(:common_save;
        !          1682: ;)
        !          1683: 
        !          1684: |environment(:common_restore;
        !          1685: ;)
        !          1686: 
        !          1687: |comment<summary: insert (insert a file here)>
        !          1688: |comment<summary: source (insert a file here without processing it)>
        !          1689: |comment<summary: part (multi-part document)>
        !          1690: |comment<summary: comment (comment out text)>

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.