8 <src-style-file|fangle|0.5>
11 Style to be used in literate programs.
14 <\src-copyright|2009-2012>
19 This <TeXmacs> style file falls under the <hlink|GNU general public
20 license|$TEXMACS_PATH/LICENSE> and comes WITHOUT ANY WARRANTY
21 WHATSOEVER. If you do not have a copy of the license, then write to
22 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
23 Boston, MA 02111-1307, USA.
30 The previous release of newfangle did not embed the \<less\>item\<gtr\>
31 tags within the listing to denote a new line. Instead it used tricks to
32 break the environment contents into lines and enumerated over those and
33 emitting an \<less\>item\<gtr\> tag before each one.
35 Such a technique prevented lines from wrapping when typesetting and
36 also prevented users from inserting soft line-breaks (as they can with
37 normal enumerate environments).
39 For these reasons, a change is made to explicitly use the
40 \<less\>item\<gtr\> tag at the beginning of each line in a listing.
41 When the program is extracted from the document:
43 1. lines that do not begin with \<less\>item\<gtr\> will be joined to
44 the previous line by a single space character.
46 2. if the first line does not begin with \<less\>item\<gtr\> then
48 \ \ \ a. if it is not the first instance of a chunk name, it will be
49 joined to the end of the last line of the previous chunk instance
51 Note: if a line is included in another chunk without starting a new
52 line in the including chunk then the included chunk will not start a
53 new line, regardless of whether or not it is prefixed with
58 This sed will convert <TeXmacs> documents from the old to the new
59 format. Within nf-chunk tags it detects the start of a new entry by the
60 preceding blank line and inserts an \<less\>item\<gtr\> tag. It also
61 inserts an \<less\>item\<gtr\> tag right after the start of the
62 nf-chunk tag as this does not have a blank line.
67 /^[[:space:]]*\<less\>\\/nf-chunk/h
69 /^$/{n;/[^ ]/{x;/^[[:space:]]*\<less\>\\\\nf-chunk/{x;s/[[:space:]]*/
70 \<less\>item\<gtr\>/;x};x}}
72 /^[[:space:]]*\<less\>\\\\nf-chunk/{h;n;s/[[:space:]]*/
82 These are our package dependancies
86 <use-package|std|env|tmdoc-markup>
90 This is a failed attempt to add nf-chunk to the list tag definitions.
91 It does not work and must currently be executed from Tools, Execute,
92 Evaluate Scheme Expression
96 <extern|(lambda() (define-group enumerate-tag nf-chunk))>
98 <assign|list-of-chunks|<\macro|aux|body>
99 <render-index|List of Code Chunks|<arg|body>>
102 <assign|list-of-chunks*|<\macro|aux|name|body>
103 <render-index|<localize|<arg|name>>|<arg|body>>
108 The filename macro is intended to format filenames with appropriate
109 visual markup and avoiding confusing insertions of hyphens when the
110 name is split over a line
114 <assign|filename|<macro|name|<verbatim|<arg|name>>>>
118 The build-in code and verbaitim formats have an unpleasant line spacing
122 <assign|old-code|<value|code>>
124 <assign|code|<macro|x|<with|par-par-sep|0fn|<compound|old-code|<arg|x>>>>>
126 <assign|old-verbatim|<value|verbatim>>
128 <assign|verbatim|<macro|x|<with|<merge|ov-|<get-label|<arg|x>>>|<macro|x|<old-verbatim|<arg|x>>>|ov-document|<macro|x|<with|par-par-sep|0fn|<small|<old-verbatim|<arg|x>>>>>|<compound|<merge|ov-|<get-label|<arg|x>>>|<arg|x>>>>>
132 This style renders causes hyperlinks to show the URL in a footnote -
133 very useful for printed text and while <TeXmacs> PDF output does not
134 support hyperlink clicking
138 <assign|old-hlink|<value|hlink>>
140 <assign|hlink|<macro|t|l|<old-hlink|<arg|t>|<arg|l>><if|<greater|<length|<arg|l>>|0>|<\footnote>
141 <old-hlink|<arg|l>|<arg|l>>
144 <assign|old-render-footnote|<value|render-footnote>>
146 <assign|render-footnote|<macro|nr|x|<specific|html|\<less\>table
147 width="30%" align="right"\<gtr\>\<less\>tr\<gtr\>\<less\>td\<gtr\>><assign|zz|<arg|nr>><with|footnote-sep|<macro|<specific|html|<value|zz>>.
148 >|<old-render-footnote|<arg|nr>|<arg|x>>><specific|html|\<less\>/td\<gtr\>\<less\>/tr\<gtr\>\<less\>/table\<gtr\>>>>
152 This style makes it easy to render a sequence of keystrokes.
154 TODO: boundry from single-to multiple or back must have an extra space
158 <assign|keys|<xmacro|args|<with|c|0|m|<length|<map-args|identity|tuple|args>>|<while|<less|<value|c>|<value|m>>|<if|<greater|<value|c>|0>|<if|<greater|<length|<arg|args|<value|c>>>|1>|
159 >><key|<arg|args|<value|c>>><if|<less|<plus|<value|c>|1>|<value|m>>|<if|<and|<greater|<length|<arg|args|<value|c>>>|1>|<not|<greater|<length|<arg|args|<plus|<value|c>|1>>>|1>>>|
160 >><assign|c|<plus|<value|c>|1>>>>>>
164 Now, some extensions to standard <TeXmacs> functionality.
166 \ - the get-binding trick to extract a page number is kindly given by
167 Joris who gave us so much already.
169 I would rather ispageref? just made the first test comparing to uninit
170 (the red question mark) so that real but un-placed page refs would
171 still be recognized as a pageref - however I have found documents with
172 stale labels - that no longer exist in the document but which are still
173 stored in the document references section with a target page of ?
175 --- additional note: I have found that stale labels are now not even
176 reverting to ? but retain the last known value. The only fix is to
177 insert \<less\>assign\|save-aux\|false\<gtr\> in the pre-amble and hope
178 that it works (it often doesn't) so that page references are not saved
179 at all but created from scratch each time - avoiding the problem of
180 stale labels as they won't get created!
184 <assign|ispageref?|<macro|x|<and|<not|<equal|<uninit>|<pagerefpage|<arg|x>>>>|<not|<equal|?|<pagerefpage|<arg|x>>>>>>>
191 Page references are links, defined by the following macro:
195 \ \ \ \ \ (locus (id (hard-id (arg "x")))
197 \ \ \ \ \ \ \ \ \ \ \ \ (hyperlink (id (hard-id (arg "x")))
199 \ \ \ \ \ (url (merge "#" (arg "x"))))
201 (get-binding (arg "x") "1")))
204 which leads to this definition if pagerefpage whose job it is to give
205 the page number for a label (as it was last calculated to be).\
207 This is useful when constructing our own labels that consist of the
208 page number and a sub-page counter of the target.
212 <assign|pagerefpage|<macro|x|<get-binding|<arg|x>|1>>>
216 These next macros control how a code chunk is rendered on the screen,
217 and could legitimately be re-defined in the document.
223 nf-framed-table defines the format of the single cell that used to hold
224 the listing. The listing is no longer defined in a cell, but we still
225 draw top and bottom borders.
227 Currenly we can't draw left and right borders.
231 <assign|nf-cell-border|0.5ln>
233 <assign|nf-cell-no-border|0.0ln>
235 <assign|nf-cell-top-border|<value|nf-cell-border>>
237 <assign|nf-cell-left-border|<value|nf-cell-border>>
239 <assign|nf-cell-bottom-border|<value|nf-cell-no-border>>
241 <assign|nf-cell-right-border|<value|nf-cell-border>>
245 DEPRACATED: nf-framed-fragment defines the listing to be rendered in a
246 table with a single cell.
250 <assign|nf-framed-table|<macro|x|<with|color|dark
251 grey|<tformat|<twith|table-width|1par>|<cwith|1|-1|1|-1|cell-hyphen|t>|<cwith|1|-1|1|-1|cell-bsep|1spc>|<cwith|1|-1|1|-1|cell-tsep|1spc>|<cwith|1|-1|1|-1|cell-background|white>|<cwith|1|-1|1|-1|cell-lborder|<value|nf-cell-left-border>>|<cwith|1|-1|1|-1|cell-rborder|<value|nf-cell-right-border>>|<cwith|1|-1|1|-1|cell-bborder|<value|nf-cell-bottom-border>>|<cwith|1|-1|1|-1|cell-tborder|<value|nf-cell-top-border>>|<arg|x>>>>>
255 DEPREACTED: nf-framed-fragment defines the listing to be rendered in a
256 table with a single cell.\
258 As we currently use \<less\>wide-underlined\<gtr\> or
259 \<less\>wide-bothlined\<gtr\> to draw the lines this is done on lines
260 before and after the listing by underlining the header and a following
261 blank line, so nf-framed-fragment is currently null.
265 <assign|nf-framed-fragment-old|<macro|x|<nf-framed-table|<tformat|<table|<row|<\cell>
266 <with|color|black|<arg|x>>
269 <assign|nf-framed-fragment|<macro|x|<arg|x>>>
273 This is how top and bottom borders are drawn using solid or jagged
274 lines - it needs reworking, its a horrid hack with repeated code. \
278 <assign|nf-jag-top|<macro|<with|gr-geometry|<tuple|geometry|0.25fn|1fn>|gr-mode|<tuple|edit|line>|gr-frame|<tuple|scale|1cm|<tuple|0gw|1gh>>|gr-line-width|0.5ln|<graphics||<line|<point|0gw|-0.4gh>|<point|0.5gw|-0.25gh>|<point|1gw|-0.4gh>>>>>>
280 <assign|nf-jag-bottom|<macro|<with|gr-geometry|<tuple|geometry|0.25fn|1bls>|gr-mode|<tuple|edit|line>|gr-frame|<tuple|scale|1cm|<tuple|0gw|1gh>>|gr-line-width|1ln|<graphics||<line|<point|0gw|0.5gh>|<point|0.5gw|0.35gh>|<point|1gw|0.5gh>>>>>>
282 <assign|nf-jags-top|<macro|x|<repeat|<arg|x>|<nf-jag-top>>>>
284 <assign|nf-jags-bottom|<macro|x|<repeat|<arg|x>|<nf-jag-bottom>>>>
286 <assign|nf-jagit-top|<macro|body|<datoms|<macro|x|<nf-jags-top|<arg|x>>>|<surround||<htab|5mm*|last><vspace*|1sep>|<arg|body>>>>>
288 <assign|nf-jagit-bottom|<macro|body|<datoms|<macro|x|<nf-jags-bottom|<arg|x>>>|<surround||<htab|5mm*|last><vspace*|1sep>|<arg|body>>>>>
290 <assign|nf-top-border-line|<macro|body|<wide-underlined|<value|nf-cell-border>|1ln|<arg|body>>>>
292 <assign|nf-top-border-jags|<macro|body|<nf-jagit-top|<arg|body>>>>
294 <assign|nf-top-border-true|<macro|body|<nf-top-border-line|<arg|body>>>>
296 <assign|nf-top-border-false|<macro|body|<nf-top-border-jags|<arg|body>>>>
298 <assign|nf-top-border|<macro|first|body|<compound|<merge|nf-top-border-|<arg|first>>|<arg|body>>>>
300 <assign|nf-bottom-border-line|<macro|body|<wide-bothlined|<value|nf-cell-border>|0ln|1ln|0ln|<arg|body>>>>
302 <assign|nf-bottom-border-jags|<macro|body|<nf-jagit-bottom|<arg|body>>>>
304 <assign|nf-bottom-border-true|<macro|body|<nf-bottom-border-line|<arg|body>>>>
306 <assign|nf-bottom-border-false|<macro|body|<nf-bottom-border-jags|<arg|body>>>>
308 <assign|nf-bottom-border|<macro|first|body|<compound|<merge|nf-bottom-border-|<arg|first>>|<arg|body>>>>
312 prog-f renders a body in prog mode with specified language and without
313 a ghastly par-par-sep
317 <assign|prog-f|<macro|lang|body|<with|mode|prog|prog-language|<arg|lang>|<with|par-par-sep|0fn|<arg|body>>>>>
321 nf-border-if takes a boolean and then returns a correct width to show
322 (or not show) a border -- either as a table sell or a wide-underlined
326 <assign|nf-border-if|<macro|x|<if|<arg|x>|<value|nf-cell-border>|<value|nf-cell-no-border>>>>
330 ???prog-fragment is the top level macro used for rendering a listing
331 (without line numbers). It renders prog-f within a framed fragment.
335 <assign|prog-fragment|<\macro|name|lang|x>
336 <with|nf-cell-top-border|<nf-border-if|<compound|nf-first-chunklet?|<arg|name>>>|nf-cell-bottom-border|<nf-border-if|<nf-last-chunklet?|<arg|name>>>|<nf-framed-fragment|<compound|prog-f|<arg|lang>|<arg|x>>>>
339 <assign|nf-pf|<macro|name|lang|x|<nf-framed-fragment|<prog-f|<arg|lang>|<arg|x>>>>>
343 ???Numbering the listing
347 <assign|nflp|<macro|x|<arg|x>>>
351 Forgot what nf-chunk is for
355 <new-counter|nf-chunk>
359 The noweb format that we follow names listings after the page number
360 followed by an alpha-counter that is reset on each page; e.g. 12a then
361 12b, 12c and then on page 13 back to 13a
363 As there is no trigger called on a new page that can help us, we
364 instead store the page number as we process each chunk so that we can
365 tell when a chunk is on a different page to the previous chunk --- in
366 order to reset the alpha-counter.
374 Chunks have a name which is provided by the user, but more than one
375 chunk can have the same name. These are called chunklets of the same
378 Although chunklets have the same name, they have a different id, which
379 is the name with a specified prefix, and a suffix which is the chunklet
382 nf-chunk-id computes a chunk id from a fixed "code-" namespace, a
383 supplied "tag" namespace name, the name and the chunklet number
387 <assign|nf-chunk-id|<macro|name|tag|n|<merge|code-|<arg|tag>|-|<unquote|<arg|name>>|-|<arg|n>>>>
391 nf-this-chunk-id is a convenience that uses the counter for the current
392 chunklet. (Each chunk has it's own counter to count it's chunklets)
394 ???Possibly unquote should be used by the called and not here
398 <assign|nf-this-chunk-id|<macro|name|tag|<nf-chunk-id|<arg|name>|<arg|tag>|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>>>>
402 Simple way to discover if we are processing the first chunklet of a
403 named chunk - by checking it's chunklet counter.
407 <assign|nf-first-chunklet?|<macro|name|<equal|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>
411 Simple way to discover if we are processing the last chunklet of a
412 named chunk - by checking if there is a chunklet with an increased
417 <assign|nf-last-chunklet?|<macro|name|<not|<compound|nf-chunklet-exists?|<nf-chunk-id|<arg|name>|ref|<plus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>>>
421 Simple way to discover if a chunklet (probably) exists - which is
422 needed to know if we should show a forward reference to the next
423 chunklet. As each chunklet defines a label, we just need to check if
424 there is a pageref to that label.
428 <assign|nf-chunklet-exists?|<macro|id|<ispageref?|<arg|id>>>>
432 nf-nav renders the links to the previous and next chunklets of this
433 chunk (if they exist).
435 Looks like this: <math|\<vartriangleleft\>>7b
436 7d<math|\<vartriangleright\>>
440 <assign|nf-prev-chunk-id|<macro|name|<nf-chunk-id|<arg|name>|ref|<minus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>
442 <assign|nf-next-chunk-id|<macro|name|<nf-chunk-id|<arg|name>|ref|<plus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>
444 <assign|fangle-nav-left|<math|\<vartriangleleft\>>>
446 <assign|fangle-nav-up|<math|\<vartriangle\>>>
448 <assign|fangle-nav-down|<math|\<triangledown\>>>
450 <assign|fangle-nav-right|<math|\<vartriangleright\>>>
452 <assign|render-fangle-nav|<style-with|src-compact|none|<macro|<style-with|src-compact|all|<if|<not|<equal|<length|<value|prev_label>>|0>>|<value|prev><value|prev_label>><style-with|src-compact|all|<if|<not|<equal|<length|<value|next_label>>|0>>|
453 <value|next_label><value|next>>>>>>>
455 <assign|fangle-nav|<style-with|src-compact|none|<\macro|name>
456 <with|prev|<if|<equal|<pagerefpage|<nf-prev-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<vartriangle\>>|<math|\<vartriangleleft\>>>|prev_label|<if|<not|<nf-first-chunklet?|<arg|name>>>|<reference|<nf-prev-chunk-id|<arg|name>>>>|next|<if|<nf-chunklet-exists?|<nf-next-chunk-id|<arg|name>>>|<if|<equal|<pagerefpage|<nf-next-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<triangledown\>>|<math|\<vartriangleright\>>>>|next_label|<if|<nf-chunklet-exists?|<nf-next-chunk-id|<arg|name>>>|
457 <reference|<nf-next-chunk-id|<arg|name>>>>|<render-fangle-nav>>
459 <style-with|src-compact|all|>
462 <assign|xnf-nav|<style-with|src-compact|none|<macro|name|<style-with|src-compact|all|<if|<not|<nf-first-chunklet?|<arg|name>>>|<if|<equal|<pagerefpage|<nf-prev-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<vartriangle\>>|<math|\<vartriangleleft\>>><reference|<nf-prev-chunk-id|<arg|name>>>>><if|<nf-chunklet-exists?|<nf-next-chunk-id|<arg|name>>>|
463 <reference|<nf-next-chunk-id|<arg|name>>><if|<equal|<pagerefpage|<nf-next-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<triangledown\>>|<math|\<vartriangleright\>>>>>>>
467 nf-header renders the single line header before the listing. It lists
468 the reference of this chunk which is the-label (already estiablished by
469 nf-chunk-init) along with the chunk name and language, the chunklet
470 number and a reference to the first chunklet with the same name, and
471 also the chunklet navigation.
477 <assign|render-fangle-header|<macro|<shift|<resize|<specific-verbatim|\<#000A\>><value|chunk_label>
478 |||0fn|>|-2.0fn|><nv-langle><with|color|blue|<value|name>>[<value|chunk_no><style-with|src-compact|none|]><if|<not|<equal|<value|chunk_no>|1>>|<if|<not|<equal|<length|<value|args>>|0>>|(<with|nf-render-commas|<macro|x|<arg|x>>|<nf-commas|<value|args>>>)>
479 <math|\<Uparrow\>><value|first_chunk_label>|(<nf-commas|<value|args>>)>,
480 lang=<with|color|blue|<value|lang>><nv-rangle>
481 <math|<if|<not|<equal|<value|chunk_no>|1>>|+>\<equiv\>>>>
483 <assign|if-provides|<macro|x|<if|<provides|<arg|x>>|<arg|x>>>>
485 <assign|fangle-header|<macro|name|lang|args|<with|<render-fangle-header|<arg|name>|<arg|lang>|<arg|args>|<if-provides|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>>|<value|the-label>>>>>
487 <assign|draw-fangle-header|<macro|name|lang|args|chunk_no|chunk_label|first_chunk_label|prev|prev_label|next|next_label|<with|name|<arg|name>|lang|<arg|lang>|args|<arg|args>|chunk_no|<arg|chunk_no>|chunk_label|<arg|chunk_label>|first_chunk_label|<arg|first_chunk_label>|prev|<arg|prev>|prev_label|<arg|prev_label>|next_label|<arg|next_label>|next|<arg|next>|<render-fangle-header><htab|0pt><render-fangle-nav>>>>
489 <assign|nf-pad|<macro|w|<if|<not|<less|<arg|w>|1>>|
490 <nf-pad|<minus|<arg|w>|1>>>>>
492 <assign|nf-header|<macro|name|lang|args|<shift|<resize|<specific-verbatim|\<#000A\>><value|the-label>
493 |||0fn|>|-2.0fn|><nv-langle><with|color|blue|<arg|name>>[<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>><style-with|src-compact|none|]><if|<not|<nf-first-chunklet?|<arg|name>>>|<if|<not|<equal|<value|<merge|code-args-|<unquote|<arg|name>>>>|<uninit>>>|(<with|nf-render-commas|<macro|x|<arg|x>>|<nf-commas|<value|<merge|code-args-|<unquote|<arg|name>>>>>>)>
494 <math|\<Uparrow\>><reference|<nf-chunk-id|<arg|name>|ref|1>>|(<nf-commas|<arg|args>>)>,
495 lang=<with|color|blue|<arg|lang>><nv-rangle>
496 <math|<if|<not|<nf-first-chunklet?|<arg|name>>>|+>\<equiv\>><htab|0pt><fangle-nav|<arg|name>>>>
498 <assign|nf-header|<macro|name|lang|args|<with|name|<arg|name>|lang|<arg|lang>|args|<if|<not|<equal|<value|<merge|code-args-|<unquote|<arg|name>>>>|<uninit>>>|<nf-commas|<value|<merge|code-args-|<unquote|<arg|name>>>>>|<arg|args>>|chunk_label|<value|the-label>|chunk_no|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|first_chunk_label|<reference|<nf-chunk-id|<arg|name>|ref|1>>|<fangle-header><htab|0pt><xnf-nav|<arg|name>>>>>
500 <assign|nf-render-commas|<macro|x|<with|color|blue|<arg|x>>>>
502 <assign|nf-commas|<macro|items|<if|<equal|<get-label|<arg|items>>|tuple>|<if|<less|<length|<arg|items>>|1>|<specific-verbatim|\<#000B\>>|<nf-render-commas|<look-up|<arg|items>|0>><if|<greater|<length|<arg|items>>|1>|<specific-verbatim|\<#000B\>>,
503 <nf-commas|<range|<arg|items>|1|<length|<arg|items>>>>|<specific-verbatim|\<#000B\>>>>|<arg|items><if|<not|<equal|<length|<arg|items>>|0>>|<specific-verbatim|\<#000B\>>>>>>
505 <assign|nf-commaxy|<macro|x|, (<arg|x>)>>
507 <assign|nf-commax|<xmacro|args|[<arg|args|0><map-args|nf-commaxy|concat|args|1>]>>
509 <assign|bla|<xmacro|args|<arg|args|0>:<arg|args|1>(<arg|args>)>>
513 nf-gather is an attempt to remember each named chunk so that it can
514 optionally be expanded in-place in other chunks. It's a poor attempt
515 and only works for forward uses. Such expansion should be compined with
516 over-brace or side-brace decoration of the included chunk, and also
517 requires that the inline continuation after the expanded chunk continue
518 from the baseline of the expanded chunk instead of the baseline before
519 the expanded chunk was included.
523 <assign|nf-gather|<macro|name|x|lang|<if|<provides|<arg|name>>|<assign|<unquote|<arg|name>>|<value|<arg|name>><unquote|<arg|x>>>|<assign|<unquote|<arg|name>>|<quote|<arg|x>>>>>>
527 nf-chunk-new is called by nf-chunk-init for the first chunklet of a
528 given chunk name - it defines a chunklet counter and a line number
533 <assign|nf-chunk-new|<macro|name|args|<quasi|<new-counter|<merge|code-chunk-|<unquote|<arg|name>>>><new-counter|<merge|code-line-|<unquote|<arg|name>>>><assign|<unquote|<merge|code-item-|<arg|name>>>|<macro|<compound|<unquote|<merge|next-code-line-|<arg|name>>>><render-item|<compound|<unquote|<merge|the-code-line-|<arg|name>>>>>>><compound|<merge|inc-code-chunk-|<unquote|<arg|name>>>><assign|<merge|code-args-|<unquote|<arg|name>>>|<arg|args>>><write|nf-chunk|<tuple|<tuple|<arg|name>>|<reference|<nf-this-chunk-id|<arg|name>|ref>>>>>>
537 nf-chunk-next is called by nf-chunk-init for the additional chunklets
538 of a given chunk name. \ It increments the chunklet counter
542 <assign|nf-chunk-next|<macro|name|<compound|<merge|inc-code-chunk-|<unquote|<arg|name>>>><write|nf-chunk|<tuple|<tuple|<arg|name>>|<reference|<nf-this-chunk-id|<arg|name>|ref>>>>>>
546 nf-check-page uses the label defined in nf-chunk-label to get the
547 number of the page containing this chunk to compare to nf-page (the
548 number of the page containing the previous chunk) to see if this chunk
549 is the first chunk on a page. If so, then the nf-chunk alpha counter is
550 reset, otherwise it is increased.
554 <assign|nf-check-page|<macro|name|<if|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>>|<reset-nf-chunk><inc-nf-chunk><assign|nf-page|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<inc-nf-chunk>>>>
558 ???????? Review from here onwards
564 nf-chunk-ref defines labels and label text so that we can generate
565 references to chunklets in the form
566 \<less\>PAGENO\<gtr\>\<less\>the-nf-chunk\<gtr\> \ e.g. 17a then 17b
569 The label text is stored in the-chunk-label which is used by XXX. It
570 then creates a label (with the tag ref) of the form code-ref-NAME-NO
571 which is a bit long winded to use with \<less\>reference\|...\<gtr\>
572 and so \<less\>chunk-reference\|...\<gtr\> is provided to help.
574 The ref tagged label is to be used in preference to the label-tagged
575 label created in nf-chunk-label whose only purpose is to find out what
576 page a chunk starts on so that the chunk ref label can be created
580 <assign|nf-chunk-ref|<macro|name|<nf-check-page|<arg|name>><assign|the-chunk-label|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>><number|<the-nf-chunk>|alpha>><assign|the-label|<value|the-chunk-label>><label|<nf-this-chunk-id|<arg|name>|ref>>>>
584 There seems to be no \<less\>specific\|...\<gtr\> tag for verbatim
585 exports, so we use specific-verbatim. The body is not visible except in
590 <assign|specific-verbatim|<macro|x|<clipped|<arg|x>|0|0|0|0>>>
594 except-specific-verbatim is intended to output in all forms except
595 verbatim. This is used because some entities do not have a text
596 representation --- like \<less\>langle\<gtr\> and the fall-back
597 representation is ugly. This macro does not work in page headers, the
598 \<less\>if*\|false\|body\<gtr\> fails to leave the correct space
602 <assign|except-specific-verbatim|<macro|body|<specific|screen|<arg|body>><specific|printer|<arg|body>><if*|false|<arg|body>>>>
606 nv-langle-subst and lv-rangle-subst define characters that should be
607 output in verbatim mode instead of langle and rangle which would
608 otherwise be output as the literal text rangle and langle
612 <assign|nv-langle-subst|\<less\>>
614 <assign|nv-rangle-subst|\<gtr\>>
618 nv-langle and nv-rangle are macros that can be used to generate a
619 langle and rangle exceot in text mode were they use the subst
620 characters \<less\> and \<gtr\>
624 <assign|nv-langle|<macro|<except-specific-verbatim|<with|mode|math|<left|langle>>><specific-verbatim|<value|nv-langle-subst>>>>
626 <assign|nv-rangle|<macro|<except-specific-verbatim|<with|mode|math|<right|rangle>>><specific-verbatim|<value|nv-rangle-subst>>>>
630 nv-render-line-no renders the line numbers for listings in a way that
631 is suitable for typeset and also verbatim export.
635 <assign|nf-render-line-no|<macro|x|<with|mode|text|par-mode|right|<with|font-family|tt|<with|font-base-size|6|<specific-verbatim|<nf-pad|<minus|3|<length|<value|item-nr>>>>><aligned-space-item|<arg|x>><specific-verbatim|\|
640 A chunklabel is of the form [chunkaname chunkno] e.g. [main.c 1] but
641 it's main purpose is not decorative or visual but as a means to
642 discover the page number containing this chunk so that it can be used
647 <assign|nf-chunk-label|<macro|name|<assign|nf-last-chunk|<arg|name>><assign|the-label|[<arg|name>
648 <compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>]><label|<nf-this-chunk-id|<arg|name>|label>>>>
652 nf-chunk-init is called at the start of nf-chunk to create all
653 neccessary counters and labels. The
654 \<less\>provides\|\<less\>merge\|code-chunk-\|\<less\>unquote\|name\<gtr\>\|-nr\<gtr\>\<gtr\>
655 test could be replaced by some more canonical way to discover if a
656 chunk or chunk counter is defined. It's old code and I don't want to
661 <assign|nf-chunk-init|<macro|name|args|<with|nf-same-chunk|<equal|<value|nf-last-chunk>|<arg|name>>|<if|<not|<provides|<merge|code-chunk-|<unquote|<arg|name>>|-nr>>>|<nf-chunk-new|<arg|name>|<arg|args>>|<nf-chunk-next|<arg|name>>><nf-chunk-label|<arg|name>><nf-chunk-ref|<arg|name>><assign|nf-continues|<and|<value|nf-same-chunk>|<not|<equal|<number|<the-nf-chunk>|alpha>|a>>>>>>>
665 nf-chunk-outit is called at the end of nf-chunk mainly to create a
666 label so that we can see if the chunk ended on the same page it began.\
670 <assign|nf-chunk-outit|<macro|name|<label|<nf-this-chunk-id|<arg|name>|end>>>>
674 These macros output either a solid line ________ or a torn-paper-line
675 /\\/\\/\\ at the top and bottom of listins in verbatim mode, to signify
676 if the chunk continues or ends with this chunklet
680 <assign|nf-jags|<macro|<datoms|<macro|x|<repeat|<arg|x>|<with|gr-geometry|<tuple|geometry|2mm|5mm|center>|gr-mode|<tuple|edit|line>|gr-frame|<tuple|scale|1cm|<tuple|0.589991gw|0.5gh>>|<graphics||<line|<point|0mm|0mm>|<point|1mm|1mm>|<point|2mm|0mm|>>>>>>|<htab|5mm*|last>>>>
682 <assign|nf-bar|<macro|>>
684 <assign|nf-barx|<macro|<merge|<times|<value|font-base-size>|<value|font-size>>|pt><with|gr-geometry|<tuple|geometry|2mm|<merge|<times|<value|font-base-size>|<value|font-size>|1>|pt>|center>|gr-mode|<tuple|edit|line>|line-width|8ln|<graphics||<line|<point|0mm|0mm>|<point|0mm|30pt>>>>>>
686 <assign|nf-verbatim-top|<macro|new|<if|<arg|new>|<specific-verbatim|
687 \ \ \ \ \ ________________________________________________________________________>|<specific-verbatim|
688 \ \ \ \ ./\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\>>>>
690 <assign|nf-verbatim-bottom|<macro|new|<if|<arg|new>|<specific-verbatim|
691 \ \ \ \ \|________________________________________________________________________>|<specific-verbatim|
692 \ \ \ \ \|/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\>>>>
696 nf-chunk is the first public macro. It shows a named listing with all
699 We used to disable the full header if previous chunk on this page had
700 same name and this is not the first chunk on a page
704 <assign|nf-use-page-header|<macro|h|<set-this-page-header|<arg|h>>>>
706 <assign|nf-chunk|<macro|name|x|lang|args|<with|the-label||xnv-langle-subst||xnv-rangle-subst||nf-name|<unquote|<arg|name>>|y|<value|pob>|<small|<surround|<nf-chunk-init|<arg|name>|<arg|args>><wide-underlined|<nf-border-if|<nf-first-chunklet?|<value|nf-name>>>|1ln|<no-page-break*><label|<arg|name>><small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>><no-page-break>>|<if|<nf-last-chunklet?|<value|nf-name>>|<wide-bothlined|<nf-border-if|<nf-last-chunklet?|<value|nf-name>>>|0ln|1ln|0ln|<if|<nf-first-chunklet?|<value|nf-name>>|<nf-show-used-by>><htab|5mm*|last>>|<if|<nf-first-chunklet?|<value|nf-name>>|<nf-show-used-by>>>|<\with|item|<value|<merge|code-item-|<unquote|<arg|name>>>>|item-vsep|0fn|current-item|<value|nf-render-line-no>|transform-item|<value|identity>>
707 <\surround||<nf-chunk-outit|<arg|name>><if|<and|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|end>>>>|<ispageref?|<nf-this-chunk-id|<arg|name>|end>>>|<nf-use-page-header|<with|nv-langle|<macro|<with|mode|math|<left|langle>>>|nv-rangle|<macro|<with|mode|math|<right|rangle>>>|<small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>>>>>>
708 <no-page-break><nf-verbatim-top|<nf-first-chunklet?|<value|nf-name>>>
710 <with|nv-langle-subst|\S|nv-rangle-subst|\T|nf-current-chunk|<arg|name>|<nf-pf|<value|nf-name>|<arg|lang>|<arg|x>>>
712 <no-page-break*><if|<nf-last-chunklet?|<value|nf-name>>|<assign|<merge|code-line-|<value|nf-name>|-nr>|0>><nf-verbatim-bottom|<nf-last-chunklet?|<value|nf-name>>>
716 <assign|nf-chunkl|<macro|name|x|lang|args|<with|the-label||xnv-langle-subst||xnv-rangle-subst||nf-name|<unquote|<arg|name>>|y|<value|pob>|||<small|<\surround|<nf-chunk-init|<arg|name>|<arg|args>><label|<arg|name>><no-page-break*><small|<nf-top-border|<nf-first-chunklet?|<value|nf-name>>|<nf-header|<arg|name>|<arg|lang>|<arg|args>>>><no-page-break>|<nf-bottom-border|<nf-last-chunklet?|<value|nf-name>>|<htab|5mm*|last>>>
717 <\with|item|<value|<merge|code-item-|<unquote|<arg|name>>>>|item-vsep|0fn|current-item|<value|nf-render-line-no>|transform-item|<value|identity>>
718 <\surround||<nf-chunk-outit|<arg|name>><if|<and|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|end>>>>|<ispageref?|<nf-this-chunk-id|<arg|name>|end>>>|<nf-use-page-header|<with|nv-langle|<macro|<with|mode|math|<left|langle>>>|nv-rangle|<macro|<with|mode|math|<right|rangle>>>|<small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>>>>>>
719 <no-page-break><nf-verbatim-top|<nf-first-chunklet?|<value|nf-name>>>
721 <with|nv-langle-subst|\S|nv-rangle-subst|\T|<nf-pf|<value|nf-name>|<arg|lang>|<arg|x>>>
723 <if|<nf-last-chunklet?|<value|nf-name>>|<assign|<merge|code-line-|<value|nf-name>|-nr>|0>>
728 <assign|nf-fake-chunk|<macro|name|x|lang|args|chunk_no|chunk_label|chunk_first_label|prev|prev_label|next|next_label|line-no|<with|the-label||xnv-langle-subst||xnv-rangle-subst||nf-name|<unquote|<arg|name>>|name|<arg|name>|lang|<arg|lang>|args|<arg|args>|chunk_no|<arg|chunk_no>|chunk_label|<arg|chunk_label>|chunk_first_label|<arg|chunk_first_label>|prev|<arg|prev>|prev_label|<arg|prev_label>|next|<arg|next>|next_label|<arg|next_label>|<small|<surround|<wide-underlined|<nf-border-if|<equal|<value|chunk_no>|1>>|1ln|<no-page-break*><small|<render-fangle-header><htab|0pt><render-fangle-nav>><no-page-break>>|<if|<equal|<length|<value|next>>|0>|<wide-bothlined|<nf-border-if|<equal|<length|<value|next>>|0>>|0ln|1ln|0ln|<htab|5mm*|last>>|<nf-jags>>|<\with|xitem|<arg|line-no>|item-nr|0|item-vsep|0fn|current-item|<value|nf-render-line-no>|transform-item|<value|identity>>
729 <no-page-break><nf-verbatim-top|<nf-first-chunklet?|<value|nf-name>>>
731 <with|nv-langle-subst|\S|nv-rangle-subst|\T|<nf-pf|<value|nf-name>|<arg|lang>|<arg|x>>>
733 <no-page-break*><if|<nf-last-chunklet?|<value|nf-name>>|<assign|<merge|code-line-|<value|nf-name>|-nr>|0>><nf-verbatim-bottom|<nf-last-chunklet?|<value|nf-name>>>
736 <new-list|nfl|<value|aligned-dot-item>|<value|identity>>
738 <drd-props|nf-chunk|accessible|all>
740 <drd-props|nf-fake-chunk|accessible|all>
742 <assign|nf-comment|<macro|x|<with|mode|text|<specific-verbatim|/*
743 ><arg|x><specific-verbatim| */>>>>
747 nf-ref is the second public macro. It may be inserted into a chunk
748 listing to signify that another listing should be included at that
749 point. As \\ doesn't work in listings you'll have to type meta-\\ \
751 This will become an xmacro or something so that it can take optional
752 arguments (like C macros) which will be expanded when the programs are
757 <assign|nf-ref|<style-with|src-compact|none|<macro|name|args|<if|<and|<provides|nf-current-chunk>|<not|<equal|<uninit>|<value|nf-current-chunk>>>|<not|<equal|?|<value|nf-current-chunk>>>>|<nf-used-by-chunk|<arg|name>|<nf-chunk-id|<value|nf-current-chunk>|ref|1>><write|nf-chunk|<tuple|<tuple|<arg|name>|Used
758 by>|<reference|<nf-chunk-id|<value|nf-current-chunk>|ref|1>>>>|<auto-label><write|nf-chunk|<tuple|<tuple|<arg|name>|Mentioned>|<nf-render-used-by|<the-auto>>>>><nv-langle><arg|name><if|<and|<or|<equal|<get-label|<arg|args>>|tuple>|<equal|<get-label|<arg|args>>|string>>|<greater|<length|<arg|args>>|0>>|<specific-verbatim|\<#000B\>>(<if|<equal|<get-label|<arg|args>>|tuple>|<nf-commas|<arg|args>>|<with|color|blue|<arg|args>>>)|<phantom|(><arg|args>>
759 <reference|<nf-chunk-id|<arg|name>|ref|1>><nv-rangle><flag|<arg|name>|red><if|<equal|0|1>|<compound|<quote-arg|name>>>>>>
761 <assign|nf-fake-ref|<style-with|src-compact|none|<macro|name|args|ref|<nv-langle><arg|name><if|<equal|<get-label|<arg|args>>|tuple>|<specific-verbatim|\<#000B\>>(<nf-commas|<arg|args>>)>
762 <arg|ref><nv-rangle><flag|<arg|name>|red><if|<equal|0|1>|<compound|<quote-arg|name>>>>>>
764 <drd-props|nf-ref|accessible|all>
766 <drd-props|nf-fake-ref|accessible|all>
768 <assign|nf-render-used-by|<macro|x|<reference|<arg|x>> (<localize|page>
771 <assign|nf-used-by-chunk|<macro|name|<write|nf-chunk|<tuple|<tuple|<arg|name>|Used
772 by>|<reference|<nf-chunk-id|<value|nf-current-chunk>|ref|1>>>>>>
774 <assign|nf-put|<macro|name|value|<with|the-label|<arg|value>|<label|<arg|name>>>>>
776 <assign|nf-get|<macro|name|<get-binding|<arg|name>|0>>>
778 <assign|nf-ping-old|<macro|name|<if|<not|<provides|<merge|old-|<arg|name>>>>|<assign|<merge|old-|<arg|name>>|<get-binding|<arg|name>|0>>>>>
780 <assign|nf-used-by-chunk|<macro|name|used|<nf-ping-old|<merge|nf-code-use-|<arg|name>>><with|uses|<value|<merge|nf-code-use-|<arg|name>>>|<if|<not|<equal|<get-label|<value|uses>>|tuple>>|<assign|<merge|nf-code-use-|<arg|name>>|<tuple|<arg|used>>>|<if|<not|<equal|<look-up|<value|<merge|nf-code-use-|<arg|name>>>|<minus|<length|<value|<merge|nf-code-use-|<arg|name>>>>|1>>|<arg|used>>>|<assign|<merge|nf-code-use-|<arg|name>>|<merge|<value|<merge|nf-code-use-|<arg|name>>>|<tuple|<arg|used>>>>>><nf-put|<merge|nf-code-use-|<arg|name>>|<value|<merge|nf-code-use-|<arg|name>>>>>>>
782 <assign|nf-show-used-by|<macro|<nf-ping-old|<merge|nf-code-use-|<value|nf-name>>><with|uses|<value|<merge|old-nf-code-use-|<value|nf-name>>>|<if|<equal|<get-label|<value|uses>>|tuple>|Used
783 by <nf-render-used-by|<value|uses>>|<smaller|not used>>>>>
785 <assign|render-join|<xmacro|args|<with|join|<arg|args|0>|render|<arg|args|1>|render-join|<macro|x|<value|join><compound|<value|render>|<arg|x>>>|<compound|<value|render>|<arg|args|2>><map-args|render-join|concat|args|3>>>>
787 <assign|nf-render-used-by|<macro|t|with|render|<quasi|<render-join|,
788 |reference|<unquote*|<arg|t>>>>>>
792 nf-quote causes literal text to be included in a new language mode -
793 it's main task is to do some of the horrid nested quoting that some
796 For instance to match a backslash in a gsub regex in awk requires 4
797 back slashes - first quote the single backslash for the regex which
798 makes two backslashes, and then quote each of those for the string
803 <assign|output-mode?|<macro|<assign|output-mode|unknown><specific|screen|<assign|output-mode|typeset>><specific|html|<assign|output-mode|export>>>>
805 <assign|nf-text-render-typeset|<macro|x|mode|submode|<math|<wide|<text|<verbatim|<arg|x>>>|\<wide-overbrace\>><rsup|<arg|mode>:<arg|submode>>>>>
807 <assign|nf-text-render-export|<macro|x|mode|submode|<nv-langle><arg|mode>:<arg|submode>:<arg|x><nv-rangle>>>
809 <assign|nf-text|<macro|x|mode|submode|<output-mode?><compound|<merge|nf-text-render-|<value|output-mode>>|<arg|x>|<arg|mode>|<arg|submode>>>>
811 <drd-props|nf-text|accessible|all>
815 nf-arg is a public macro. It will be replaced by the value of the chunk
816 argument when the code is extracted.
818 I really want to use \<less\>with\|nv-langle\|${\<gtr\> etc, but
819 evaluation of this is deferred until afterwards or something
823 <assign|nf-arg|<macro|name|<with|nv-langle-subst||nv-rangle-subst||<nv-langle><specific-verbatim|${><with|color|dark
824 green|<with|prog-font-shape|italic|<arg|name>>><specific-verbatim|}><nv-rangle>>>>
828 chunk-reference takes the chunks name and chunklet number and returns a
829 regular reference - like \<less\>reference\|\<gtr\> but calculates the
834 <assign|chunk-reference|<macro|name|n|<reference|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
836 <assign|chunk-page-reference|<macro|name|n|<pageref|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
838 <assign|chunk-page-reference-page|<macro|name|n|<pagerefpage|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
842 One day nf-tab will manage proper tab stops and emit a literal TAB
843 character in text mode.
845 Until then, it equals 8 spaces and the sequence 0xE2 0x86 0xA6 must be
846 converted to a tab during untangling
848 nf-untab will output 0xE2 0x86 0xA4 and is a hack; during untanging
849 [[:space:]]*0xE2 0x86 0xA4 will be deleted. This is useful for
850 removeing the indent of here documents in bash scripts
854 <assign|nf-tab-stop|8>
856 <assign|xafter|<specific-verbatim|\<#000A\> \ \ \ \<#221F\>>>
858 <assign|xnf-tab|<macro|<resize|\<#0009\><with|mode|math|\<mapsto\>>|||<merge|c+|<minus|<value|nf-tab-stop>|<mod|<value|nf-len>|<value|nf-tab-stop>>>|spc>|>>>
860 <assign|nf-tab|<macro|<resize|<with|mode|math|\<mapsto\>>|||8spc|>>>
862 <assign|nf-untab|<macro|<with|mode|math|\<mapsfrom\>>>>
864 <assign|nf-ht|<macro|<extern|(lambda () `(concat "[" ,(string #\\ht)
869 THIS is the NEW fangle
873 <assign|fangle-chunk-new|<macro|name|args|<quasi|<new-counter|<merge|code-chunk-|<unquote|<arg|name>>>><new-counter|<merge|code-line-|<unquote|<arg|name>>>><assign|<unquote|<merge|code-item-|<arg|name>>>|<macro|<compound|<unquote|<merge|next-code-line-|<arg|name>>>><render-item|<compound|<unquote|<merge|the-code-line-|<arg|name>>>>>>><compound|<merge|inc-code-chunk-|<unquote|<arg|name>>>><assign|<merge|code-args-|<unquote|<arg|name>>>|<arg|args>>>>>
875 <assign|fangle-chunk-init|<macro|name|args|<with|nf-same-chunk|<equal|<value|nf-last-chunk>|<arg|name>>|<if|<not|<provides|<merge|code-chunk-|<unquote|<arg|name>>|-nr>>>|<fangle-chunk-new|<arg|name>|<arg|args>>|<nf-chunk-next|<arg|name>>><nf-chunk-label|<arg|name>><nf-chunk-ref|<arg|name>><assign|nf-continues|<and|<value|nf-same-chunk>|<not|<equal|<number|<the-nf-chunk>|alpha>|a>>>>>>>
877 <assign|fangle-render-list|<\macro|body>
878 <\padded-normal|<item-vsep>|<item-vsep>>
879 <\indent-left|<item-hsep>>
880 <surround|<no-page-break*>|<no-indent*>|<arg|body>>
885 <assign|fangle-list|<\macro|item-render|item-transform|body>
886 <\with|current-item|<arg|item-render>|transform-item|<arg|item-transform>|_item-nr|0>
887 <fangle-render-list|<arg|body>>
891 <assign|new-fangle|<\macro|name|lang|args>
892 <fangle-chunk-init|<arg|name>|<arg|args>><quasi|<style-with|src-compact|none|<assign|<arg|name>|<\macro|body>
893 <small|<with|item-vsep|0fn|item-nr|<value|<unquote|<merge|code-line-|<arg|name>|-nr>>>|<fangle-list|<value|nf-render-line-no>|<value|identity>|<prog-f|<unquote|<arg|lang>>|<arg|body>>>>>
894 </macro>>><drd-props|<unquote|<arg|name>>|arity|1|accessible|all>>
897 <assign|nf-chunkz|<macro|name|x|lang|args|<with|the-label||xnv-langle-subst||xnv-rangle-subst||nf-name|<unquote|<arg|name>>|y|<value|pob>|<small|<surround|<nf-chunk-init|<arg|name>|<arg|args>><wide-underlined|<nf-border-if|<nf-first-chunklet?|<value|nf-name>>>|1ln|<no-page-break*><label|<arg|name>><small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>><no-page-break>>|<if|<nf-last-chunklet?|<value|nf-name>>|<wide-bothlined|<nf-border-if|<nf-last-chunklet?|<value|nf-name>>>|0ln|1ln|0ln|<htab|5mm*|last>>|<nf-jags>>|<\with|item|<value|<merge|code-item-|<unquote|<arg|name>>>>|item-vsep|0fn|current-item|<value|nf-render-line-no>|transform-item|<value|identity>>
898 <\surround||<nf-chunk-outit|<arg|name>><if|<and|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|end>>>>|<ispageref?|<nf-this-chunk-id|<arg|name>|end>>>|<nf-use-page-header|<with|nv-langle|<macro|<with|mode|math|<left|langle>>>|nv-rangle|<macro|<with|mode|math|<right|rangle>>>|<small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>>>>>>
899 <no-page-break><nf-verbatim-top|<nf-first-chunklet?|<value|nf-name>>>
901 <with|nv-langle-subst|\S|nv-rangle-subst|\T|<nf-pf|<value|nf-name>|<arg|lang>|<arg|x>>>
903 <no-page-break*><if|<nf-last-chunklet?|<value|nf-name>>|<assign|<merge|code-line-|<value|nf-name>|-nr>|0>><nf-verbatim-bottom|<nf-last-chunklet?|<value|nf-name>>>
910 <associate|page-medium|automatic>
911 <associate|page-screen-height|747264tmpt>
912 <associate|page-screen-width|1267200tmpt>
913 <associate|preamble|true>