###############################################################################
# #
# Lout @DocumentSetup package (Version 3.16) #
# #
# Version 1.0 by Jeffrey H. Kingston, 17 July 1991. #
# Version 2.0 by Jeffrey H. Kingston, 22 December 1992. #
# Version 3.0 by Jeffrey H. Kingston, 19 April 1994. #
# Version 3.03 by Jeffrey H. Kingston, 6 May 1995. #
# Versions 3.04 and 3.05 by Jeffrey H. Kingston, 11 June 1995. #
# Version 3.05 by Jeffrey H. Kingston, 25 July 1995. #
# Version 3.07 by Jeffrey H. Kingston, February 1996. #
# Version 3.10 by Jeffrey H. Kingston, September 1996. #
# Version 3.11 by Jeffrey H. Kingston, December 1996. #
# Version 3.13 by Jeffrey H. Kingston, October 1998. #
# Version 3.16 by Jeffrey H. Kingston, May 1999. #
# Version 3.17 by Jeffrey H. Kingston, September 1999. #
# #
# This Lout package contains the general definitions used by all types of #
# documents. It needs to be extended (see docf, reportf, bookf, slidesf, #
# etc.) with definitions for particular document types. Consult "A User's #
# Guide to the Lout Document Formatting System" for user information. #
# #
###############################################################################
extend @BasicSetup
export
@Runner
@Figure @Table
@FootNote @AnotherFootNote @EndNote
@LeftNote @RightNote @OuterNote @InnerNote @Place
@Theorem @Proof @EndProof
@Definition @Claim @Proposition @Lemma @Corollary @Example
@Reference @RefStyle @RefPrint
@Ref @NoRef @ChapRef @NoChapRef
@Cite @NoCite @ChapCite @NoChapCite
@IndexA @SubIndexA @SubSubIndexA @RawIndexA
@RawSubIndexA @RawSubSubIndexA @IndexABlanks
@IndexB @SubIndexB @SubSubIndexB @RawIndexB
@RawSubIndexB @RawSubSubIndexB @IndexBBlanks
@Index @SubIndex @SubSubIndex @RawIndex
@RawSubIndex @RawSubSubIndex @IndexBlanks
@BypassContentsEntry @BypassMajorContentsEntry
@BypassFigureContentsEntry @BypassTableContentsEntry
@BypassReference @BypassChapReference
@BypassBeginIndex @BypassRawIndex @BypassEndIndex
@BypassBeginIndexA @BypassRawIndexA @BypassEndIndexA
@BypassBeginIndexB @BypassRawIndexB @BypassEndIndexB
def @DocumentSetup
named @PageType { A4 @OrIfPlain Other} # page type (width, height)
named @PageWidth { 80s } # page width if type Other
named @PageHeight { 66f } # page height if type Other
named @PageOrientation { Portrait } # Portrait, Landscape, etc.
named @PageBackground { } # background of each page
named @TopMargin { 2.50c @OrIfPlain 6f } # top margin of all pages
named @FootMargin { 2.50c @OrIfPlain 6f } # bottom margin of all pages
named @OddLeftMargin { 2.50c @OrIfPlain 10s } # left margin of odd pages
named @OddRightMargin { 2.50c @OrIfPlain 10s } # right margin of odd pages
named @EvenLeftMargin { 2.50c @OrIfPlain 10s } # left margin of even pages
named @EvenRightMargin { 2.50c @OrIfPlain 10s } # right margin of even pages
named @PageBoxType { None } # None Box CurveBox ShadowBox
named @PageBoxMargin { 1.00c } # page box margin
import @LengthUnits named @PageBoxLineWidth
{ } # page box line thickness
named @PageBoxPaint { none } # page box paint
named @PageBoxShadow { 0.60c } # shadow margin if ShadowBox
named @ColumnNumber { 1 } # number of columns (1 to 10)
named @ColumnGap { 1.00c @OrIfPlain 6s } # column gap
named @FigureLocation { PageTop } # default figure location
named @TableLocation { PageTop } # default table location
named @FigureFormat
named @II right x { |@DisplayIndent x | }
named @QQ right x { |@DisplayIndent x |@DisplayIndent }
named @CC right x { |0.5rt x | }
named @RR right x { |1.0rt x | }
right @Body
{ @CC @Body } # default figure format
named @TableFormat
named @II right x { |@DisplayIndent x | }
named @QQ right x { |@DisplayIndent x |@DisplayIndent }
named @CC right x { |0.5rt x | }
named @RR right x { |1.0rt x | }
right @Body
{ @CC @Body } # default table format
named @FigureWord { figure } # "Figure" word else anything
named @TableWord { table } # "Table" word else anything
named @FigureNumbers { Arabic } # method of numbering figures
named @TableNumbers { Arabic } # method of numbering tables
named @FigureCaptionPos { Below } # Above or Below
named @TableCaptionPos { Below } # Above or Below
named @FigureCaptionFont { } # figure caption font
named @FigureCaptionBreak { } # figure caption break
named @FigureCaptionFormat named word {} named number {} named caption {}
{ @B { word @NumSep number. &2s } @Insert caption }
named @TableCaptionFont { } # figure caption font
named @TableCaptionBreak { } # figure caption break
named @TableCaptionFormat named word {} named number {} named caption {}
{ @B { word @NumSep number. &2s } @Insert caption }
named @MakeFigureContents { No } # list of figures at start
named @MakeTableContents { No } # list of tables at start
named @MakeContents { No } # make contents? Yes or No
named @ContentsGap { 0.20v @OrIfPlain 0f } # extra gap above minor entry
named @ContentsGapAbove { 0.80v @OrIfPlain 1f } # extra gap above major entry
named @ContentsGapBelow { 0.00v @OrIfPlain 0f } # extra gap below major entry
named @ContentsFont { Bold } # font for major entry
named @ContentsPartGapAbove { 1.00v @OrIfPlain 1f } # extra gap above part entry
named @ContentsPartGapBelow { 0.00v @OrIfPlain 0f } # extra gap below part entry
named @ContentsFormat
left number
right title
{ number @Sep title } # contents format
named @ContentsLeader { .. } # leader symbol in contents
named @ContentsLeaderGap { 4s @OrIfPlain 2s } # gap between leaders
named @ContentsRightWidth { 3f @OrIfPlain 6s } # page numbers column width
named @MakeReferences { Yes } # make references? Yes or No
named @RefCiteStyle right cite { [cite] } # citation style
named @RefCiteLabels
named @RefNum {}
named @Tag {}
named @Type {}
named @Abstract {}
named @Address {}
named @Annote {}
named @Author {}
named @Day {}
named @Edition {}
named @HowPublished {}
named @InAuthor {}
named @InTitle {}
named @Institution {}
named @Journal {}
named @Keywords {}
named @Label {}
named @Month {}
named @Note {}
named @Number {}
named @Organization {}
named @Page {}
named @Pages {}
named @Pinpoint {}
named @Publisher {}
named @Title {}
named @TitleNote {}
named @TRType {}
named @Volume {}
named @Year {}
{ @RefNum } # citation items
named @RefNumbers { Arabic } # reference numbers
named @RefListFormat { Labels } # NoLabels, Labels,
# DropLabels, IntegrateLabels
named @RefListLabels
named @RefNum {}
named @Tag {}
named @Type {}
named @Abstract {}
named @Address {}
named @Annote {}
named @Author {}
named @Day {}
named @Edition {}
named @HowPublished {}
named @InAuthor {}
named @InTitle {}
named @Institution {}
named @Journal {}
named @Keywords {}
named @Label {}
named @Month {}
named @Note {}
named @Number {}
named @Organization {}
named @Page {}
named @Pages {}
named @Pinpoint {}
named @Publisher {}
named @Title {}
named @TitleNote {}
named @TRType {}
named @Volume {}
named @Year {}
{ [@RefNum] } # ref list label format
named @RefListTitle { references } # title of reference list
named @ChapRefListTitle { references } # title of chapter ref list
named @RefListIndent { 0s } # indent to left of labels
named @RefListRightIndent { 0s } # indent to right of items
named @RefListGap { @ListGap } # gap between ref list items
named @RefListFont { } # font used in reference list
named @RefListBreak { } # break style of ref list
named @RefListLabelWidth { @ListLabelWidth } # numeric labels column width
named @RefListSortKey
named @Tag {}
named @Type {}
named @Abstract {}
named @Address {}
named @Annote {}
named @Author {}
named @Day {}
named @Edition {}
named @HowPublished {}
named @InAuthor {}
named @InTitle {}
named @Institution {}
named @Journal {}
named @Keywords {}
named @Label {}
named @Month {}
named @Note {}
named @Number {}
named @Organization {}
named @Page {}
named @Pages {}
named @Pinpoint {}
named @Publisher {}
named @Title {}
named @TitleNote {}
named @TRType {}
named @Volume {}
named @Year {}
named ":" { "\037" }
{ @Tag } # sorting key
named @MakeIndex { No } # make index? Yes or No
named @IndexFont { } # index entries font
named @IndexBreak { {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # index entries break
named @IndexColumnNumber { 2 } # index columns (1 to 10)
named @IndexColumnGap { 1.00c @OrIfPlain 6s } # index column gap
named @MakeIndexA { No } # make index A? Yes or No
named @IndexAFont { } # index A entries font
named @IndexABreak { {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # index A entries break
named @IndexAColumnNumber { 2 } # index A columns (1 to 10)
named @IndexAColumnGap { 1.00c @OrIfPlain 6s } # index A column gap
named @MakeIndexB { No } # make index B? Yes or No
named @IndexBFont { } # index B entries font
named @IndexBBreak { {oragged 1.2fx} @OrIfPlain {oragged 1fx} } # index B entries break
named @IndexBColumnNumber { 2 } # index B columns (1 to 10)
named @IndexBColumnGap { 1.00c @OrIfPlain 6s } # index B column gap
named @TopGap { 0.75c @OrIfPlain 2f } # gap between figures
named @MidGap { 0.75c @OrIfPlain 2f } # gap above/below body text
named @FootNoteNumbers { Arabic } # footnote numbers
named @FootNoteThrough { No } # numbered through chapter?
named @FootNoteLocation { ColFoot } # where the footnote appears
named @FootNoteFont { 0.80f } # font for footnotes
named @FootNoteBreak { 1.2fx @OrIfPlain 1fx } # break for footnotes
named @FootNoteFormat left number right body
{ { number &0.05f } @Insert body } # break for footnotes
named @FootLen { 2.00c @OrIfPlain 10s } # length of footnote line
named @FootAboveGap { @DisplayGap } # gap above footnote line
named @FootGap { 0.20c @OrIfPlain 1fx } # gap between footnotes
named @MarginNoteFont { 0.80f } # font of margin notes
named @MarginNoteBreak { ragged 1.10fx } # break style of margin notes
named @MarginNoteHGap { 0.5c } # horizontal gap to notes
named @MarginNoteVGap { @DisplayGap } # min vertical gap between
named @MarginNoteWidth { 1.50c } # width of margin notes
named @EndNoteNumbers { Arabic } # endnote numbers
named @EndNoteFont { 0.80f } # font of endnotes
named @EndNoteBreak { 1.2fx @OrIfPlain 1fx } # break for endnotes
named @EndNoteFormat left number right body
{ { number &0.05f } @Insert body } # break for endnotes
named @EndNoteGap { 0.20c @OrIfPlain 1f } # gap between endnotes
named @TheoremWord { theorem } # "Theorem" word, etc.
named @TheoremTitleFormat right title
{ (title) } # Theorem title format if present
named @TheoremFormat named word {} named number {} named title {} named body {} # theorem format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @DefinitionWord { definition } # "Definition" word, etc.
named @DefinitionTitleFormat{ (title) } # Definition title format if present
named @DefinitionFormat named word {} named number {} named title {} named body {} # definition format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @ClaimWord { claim } # "Claim" word, etc.
named @ClaimTitleFormat { (title) } # Claim title format if present
named @ClaimFormat named word {} named number {} named title {} named body {} # claim format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @PropositionWord { proposition } # "Proposition" word, etc.
named @PropositionTitleFormat{ (title) } # Proposition title format if present
named @PropositionFormat named word {} named number {} named title {} named body {} # proposition format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @LemmaWord { lemma } # "Lemma" word, etc.
named @LemmaTitleFormat { (title) } # Lemma title format if present
named @LemmaFormat named word {} named number {} named title {} named body {} # lemma format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @CorollaryWord { corollary } # "Corollary" word, etc.
named @CorollaryTitleFormat { (title) } # Corollary title format if present
named @CorollaryFormat named word {} named number {} named title {} named body {} # corollary format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @ExampleWord { example } # "Example" word, etc.
named @ExampleTitleFormat { (title) } # Example title format if present
named @ExampleFormat named word {} named number {} named title {} named body {} # example format
{ { @B { word @NumSep number title: } &2s } @Insert body }
named @ProofWord { proof } # "Proof" word, etc.
named @PageHeaders { Simple } # None Simple Titles NoTitles
named @PageNumbers { Arabic } # page numbers
named @FirstPageNumber { 1 } # number of first page
named @IntroPageNumbers { Roman } # intro page numbers
named @IntroFirstPageNumber { 1 } # number of first intro page
named @StructPageNums { No } # structured page numbers
named @OddTop right @PageNum { @Centre { - @PageNum - } }
named @OddFoot right @PageNum { @Null }
named @EvenTop right @PageNum { @Centre { - @PageNum - } }
named @EvenFoot right @PageNum { @Null }
named @StartOddTop right @PageNum { @Null }
named @StartOddFoot right @PageNum { @Null }
named @StartEvenTop right @PageNum { @Null }
named @StartEvenFoot right @PageNum { @Null }
named @IntroOddTop right @PageNum { @Null }
named @IntroOddFoot right @PageNum { @Centre @PageNum }
named @IntroEvenTop right @PageNum { @Null }
named @IntroEvenFoot right @PageNum { @Centre @PageNum }
named @IntroStartOddTop right @PageNum { @Null }
named @IntroStartOddFoot right @PageNum { @Null }
named @IntroStartEvenTop right @PageNum { @Null }
named @IntroStartEvenFoot right @PageNum { @Null }
named @RunningOddTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @I { @MinorNum @Sep @MinorTitle } @Right @B @PageNum }
named @RunningOddFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningEvenTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @B @PageNum @Right @I { @MajorNum @Sep @MajorTitle } }
named @RunningEvenFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningStartOddTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningStartOddFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Centre { Bold 0.8f } @Font @PageNum }
named @RunningStartEvenTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningStartEvenFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Centre { Bold 0.8f } @Font @PageNum }
named @RunningIntroOddTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningIntroOddFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Right @PageNum }
named @RunningIntroEvenTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningIntroEvenFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @PageNum }
named @RunningIntroStartOddTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningIntroStartOddFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningIntroStartEvenTop
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
named @RunningIntroStartEvenFoot
named @MajorNum {} named @MajorTitle {}
named @MinorNum {} named @MinorTitle {} right @PageNum
{ @Null }
@Begin
###########################################################################
# #
# @Protect x #
# #
# Like @CNP, this reserves space on the current page or else makes sure #
# x appears on the following page. Lookahead is proportional to font #
# size. #
# #
###########################################################################
def @Protect right x { 3.0f @High //0io // x }
###########################################################################
# #
# @HLine #
# #
# Draws a horizontal line to fill available space. #
# #
###########################################################################
def @HLine
{
@BackEnd @Case {
PlainText @Yield { "-" @PlainGraphic 1f @High }
PostScript @Yield { {0 0 moveto xsize 0 lineto stroke} @Graphic {} }
PDF @Yield { {0 0 m __xsize 0 l S} @Graphic {} }
}
}
###########################################################################
# #
# x @WordVal y #
# #
# Returns @Word&&x if x == y, otherwise y. #
# #
###########################################################################
def @WordVal
left x
right y
{
y @Case {
x @Yield @Word&&x
else @Yield y
}
}
###########################################################################
# #
# x @Dft y #
# #
# This returns x unless its value is "dft", in which case it returns y. #
# Useful for defaulting the value of one parameter to another. #
# #
###########################################################################
def @Dft
left x
right y
{
x @Case {
dft @Yield y
else @Yield x
}
}
###########################################################################
# #
# x @Do y #
# #
# This returns @Null if x is No or None, otherwise y. #
# #
###########################################################################
def @Do
left x
right y
{
x @Case {
{ No None } @Yield @Null
else @Yield y
}
}
###########################################################################
# #
# x @NoDo y #
# #
# Negation of @Do: This returns y if x is No or None, otherwise @Null. #
# #
###########################################################################
def @NoDo
left x
right y
{
x @Case {
{ No None } @Yield y
else @Yield @Null
}
}
###########################################################################
# #
# x @Then y #
# #
# This returns the empty object if x is No or None, otherwise y. #
# #
###########################################################################
def @Then
left x
right y
{
x @Case {
{ No None } @Yield {}
else @Yield y
}
}
###########################################################################
# #
# x @NoThen y #
# #
# Negation of @Then: returns y if x is No or None, otherwise empty. #
# #
###########################################################################
def @NoThen
left x
right y
{
x @Case {
{ No None } @Yield y
else @Yield {}
}
}
###########################################################################
# #
# Number markers. #
# #
###########################################################################
def @Num
left numtype
right num
{
numtype @Case {
None @Yield {}
Arabic @Yield num
Roman @Yield @Roman&&num
UCRoman @Yield @UCRoman&&num
Alpha @Yield @Alpha&&num
UCAlpha @Yield @UCAlpha&&num
}
}
###########################################################################
# #
# @MakePageNum #
# #
# Make a page number. #
# #
###########################################################################
def @MakePageNum
named numbers {}
named rawnum {}
named prefix {}
named owner {}
{
def @OwnerNum { @PageMarker&&owner @Open { rawnum } }
def @StructNum { @FirstPageNumber @Plus rawnum @Minus @OwnerNum }
@PageHeaders.@StructPageNums @Case {
{ Titles.Yes NoTitles.Yes } @Yield {
prefix @Join { numbers @Num @StructNum } }
else @Yield { numbers @Num rawnum }
}
}
###########################################################################
# #
# Page size, margins, and boxes. This code culminates in @OddPage x #
# and @EvenPage x, which produce one odd or even page containing x. #
# #
###########################################################################
def @Width
{
@PageType @Case {
Letter @Yield 612p
Tabloid @Yield 792p
Ledger @Yield 1224p
Legal @Yield 612p
Statement @Yield 396p
Executive @Yield 540p
A3 @Yield 842p
A4 @Yield 595p
A5 @Yield 420p
B4 @Yield 729p
B5 @Yield 516p
Folio @Yield 612p
Quarto @Yield 610p
10x14 @Yield 720p
Other @Yield @PageWidth
}
}
def @Height
{
@PageType @Case {
Letter @Yield 792p
Tabloid @Yield 1224p
Ledger @Yield 792p
Legal @Yield 1008p
Statement @Yield 612p
Executive @Yield 720p
A3 @Yield 1190p
A4 @Yield 842p
A5 @Yield 595p
B4 @Yield 1032p
B5 @Yield 729p
Folio @Yield 936p
Quarto @Yield 780p
10x14 @Yield 1008p
Other @Yield @PageHeight
}
}
def @OrientedWidth right @Orient
{
@Orient @Case {
{ Portrait ReversePortrait } @Yield @Width
{ Landscape ReverseLandscape } @Yield @Height
}
}
def @OrientedHeight right @Orient
{
@Orient @Case {
{ Portrait ReversePortrait } @Yield @Height
{ Landscape ReverseLandscape } @Yield @Width
}
}
def @OrientationAngle right @Orient
{
@Orient @Case {
Portrait @Yield 0d
Landscape @Yield 90d
ReversePortrait @Yield 180d
ReverseLandscape @Yield 270d
}
}
def @PageBox right x
{
@PageBoxType @Case {
None @Yield x
Box @Yield @Box
margin { @PageBoxMargin }
paint { @PageBoxPaint }
linewidth { @PageBoxLineWidth } x
CurveBox @Yield @CurveBox
margin { @PageBoxMargin }
paint { @PageBoxPaint }
linewidth { @PageBoxLineWidth } x
ShadowBox @Yield @ShadowBox
margin { @PageBoxMargin }
paint { @PageBoxPaint }
linewidth { @PageBoxLineWidth }
shadow { @PageBoxShadow } x
}
}
def @DoBackground right @Orient
{
# "LoutPageSet" @Graphic # VT: case PDF produces nothing
{ @BackEnd @Case {
PostScript @Yield "LoutPageSet"
else @Yield "% @DoBackground/LoutPageSet UNIMPLEMENTED"
}
} @Graphic
{
{ @OrientationAngle @Orient } @Rotate
{ @OrientedWidth @Orient } @Wide { @OrientedHeight @Orient } @High
{ //@TopMargin ||@OddLeftMargin
@HExpand @VExpand @PageBackground
||@OddRightMargin //@FootMargin
}
}
}
def @PageSet right x
{
# "LoutPageSet" @Graphic # VT: case PDF produces nothing
{ @BackEnd @Case {
PostScript @Yield "LoutPageSet"
else @Yield "% @DoBackground/LoutPageSet UNIMPLEMENTED"
}
} @Graphic x
}
def @MargSet
left parity
right x
{
# { parity "LoutMargSet" } @Graphic x # VT: case PDF produces nothing
{ @BackEnd @Case {
PostScript @Yield { parity "LoutMargSet" }
else @Yield "% @MargSet/LoutMargSet UNIMPLEMENTED"
}
} @Graphic x
}
def @OddPage
left extra
named @Orient {}
right x
{
# @DoBackground @Orient ||0io
@PageSet
{ @OrientationAngle @Orient } @Rotate
{ @OrientedWidth @Orient } @Wide { @OrientedHeight @Orient } @High
{ //@TopMargin ||@OddLeftMargin
@PageBackground @Background
1 @MargSet
@PageBox @HExpand { extra // @VExpand x }
||@OddRightMargin //@FootMargin
}
}
def @EvenPage
left extra
named @Orient {}
right x
{
@PageSet
# @DoBackground @Orient ||0io
{ @OrientationAngle @Orient } @Rotate
{ @OrientedWidth @Orient } @Wide { @OrientedHeight @Orient } @High
{ //@TopMargin ||@EvenLeftMargin
@PageBackground @Background
0 @MargSet
@PageBox @HExpand { extra // @VExpand x }
||@EvenRightMargin //@FootMargin
}
}
###########################################################################
# #
# Definitions for page headers and footers. There are 16 symbols here, #
# in the following pattern: #
# #
# @(- | Running)(- | Intro)(Odd | Even)(Top | Foot)Header #
# #
# Running means that running headers are to be used. #
# Intro means that the header is destined for an introductory page. #
# Odd or Even means whether the page number will be odd or even. #
# Top or Foot means whether the header is for the top or foot of page. #
# #
###########################################################################
export @Start @MajorNum @MajorTitle @MinorNum @MinorTitle @Owner @Prefix
def @Runner
left @Start
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
named @Owner {}
named @Prefix {}
named @Tag {}
{ @Null
}
def @DupRunner # duplicate previous runner
{
@Runner&&preceding @Open {
NonStart @Runner
@MajorNum { @MajorNum }
@MajorTitle { @MajorTitle }
@MinorNum { @MinorNum }
@MinorTitle { @MinorTitle }
@Owner { @Owner }
@Prefix { @Prefix }
}
}
def @OddTopHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @StartOddTop @PageNum
Simple.NonStart @Yield @OddTop @PageNum
Simple.None @Yield @Null
}
}
def @OddFootHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @StartOddFoot @PageNum
Simple.NonStart @Yield @OddFoot @PageNum
Simple.None @Yield @Null
}
}
def @EvenTopHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @StartEvenTop @PageNum
Simple.NonStart @Yield @EvenTop @PageNum
Simple.None @Yield @Null
}
}
def @EvenFootHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @StartEvenFoot @PageNum
Simple.NonStart @Yield @EvenFoot @PageNum
Simple.None @Yield @Null
}
}
def @IntroOddTopHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @IntroStartOddTop @PageNum
Simple.NonStart @Yield @IntroOddTop @PageNum
Simple.None @Yield @Null
}
}
def @IntroOddFootHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @IntroStartOddFoot @PageNum
Simple.NonStart @Yield @IntroOddFoot @PageNum
Simple.None @Yield @Null
}
}
def @IntroEvenTopHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @IntroStartEvenTop @PageNum
Simple.NonStart @Yield @IntroEvenTop @PageNum
Simple.None @Yield @Null
}
}
def @IntroEvenFootHeader
left @PageHeadersAndStart
right @PageNum
{
@PageHeadersAndStart @Case {
None.Start @Yield @Null
None.NonStart @Yield @Null
None.None @Yield @Null
Simple.Start @Yield @IntroStartEvenFoot @PageNum
Simple.NonStart @Yield @IntroEvenFoot @PageNum
Simple.None @Yield @Null
}
}
def @RunningOddTopHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield ??
NoTitles.Start @Yield @RunningStartOddTop @PageNum
NoTitles.NonStart @Yield @RunningOddTop @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield ??
Titles.Start @Yield @RunningStartOddTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningOddTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningOddFootHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield @Null
NoTitles.Start @Yield @RunningStartOddFoot @PageNum
NoTitles.NonStart @Yield @RunningOddFoot @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield @Null
Titles.Start @Yield @RunningStartOddFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningOddFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningEvenTopHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield ??
NoTitles.Start @Yield @RunningStartEvenTop @PageNum
NoTitles.NonStart @Yield @RunningEvenTop @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield ??
Titles.Start @Yield @RunningStartEvenTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningEvenTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningEvenFootHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield @Null
NoTitles.Start @Yield @RunningStartEvenFoot @PageNum
NoTitles.NonStart @Yield @RunningEvenFoot @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield @Null
Titles.Start @Yield @RunningStartEvenFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningEvenFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningIntroOddTopHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield ??
NoTitles.Start @Yield @RunningIntroStartOddTop @PageNum
NoTitles.NonStart @Yield @RunningIntroOddTop @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield ??
Titles.Start @Yield @RunningIntroStartOddTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningIntroOddTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningIntroOddFootHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield @Null
NoTitles.Start @Yield @RunningIntroStartOddFoot @PageNum
NoTitles.NonStart @Yield @RunningIntroOddFoot @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield @Null
Titles.Start @Yield @RunningIntroStartOddFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningIntroOddFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningIntroEvenTopHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield ??
NoTitles.Start @Yield @RunningIntroStartEvenTop @PageNum
NoTitles.NonStart @Yield @RunningIntroEvenTop @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield ??
Titles.Start @Yield @RunningIntroStartEvenTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningIntroEvenTop
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
def @RunningIntroEvenFootHeader
left @PageHeadersAndStart
named @MajorNum {}
named @MajorTitle {}
named @MinorNum {}
named @MinorTitle {}
right @PageNum
{
@PageHeadersAndStart @Case {
NoTitles.?? @Yield @Null
NoTitles.Start @Yield @RunningIntroStartEvenFoot @PageNum
NoTitles.NonStart @Yield @RunningIntroEvenFoot @PageNum
NoTitles.None @Yield @Null
Titles.?? @Yield @Null
Titles.Start @Yield @RunningIntroStartEvenFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.NonStart @Yield @RunningIntroEvenFoot
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
@PageNum
Titles.None @Yield @Null
}
}
###########################################################################
# #
# Helper definitions for laying out pages. #
# #
###########################################################################
def @PageTopPlace { @Galley }
def @PageFootAndTopPlace { @Galley }
def @PageFootNotePlace { @Galley }
def @FullPlace { @Galley }
def @OddFullPlace { @Galley }
def @EvenFullPlace { @Galley }
def @FullPagePlace { @Galley }
def @EvenFullPagePlace { @Galley }
def @EvenPagePlace { @Galley }
def @OddFullPagePlace { @Galley }
def @ColTopPlace { @Galley }
def @ColFootAndTopPlace { @Galley }
def @ColPlace { @Galley }
def @ColFootNotePlace { @Galley }
def @IntroFullPlace { @Galley }
def @IntroOddFullPlace { @Galley }
def @IntroEvenFullPlace { @Galley }
def @IntroColPlace { @Galley }
def @IndexPlace { @Galley }
def @IndexAPlace { @Galley }
def @IndexBPlace { @Galley }
def @AfterLinePlace { @ForceGalley }
def @TryAfterLinePlace right x
{
x @Case {
noforce @Yield @Galley
force @Yield @ForceGalley
}
}
def @EvenFullPageSection
{
@OneRow @EvenFullPagePlace
// @FullPagePlace
//@MidGap @EvenFullPageSection
}
def @OddFullPageSection
{
@OneRow @OddFullPagePlace
// @FullPagePlace
//@MidGap @OddFullPageSection
}
def @EvenPageTopSect
{
@OneRow @EvenPagePlace
// @PageTopPlace
//@MidGap @PageFootAndTopPlace
//@MidGap @EvenPageTopSect
}
def @OddPageTopSect
{
@PageTopPlace
//@MidGap @PageFootAndTopPlace
//@MidGap @OddPageTopSect
}
def @PageOddTopSection right @Orient
{
@OddPageTopSect ||{@OrientedWidth @Orient} @FullPlace
||{@OrientedWidth @Orient} @OddFullPlace
}
def @PageEvenTopSection right @Orient
{
@EvenPageTopSect ||{@OrientedWidth @Orient} @FullPlace
||{@OrientedWidth @Orient} @EvenFullPlace
}
def @PageIntroOddTopSection right @Orient
{
@OddPageTopSect ||{@OrientedWidth @Orient} @IntroFullPlace
||{@OrientedWidth @Orient} @IntroOddFullPlace
}
def @PageIntroEvenTopSection right @Orient
{
@EvenPageTopSect
||{@OrientedWidth @Orient} @IntroFullPlace
||{@OrientedWidth @Orient} @IntroEvenFullPlace
}
def @PageFootNoteList
{
@PageFootNotePlace
//@FootGap @PageFootNoteList
}
def @PageFootNoteSection
{
@FootLen @Wide @HLine
//@FootGap @PageFootNoteList
}
def @PageFootAndTopSect
{
@PageFootAndTopPlace
//@MidGap @PageFootAndTopSect
}
def @PageFootSection
{
//@MidGap @PageFootAndTopSect
//@FootAboveGap @PageFootNoteSection
}
def @ColTopSection
{
@ColTopPlace
//@MidGap @ColFootAndTopPlace
//@MidGap @TryAfterLinePlace noforce
//@MidGap @ColTopSection
}
def @RestOfColSection
{
@AfterLinePlace
//@MidGap @TryAfterLinePlace force
//@MidGap @ColPlace @NotRevealed
//@MidGap @RestOfColSection
}
def @IntroRestOfColSection
{
@AfterLinePlace
//@MidGap @TryAfterLinePlace force
//@MidGap @IntroColPlace @NotRevealed
//@MidGap @IntroRestOfColSection
}
def @ColFootAndTopList { @ColFootAndTopPlace //@TopGap @ColFootAndTopList }
def @ColFootNoteList
{
@ColFootNotePlace
//@FootGap @ColFootNoteList
}
def @ColFootNoteSection
{
@FootLen @Wide @HLine
//@FootGap @ColFootNoteList
}
def @ColFootSection
{
//@TopGap @ColFootAndTopList
//@FootAboveGap @ColFootNoteSection
}
def @ColsOf
left num
named gap { @ColumnGap }
right x
{
def @Two { x ||gap x }
def @Four { @Two ||gap @Two }
def @Eight { @Four ||gap @Four }
num @Case {
1 @Yield { x }
2 @Yield { @Two }
3 @Yield { @Two ||gap x }
4 @Yield { @Four }
5 @Yield { @Four ||gap x }
6 @Yield { @Four ||gap @Two }
7 @Yield { @Four ||gap @Two ||gap x }
8 @Yield { @Four ||gap @Four }
9 @Yield { @Four ||gap @Four ||gap x }
10 @Yield { @Four ||gap @Four ||gap @Two }
}
}
def @EqualWidth right x { 50c @Wide x } # believe it or not
def @ColList right num
{
@HExpand num @ColsOf @EqualWidth @VExpand
{
@ColTopSection //@TopGap
@ColPlace //@MidGap @RestOfColSection // //1rt
@OneRow { @ColFootSection }
}
}
def @IntroColList right num
{
@HExpand num @ColsOf @EqualWidth @VExpand
{
@ColTopSection //@TopGap
@IntroColPlace //@MidGap @IntroRestOfColSection // //1rt
@OneRow { @ColFootSection }
}
}
def @ZeroColList right num
{
@HExpand num @ColsOf @EqualWidth 0c @High @ColPlace
}
def @ZeroIntroColList right num
{
@HExpand num @ColsOf @EqualWidth 0c @High @IntroColPlace
}
def @IndexColList right num
{
@HExpand num @ColsOf gap { @IndexColumnGap } @EqualWidth @VExpand @IndexPlace
}
def @IndexAColList right num
{
@HExpand num @ColsOf gap { @IndexAColumnGap } @EqualWidth @VExpand @IndexAPlace
}
def @IndexBColList right num
{
@HExpand num @ColsOf gap { @IndexBColumnGap } @EqualWidth @VExpand @IndexBPlace
}
###########################################################################
# #
# Footnotes. #
# #
###########################################################################
export @Tag count
def @FootNoteCounterMarker
named @Tag {}
named count {}
{
@Null
}
def @FootNoteNum right tag
{
@FootNoteCounterMarker&&tag @Open { @Next count }
}
def @FootNoteCounterIncrement
right tag
{
@FootNoteCounterMarker&&preceding @Tagged tag
// @FootNoteCounterMarker count { @FootNoteNum tag }
// @NumberMarker @Tag { tag }
@Value { @FootNoteNumbers @Num @FootNoteNum tag }
}
def @BeginFootNoteCounter
{
@FootNoteCounterMarker count { 0 }
}
def @FootNote
named @Tag {}
named @Location { @FootNoteLocation }
named @Another { No }
named @Label { Numbered }
right x
{
def @FootLabelFmt
right x
{
@FootNoteFont @Font @FootNoteBreak @Break
+0.3v @VShift { Base 0.8f } @Font x
}
def @FootExtra
{
@BackEnd @Case {
PlainText @Yield ","
else @Yield @FootLabelFmt ","
}
}
def @FootLabel
{
@Label @Case {
"Numbered" @Yield { @BackEnd @Case {
PlainText @Yield { ({@NumberOf @Tag}) }
else @Yield @FootLabelFmt @NumberOf @Tag
} }
else @Yield { @BackEnd @Case {
PlainText @Yield @Label
else @Yield @FootLabelFmt @Label
} }
}
}
def @LongFootLabel
{
@Another @Case {
No @Yield { @FootLabel }
Yes @Yield { @FootExtra &0iu @FootLabel }
}
}
def @FootVal
{
@FootNoteFont @Font @FootNoteBreak @Break @Label @Case {
"Numbered" @Yield {
{ @FootNoteCounterIncrement @Tag & @FootLabel }
@FootNoteFormat x
}
else @Yield { @FootLabel @FootNoteFormat x }
}
}
def @PageFootNote into { @PageFootNotePlace&&following } { @FootVal }
def @ColFootNote into { @ColFootNotePlace&&following } { @FootVal }
@Location @Case {
ColFoot @Yield { @Null &0iu @LongFootLabel & @ColFootNote }
PageFoot @Yield { @Null &0iu @LongFootLabel & @PageFootNote }
}
}
macro @AnotherFootNote { @FootNote @Another { Yes } }
###########################################################################
# #
# Definitions for page lists. There are four symbols here, in the #
# following pattern: #
# #
# @(Simple | Running)(- | Intro)PageList #
# #
# Running means that the page list is to support running headers. #
# Intro means that the page list is an introductory page list. #
# These are then packaged into @PageList and @IntroPageList. #
# #
###########################################################################
def @SStart right @PageNum
{
@PageNum @Case {
{ 1 0 } @Yield Start
else @Yield NonStart
}
}
def @ChooseColList right colnum
{
@OneOf
{
@ColList colnum
@IndexAColList @IndexAColumnNumber
@IndexBColList @IndexBColumnNumber
@IndexColList @IndexColumnNumber
}
}
def @ChooseIntroColList right colnum
{
@OneOf
{
@IntroColList colnum
@IndexAColList @IndexAColumnNumber
@IndexBColList @IndexBColumnNumber
@IndexColList @IndexColumnNumber
}
}
def @SimplePageList
named @ColumnNumber {}
named @PageHeaders {}
named extra { No }
named @Orient {}
named @AtTop { @Null }
right @PageNum
{
def @OrdinaryOddPage
{
{@PageHeaders.{@SStart @PageNum}} @OddTopHeader
{ @PageNumbers @Num @PageNum }
//@MidGap @AtTop
//@MidGap @PageOddTopSection @Orient
//@MidGap @ChooseColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap {@PageHeaders.{@SStart @PageNum}} @OddFootHeader
{ @PageNumbers @Num @PageNum }
}
}
def @FullPageOddPage
{
{@PageHeaders.{@SStart @PageNum}} @OddTopHeader
{ @PageNumbers @Num @PageNum }
//@MidGap @OddFullPageSection
// //1rt @OneRow
{ //@MidGap {@PageHeaders.{@SStart @PageNum}} @OddFootHeader
{ @PageNumbers @Num @PageNum }
}
}
def @SimpleEvenPageList
named @ColumnNumber {}
named @PageHeaders {}
named extra { No }
right @PageNum
{
def @OrdinaryEvenPage
{
@PageHeaders.NonStart @EvenTopHeader
{ @PageNumbers @Num @PageNum }
//@MidGap @PageEvenTopSection @Orient
//@MidGap @ChooseColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.NonStart @EvenFootHeader
{ @PageNumbers @Num @PageNum }
}
}
def @FullPageEvenPage
{
@PageHeaders.NonStart @EvenTopHeader
{ @PageNumbers @Num @PageNum }
//@MidGap @EvenFullPageSection
// //1rt @OneRow
{ //@MidGap @PageHeaders.NonStart @EvenFootHeader
{ @PageNumbers @Num @PageNum }
}
}
@PageMarker
rawnum { @PageNum }
num { @PageNumbers @Num @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// {} @EvenPage @Orient { @Orient }
{
@OrdinaryEvenPage ||{@OrientedWidth @Orient} @FullPageEvenPage
}
// @SimplePageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
@Next @PageNum
}
@PageMarker
rawnum { @PageNum }
num { @PageNumbers @Num @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// { extra @Then @ZeroColList @ColumnNumber } @OddPage @Orient { @Orient }
{
@OrdinaryOddPage ||{@OrientedWidth @Orient} @FullPageOddPage
}
// @SimpleEvenPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Next @PageNum
}
def @SimpleIntroPageList
named @ColumnNumber {}
named @PageHeaders {}
named @Orient {}
named extra { No }
named @AtTop { @Null }
right @PageNum
{
@PageMarker
num { @IntroPageNumbers @Num @PageNum }
rawnum { @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// { extra @Then @ZeroIntroColList @ColumnNumber } @OddPage @Orient { @Orient }
{
{@PageHeaders.{@SStart @PageNum}} @IntroOddTopHeader
{ @IntroPageNumbers @Num @PageNum }
//@MidGap @AtTop
//@MidGap @PageIntroOddTopSection @Orient
//@MidGap @ChooseIntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap
{@PageHeaders.{@SStart @PageNum}} @IntroOddFootHeader
{ @IntroPageNumbers @Num @PageNum }
}
}
// @PageMarker
num { @IntroPageNumbers @Num @Next @PageNum }
rawnum { @Next @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// {} @EvenPage @Orient { @Orient }
@Runner&&following @Open
{
@PageHeaders.NonStart @IntroEvenTopHeader { @IntroPageNumbers @Num @Next @PageNum }
//@MidGap @PageIntroEvenTopSection @Orient
//@MidGap @ChooseIntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.NonStart @IntroEvenFootHeader
{ @IntroPageNumbers @Num @Next @PageNum }
}
}
// @SimpleIntroPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
@Next @Next @PageNum
}
def @SimpleOddOrEvenIntroPageList
named @ColumnNumber {}
named @PageHeaders {}
named @Orient {}
named extra { No }
named @AtTop { @Null }
right @PageNum
{
def @SimpleEvenIntroPageList
named @ColumnNumber {}
named @PageHeaders {}
named @Orient {}
named extra { No }
named @AtTop { @Null }
right @PageNum
{
@PageMarker
num { @IntroPageNumbers @Num @PageNum }
rawnum { @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// {} @EvenPage @Orient { @Orient }
@Runner&&following @Open
{
@PageHeaders.NonStart @IntroEvenTopHeader { @IntroPageNumbers @Num @PageNum }
//@MidGap @PageIntroEvenTopSection @Orient
//@MidGap @ChooseIntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.NonStart @IntroEvenFootHeader
{ @IntroPageNumbers @Num @PageNum }
}
}
// @SimpleOddOrEvenIntroPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
@Next @PageNum
}
@PageMarker
num { @IntroPageNumbers @Num @PageNum }
rawnum { @PageNum }
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// { extra @Then @ZeroIntroColList @ColumnNumber } @OddPage @Orient { @Orient }
{
{@PageHeaders.{@SStart @PageNum}} @IntroOddTopHeader
{ @IntroPageNumbers @Num @PageNum }
//@MidGap @AtTop
//@MidGap @PageIntroOddTopSection @Orient
//@MidGap @ChooseIntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap
{@PageHeaders.{@SStart @PageNum}} @IntroOddFootHeader
{ @IntroPageNumbers @Num @PageNum }
}
}
// @SimpleEvenIntroPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
@Next @PageNum
}
def @RunningPageList
named @ColumnNumber {}
named @PageHeaders {}
named extra { No }
named @Orient {}
named @AtTop { @Null }
right @PageNum
{
def @OrdinaryOddPage
{
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @PageNum }
// @PageHeaders.@Start @RunningOddTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @AtTop
//@MidGap @PageOddTopSection @Orient
//@MidGap @ChooseColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.@Start @RunningOddFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
}
def @FullPageOddPage
{
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @PageNum }
// @PageHeaders.@Start @RunningOddTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @AtTop
//@MidGap @OddFullPageSection
// //1rt @OneRow
{
//@MidGap @PageHeaders.@Start @RunningOddFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
}
def @RunningEvenPageList
named @ColumnNumber {}
named @PageHeaders {}
right @PageNum
{
def @OrdinaryEvenPage
{
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @PageNum }
// @PageHeaders.@Start @RunningEvenTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @PageEvenTopSection @Orient
//@MidGap @ChooseColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.@Start @RunningEvenFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
}
def @FullPageEvenPage
{
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @PageNum }
// @PageHeaders.@Start @RunningEvenTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @EvenFullPageSection
// //1rt @OneRow
{
//@MidGap @PageHeaders.@Start @RunningEvenFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @PageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
}
@FootNoteThrough @NoDo @BeginFootNoteCounter
// {} @EvenPage @Orient { @Orient }
{
@OrdinaryEvenPage ||{@OrientedWidth @Orient} @FullPageEvenPage
}
// @RunningPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
@Next @PageNum
}
@FootNoteThrough @NoDo @BeginFootNoteCounter
// { extra @Then @ZeroColList @ColumnNumber } @OddPage @Orient { @Orient }
{
@OrdinaryOddPage ||{@OrientedWidth @Orient} @FullPageOddPage
}
// @RunningEvenPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Next @PageNum
}
def @RunningIntroPageList
named @ColumnNumber {}
named @PageHeaders {}
named @AtTop { @Null }
named @Orient {}
named extra { No }
right @PageNum
{
@FootNoteThrough @NoDo @BeginFootNoteCounter
// { extra @Then @ZeroIntroColList @ColumnNumber } @OddPage @Orient { @Orient }
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @IntroPageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @PageNum }
// @PageHeaders.@Start @RunningIntroOddTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @IntroPageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @AtTop
//@MidGap @PageIntroOddTopSection @Orient
//@MidGap @IntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.@Start @RunningIntroOddFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @IntroPageNumbers }
rawnum { @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
// @FootNoteThrough @NoDo @BeginFootNoteCounter
// {} @EvenPage @Orient { @Orient }
@Runner&&following @Open
{
@PageMarker
num { @MakePageNum
numbers { @IntroPageNumbers }
rawnum { @Next @PageNum }
prefix { @Prefix }
owner { @Owner } }
rawnum { @Next @PageNum }
// @PageHeaders.@Start @RunningIntroEvenTopHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @IntroPageNumbers }
rawnum { @Next @PageNum }
prefix { @Prefix }
owner { @Owner }
}
//@MidGap @PageIntroEvenTopSection @Orient
//@MidGap @ChooseIntroColList @ColumnNumber
// //1rt @OneRow
{ // @PageFootSection
//@MidGap @PageHeaders.@Start @RunningIntroEvenFootHeader
@MajorNum { @MajorNum } @MajorTitle { @MajorTitle }
@MinorNum { @MinorNum } @MinorTitle { @MinorTitle }
{
@MakePageNum
numbers { @IntroPageNumbers }
rawnum { @Next @PageNum }
prefix { @Prefix }
owner { @Owner }
}
}
}
// @RunningIntroPageList
@PageHeaders { @PageHeaders }
@ColumnNumber { @ColumnNumber }
@Orient { @Orient }
@Next @Next @PageNum
}
def @PageList
named @ColumnNumber {}
named @PageHeaders {}
named extra { No }
named @Orient {}
named @AtTop { @Null }
right @FirstPageNum
{
@PageHeaders @Case {
{ None Simple } @Yield @SimplePageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
extra { extra }
@AtTop { @AtTop }
@FirstPageNum
{ Running Titles } @Yield @RunningPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
extra { extra }
@AtTop { @AtTop }
@FirstPageNum
}
//
@PageMark last.page
}
def @IntroPageList
named @ColumnNumber {}
named @PageHeaders {}
named @Orient {}
named extra { No }
named @AtTop { @Null }
right @FirstPageNum
{
@PageHeaders @Case {
{ None Simple } @Yield @SimpleIntroPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
extra { extra }
@AtTop { @AtTop }
@FirstPageNum
{ Running Titles } @Yield @RunningIntroPageList
@ColumnNumber { @ColumnNumber }
@PageHeaders { @PageHeaders }
@Orient { @Orient }
extra { extra }
@AtTop { @AtTop }
@FirstPageNum
}
}
def @ContinuousPageList
named @Orient {}
{
{@OrientedWidth @Orient} @Wide
{ //@TopMargin ||@EvenLeftMargin
{
@BeginFootNoteCounter
// @ColPlace
//@FootAboveGap @ColFootNoteSection
//@FootAboveGap @PageFootNoteSection
}
||@EvenRightMargin //@FootMargin
}
}
###########################################################################
# #
# Table of contents (including lists of figures and tables). #
# #
###########################################################################
def @ContentsItem
named indent { 0f }
named number {}
named title {}
named pagenum {}
named pregap { @ContentsGap }
named postgap { 0c }
named protect { No }
{
def @Leaders { @ContentsLeader &@ContentsLeaderGap @Leaders }
def @RightPart
{
@ContentsRightWidth @Wide {
# &@ContentsLeaderGap @Leaders &@ContentsLeaderGap
&1rt { pagenum //0.5vx }
}
}
def @Item
{
|indent number @ContentsFormat @HExpand {
title & @ContentsLeaderGap @Wide &1rt @OneCol {
@Leaders & @RightPart &0io
}
}
|@ContentsRightWidth
}
//pregap
//0.5vx
@BackEnd @Case {
{ PostScript PlainText } @Yield {
protect @Case {
No @Yield @Item
Yes @Yield @Protect @Item
}
}
PDF @Yield {
protect @Case {
No @Yield { "__link_source=<<"title">>" } @Graphic @Item
Yes @Yield { "__link_source=<<"title">>" } @Graphic { @Protect @Item }
}
}
}
//postgap
}
def @ContentsPlace { @Galley }
def @FigureContentsPlace { @Galley }
def @TableContentsPlace { @Galley }
def @SendContents into { @ContentsPlace&&preceding }
right x
{
x
}
def @SendFigureContents into { @FigureContentsPlace&&preceding }
right x
{
x
}
def @SendTableContents into { @TableContentsPlace&&preceding }
right x
{
x
}
def @ContentsEntry
left wanted
named indent { 0f }
named number {}
named title {}
named pagenum {}
named pregap { @ContentsGap }
named postgap { 0c }
{
@MakeContents.wanted @Case {
Yes.Yes @Yield { @SendContents @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { pregap }
postgap { postgap }
}
else @Yield @Null
}
}
def @FigureContentsEntry
left wanted
named indent { 0f }
named number {}
named title {}
named pagenum {}
named pregap { @ContentsGap }
named postgap { 0c }
{
@MakeFigureContents.wanted @Case {
Yes.Yes @Yield { @SendFigureContents @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { pregap }
postgap { postgap }
}
else @Yield @Null
}
}
def @TableContentsEntry
left wanted
named indent { 0f }
named number {}
named title {}
named pagenum {}
named pregap { @ContentsGap }
named postgap { 0c }
{
@MakeTableContents.wanted @Case {
Yes.Yes @Yield { @SendTableContents @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { pregap }
postgap { postgap }
}
else @Yield @Null
}
}
def @MajorContentsEntry
left wanted
named indent { 0f }
named number {}
named title {}
named pagenum {}
named pregap { @ContentsGapAbove }
named postgap { @ContentsGapBelow }
{
@MakeContents.wanted @Case {
Yes.Yes @Yield { @SendContents @ContentsItem
indent { indent }
number { @ContentsFont @Font number }
title { @ContentsFont @Font title }
pagenum { pagenum }
pregap { pregap }
postgap { postgap }
protect { Yes }
}
else @Yield @Null
}
}
def @VeryMajorContentsEntry
left wanted
named indent { 0.5rt }
named title {}
named pregap { @ContentsPartGapAbove }
named postgap { @ContentsPartGapBelow }
{
def item
{
//pregap
//0.5vx
|indent @ContentsFont @Font @OneCol title |
//0.5vx
//postgap
}
@MakeContents.wanted @Case {
Yes.Yes @Yield @SendContents item
else @Yield @Null
}
}
def @ContentsSection
{
def @ContentsList { @ContentsPlace // @ContentsList }
@MakeContents @Case {
{ Yes Bypass } @Yield @ContentsList
else @Yield @Null
}
}
def @FigureContentsSection
{
def @FigureContentsList { @FigureContentsPlace // @FigureContentsList }
@MakeFigureContents @Case {
{ Yes Bypass } @Yield @FigureContentsList
else @Yield @Null
}
}
def @TableContentsSection
{
def @TableContentsList { @TableContentsPlace // @TableContentsList }
@MakeTableContents @Case {
{ Yes Bypass } @Yield @TableContentsList
else @Yield @Null
}
}
###########################################################################
# #
# Bypass table of contents. #
# #
###########################################################################
def @BypassContentsEntry into { @ContentsPlace&&preceding }
named indent { 0f }
named number {}
named title {}
named pagenum {}
{
@MakeContents @Case {
Bypass @Yield { @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { @ContentsGap }
postgap { 0c }
}
else @Yield @Null
}
}
def @BypassFigureContentsEntry into { @FigureContentsPlace&&preceding }
named indent { 0f }
named number {}
named title {}
named pagenum {}
{
@MakeFigureContents @Case {
Bypass @Yield { @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { @ContentsGap }
postgap { 0c }
}
else @Yield @Null
}
}
def @BypassTableContentsEntry into { @TableContentsPlace&&preceding }
named indent { 0f }
named number {}
named title {}
named pagenum {}
{
@MakeTableContents @Case {
Bypass @Yield { @ContentsItem
indent { indent }
number { number }
title { title }
pagenum { pagenum }
pregap { @ContentsGap }
postgap { 0c }
}
else @Yield @Null
}
}
def @BypassMajorContentsEntry into { @ContentsPlace&&preceding }
named indent { 0f }
named number {}
named title {}
named pagenum {}
{
@MakeContents @Case {
Bypass @Yield { @ContentsItem
indent { indent }
number { @B number }
title { @B title }
pagenum { pagenum }
pregap { @ContentsGapAbove }
postgap { @ContentsGapBelow }
}
else @Yield @Null
}
}
###########################################################################
# #
# Endnotes. #
# #
###########################################################################
export num
def @EndNoteList
named @Tag {}
right num
{
@Galley //@EndNoteGap @EndNoteList @Next num
}
def endtag right num
{
@BackEnd @Case {
PlainText @Yield {
({@EndNoteNumbers @Num num})
}
else @Yield {
+0.3v @VShift 0.8f @Font @EndNoteNumbers @Num num
}
}
}
def @EndNote
named @Tag {}
right x
{
def ftag
{
@EndNoteFont @Font @EndNoteList&&@Tag @Open { endtag num }
}
def @ENote into { @EndNoteList&&following }
{
@EndNoteFont @Font @EndNoteBreak @Break
{ { @EndNoteList&&preceding @Tagged @Tag ftag } @EndNoteFormat x }
}
@Null & @EndNoteFont @Font ftag & @ENote
}
###########################################################################
# #
# Margin Notes. #
# #
###########################################################################
def @ZeroSize right x
{
@HContract @VContract { ^/0io |0io @OneCol @OneRow x |0io /0io }
}
def @MargPut
left parity
right x
{
@MarginNoteFont @Font @MarginNoteBreak @Break @ZeroSize {
@BackEnd @Case {
PlainText @Yield ""
PostScript @Yield {
{ parity "LoutMargShift gsave" // "grestore" } @Graphic
{
|@MarginNoteHGap @MarginNoteWidth @Wide @OneRow x
|@MarginNoteHGap //@MarginNoteVGap
}
}
PDF @Yield { "% @MargPut/LoutMargShift UNIMPLEMENTED" @Graphic {
|@MarginNoteHGap @MarginNoteWidth @Wide @OneRow x
|@MarginNoteHGap //@MarginNoteVGap
} # VT: PDF currently has no output
}
}
}
}
def @LeftNote right x { @Null & 0 @MargPut x }
def @RightNote right x { @Null & 1 @MargPut x }
def @OuterNote right x { @Null & 2 @MargPut x }
def @InnerNote right x { @Null & 3 @MargPut x }
###########################################################################
# #
# @Place: places an object at an arbitrary point on the page. #
# #
###########################################################################
#
# VT: the expressions in the braces will work for PostScript but not for PDF
# they should be modified in the way the "named c { " cm" }" blocks were modified above
# but since the point of @Place is to output a matrix (?), I have not implemented this change
#
def @Place
named x
named "+" precedence 96 associativity left left a right b { a b "add" }
named "-" precedence 96 associativity left left a right b { a b "sub" }
named "/" precedence 97 associativity left left a right b { a b "div" }
named "*" precedence 98 associativity left left a right b { a b "mul" }
named c precedence 99 left a { a "cm" }
named i precedence 99 left a { a "in" }
named e precedence 99 left a { a "em" }
named p precedence 99 left a { a "pt" }
named f precedence 99 left a { a "ft" }
named s precedence 99 left a { a "sp" }
named v precedence 99 left a { a "vs" }
named cm precedence 99 left a { a "cm" }
named in precedence 99 left a { a "in" }
named em precedence 99 left a { a "em" }
named pt precedence 99 left a { a "pt" }
named ft precedence 99 left a { a "ft" }
named sp precedence 99 left a { a "sp" }
named vs precedence 99 left a { a "vs" }
{ 0 }
named y
named "+" precedence 96 associativity left left a right b { a b "add" }
named "-" precedence 96 associativity left left a right b { a b "sub" }
named "/" precedence 97 associativity left left a right b { a b "div" }
named "*" precedence 98 associativity left left a right b { a b "mul" }
named c precedence 99 left a { a "cm" }
named i precedence 99 left a { a "in" }
named e precedence 99 left a { a "em" }
named p precedence 99 left a { a "pt" }
named f precedence 99 left a { a "ft" }
named s precedence 99 left a { a "sp" }
named v precedence 99 left a { a "vs" }
named cm precedence 99 left a { a "cm" }
named in precedence 99 left a { a "in" }
named em precedence 99 left a { a "em" }
named pt precedence 99 left a { a "pt" }
named ft precedence 99 left a { a "ft" }
named sp precedence 99 left a { a "sp" }
named vs precedence 99 left a { a "vs" }
{ 0 }
right val
{
@ZeroSize {
@BackEnd @Case {
PlainText @Yield ""
PostScript @Yield {
{ "LoutPageDict begin matr setmatrix" x y "translate end gsave"
// "grestore" } @Graphic val
}
else @Yield { { "% @Place UNIMPLEMENTED" } @Graphic val # VT: PDF currently has no output
}
}
}
}
###########################################################################
# #
# @Theorem, @Proof, and @EndProof #
# #
###########################################################################
export @Tag val
def @TheoremCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginTheoremCounter
right prefix
{
@TheoremCounterMarker val { prefix @Join 0 }
}
def @TheoremNum right tag
{
@TheoremCounterMarker&&tag @Open { @Next val }
}
def @TheoremCounterIncrement
right tag
{
@TheoremCounterMarker&&preceding @Tagged tag
@TheoremCounterMarker val { @TheoremNum tag }
@NumberMarker @Tag { tag } @Value { @TheoremNum tag }
}
def @Theorem
named @Tag {}
named @Title {}
right x
{
def @TheoremTitle
{
@Title @Case {
"" @Yield @Null
else @Yield @TheoremTitleFormat @Title
}
}
{ @PageMark @Tag @TheoremCounterIncrement @Tag } @Insert
@TheoremFormat
word { theorem @WordVal @TheoremWord }
number { @TheoremNum @Tag }
title { @TheoremTitle }
body { x }
}
macro @Proof { @B { {proof @WordVal @ProofWord}: } &2s }
macro @EndProof { &1rt @Box {} }
###########################################################################
# #
# @Definition #
# #
###########################################################################
export @Tag val
def @DefinitionCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginDefinitionCounter
right prefix
{
@DefinitionCounterMarker val { prefix @Join 0 }
}
def @DefinitionNum right tag
{
@DefinitionCounterMarker&&tag @Open { @Next val }
}
def @DefinitionCounterIncrement
right tag
{
@DefinitionCounterMarker&&preceding @Tagged tag
@DefinitionCounterMarker val { @DefinitionNum tag }
@NumberMarker @Tag { tag } @Value { @DefinitionNum tag }
}
def @Definition
named @Tag {}
named @Title {}
right x
{
def @DefinitionTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @DefinitionCounterIncrement @Tag } @Insert
@DefinitionFormat
word { definition @WordVal @DefinitionWord }
number { @DefinitionNum @Tag }
title { @DefinitionTitle }
body { x }
}
###########################################################################
# #
# @Claim #
# #
###########################################################################
export @Tag val
def @ClaimCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginClaimCounter
right prefix
{
@ClaimCounterMarker val { prefix @Join 0 }
}
def @ClaimNum right tag
{
@ClaimCounterMarker&&tag @Open { @Next val }
}
def @ClaimCounterIncrement
right tag
{
@ClaimCounterMarker&&preceding @Tagged tag
@ClaimCounterMarker val { @ClaimNum tag }
@NumberMarker @Tag { tag } @Value { @ClaimNum tag }
}
def @Claim
named @Tag {}
named @Title {}
right x
{
def @ClaimTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @ClaimCounterIncrement @Tag } @Insert
@ClaimFormat
word { claim @WordVal @ClaimWord }
number { @ClaimNum @Tag }
title { @ClaimTitle }
body { x }
}
###########################################################################
# #
# @Proposition #
# #
###########################################################################
export @Tag val
def @PropositionCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginPropositionCounter
right prefix
{
@PropositionCounterMarker val { prefix @Join 0 }
}
def @PropositionNum right tag
{
@PropositionCounterMarker&&tag @Open { @Next val }
}
def @PropositionCounterIncrement
right tag
{
@PropositionCounterMarker&&preceding @Tagged tag
@PropositionCounterMarker val { @PropositionNum tag }
@NumberMarker @Tag { tag } @Value { @PropositionNum tag }
}
def @Proposition
named @Tag {}
named @Title {}
right x
{
def @PropositionTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @PropositionCounterIncrement @Tag } @Insert
@PropositionFormat
word { proposition @WordVal @PropositionWord }
number { @PropositionNum @Tag }
title { @PropositionTitle }
body { x }
}
###########################################################################
# #
# @Lemma #
# #
###########################################################################
export @Tag val
def @LemmaCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginLemmaCounter
right prefix
{
@LemmaCounterMarker val { prefix @Join 0 }
}
def @LemmaNum right tag
{
@LemmaCounterMarker&&tag @Open { @Next val }
}
def @LemmaCounterIncrement
right tag
{
@LemmaCounterMarker&&preceding @Tagged tag
@LemmaCounterMarker val { @LemmaNum tag }
@NumberMarker @Tag { tag } @Value { @LemmaNum tag }
}
def @Lemma
named @Tag {}
named @Title {}
right x
{
def @LemmaTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @LemmaCounterIncrement @Tag } @Insert
@LemmaFormat
word { lemma @WordVal @LemmaWord }
number { @LemmaNum @Tag }
title { @LemmaTitle }
body { x }
}
###########################################################################
# #
# @Corollary #
# #
###########################################################################
export @Tag val
def @CorollaryCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginCorollaryCounter
right prefix
{
@CorollaryCounterMarker val { prefix @Join 0 }
}
def @CorollaryNum right tag
{
@CorollaryCounterMarker&&tag @Open { @Next val }
}
def @CorollaryCounterIncrement
right tag
{
@CorollaryCounterMarker&&preceding @Tagged tag
@CorollaryCounterMarker val { @CorollaryNum tag }
@NumberMarker @Tag { tag } @Value { @CorollaryNum tag }
}
def @Corollary
named @Tag {}
named @Title {}
right x
{
def @CorollaryTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @CorollaryCounterIncrement @Tag } @Insert
@CorollaryFormat
word { corollary @WordVal @CorollaryWord }
number { @CorollaryNum @Tag }
title { @CorollaryTitle }
body { x }
}
###########################################################################
# #
# @Example #
# #
###########################################################################
export @Tag val
def @ExampleCounterMarker
named @Tag {}
named val {}
{
@Null
}
def @BeginExampleCounter
right prefix
{
@ExampleCounterMarker val { prefix @Join 0 }
}
def @ExampleNum right tag
{
@ExampleCounterMarker&&tag @Open { @Next val }
}
def @ExampleCounterIncrement
right tag
{
@ExampleCounterMarker&&preceding @Tagged tag
@ExampleCounterMarker val { @ExampleNum tag }
@NumberMarker @Tag { tag } @Value { @ExampleNum tag }
}
def @Example
named @Tag {}
named @Title {}
right x
{
def @ExampleTitle
{
@Title @Case {
"" @Yield @Null
else @Yield (@Title)
}
}
{ @PageMark @Tag @ExampleCounterIncrement @Tag } @Insert
@ExampleFormat
word { example @WordVal @ExampleWord }
number { @ExampleNum @Tag }
title { @ExampleTitle }
body { x }
}
###########################################################################
# #
# @BeginAllCounters - begin all counters #
# #
###########################################################################
def @BeginAllCounters
left condition
right prefix
{
condition @Do {
@BeginTheoremCounter prefix
// @BeginDefinitionCounter prefix
// @BeginClaimCounter prefix
// @BeginPropositionCounter prefix
// @BeginLemmaCounter prefix
// @BeginCorollaryCounter prefix
// @BeginExampleCounter prefix
}
}
###########################################################################
# #
# @Reference - a reference. #
# #
###########################################################################
export @Tag @Type @Abstract @Address @Annote @Author @Day @Edition
@HowPublished @InAuthor @InTitle @Institution @Journal @Keywords
@Label @Month @Note @Number @Organization @Page @Pages @Pinpoint
@Publisher @Title @TitleNote @TRType @URL @Volume @Year
def @Reference
named compulsory @Tag {}
named compulsory @Type {}
named @Abstract {}
named @Address {}
named @Annote {}
named @Author {}
named @Day {}
named @Edition {}
named @HowPublished {}
named @InAuthor {}
named @InTitle {}
named @Institution {}
named @Journal {}
named @Keywords {}
named @Label {}
named @Month {}
named @Note {}
named @Number {}
named @Organization {}
named @Page {}
named @Pages {}
named @Pinpoint {}
named @Publisher {}
named @Title {}
named @TitleNote {}
named @TRType {}
named @URL
named "~" { "~" }
named "/" { "/" &0p }
named "//" { "//" &0p } {}
named @Volume {}
named @Year {}
{ @Null }
###########################################################################
# #
# @CiteLabel - the value of the label of a reference within a citation. #
# #
###########################################################################
def @CiteLabel
left label
right tag
{
@RefCiteLabels
@RefNum { @NumberOf tag }
@Tag { tag }
@Type { @Reference&&tag @Open { @Type } }
@Abstract { @Reference&&tag @Open { @Abstract } }
@Address { @Reference&&tag @Open { @Address } }
@Annote { @Reference&&tag @Open { @Annote } }
@Author { @Reference&&tag @Open { @Author } }
@Day { @Reference&&tag @Open { @Day } }
@Edition { @Reference&&tag @Open { @Edition } }
@HowPublished { @Reference&&tag @Open { @HowPublished } }
@InAuthor { @Reference&&tag @Open { @InAuthor } }
@InTitle { @Reference&&tag @Open { @InTitle } }
@Institution { @Reference&&tag @Open { @Institution } }
@Journal { @Reference&&tag @Open { @Journal } }
@Keywords { @Reference&&tag @Open { @Keywords } }
@Label { label @Case {
"" @Yield {@Reference&&tag @Open {@Label}}
else @Yield label
} }
@Month { @Reference&&tag @Open { @Month } }
@Note { @Reference&&tag @Open { @Note } }
@Number { @Reference&&tag @Open { @Number } }
@Organization { @Reference&&tag @Open { @Organization } }
@Page { @Reference&&tag @Open { @Page } }
@Pages { @Reference&&tag @Open { @Pages } }
@Pinpoint { @Reference&&tag @Open { @Pinpoint } }
@Publisher { @Reference&&tag @Open { @Publisher } }
@Title { @Reference&&tag @Open { @Title } }
@TitleNote { @Reference&&tag @Open { @TitleNote } }
@TRType { @Reference&&tag @Open { @TRType } }
@Volume { @Reference&&tag @Open { @Volume } }
@Year { @Reference&&tag @Open { @Year } }
}
###########################################################################
# #
# @ListLabel - the value of the label of a reference within a ref list. #
# #
###########################################################################
def @ListLabel
left label
right tag
{
@RefListLabels
@RefNum { @NumberOf tag }
@Tag { tag }
@Type { @Reference&&tag @Open { @Type } }
@Abstract { @Reference&&tag @Open { @Abstract } }
@Address { @Reference&&tag @Open { @Address } }
@Annote { @Reference&&tag @Open { @Annote } }
@Author { @Reference&&tag @Open { @Author } }
@Day { @Reference&&tag @Open { @Day } }
@Edition { @Reference&&tag @Open { @Edition } }
@HowPublished { @Reference&&tag @Open { @HowPublished } }
@InAuthor { @Reference&&tag @Open { @InAuthor } }
@InTitle { @Reference&&tag @Open { @InTitle } }
@Institution { @Reference&&tag @Open { @Institution } }
@Journal { @Reference&&tag @Open { @Journal } }
@Keywords { @Reference&&tag @Open { @Keywords } }
@Label { label @Case {
"" @Yield {@Reference&&tag @Open {@Label}}
else @Yield label
} }
@Month { @Reference&&tag @Open { @Month } }
@Note { @Reference&&tag @Open { @Note } }
@Number { @Reference&&tag @Open { @Number } }
@Organization { @Reference&&tag @Open { @Organization } }
@Page { @Reference&&tag @Open { @Page } }
@Pages { @Reference&&tag @Open { @Pages } }
@Pinpoint { @Reference&&tag @Open { @Pinpoint } }
@Publisher { @Reference&&tag @Open { @Publisher } }
@Title { @Reference&&tag @Open { @Title } }
@TitleNote { @Reference&&tag @Open { @TitleNote } }
@TRType { @Reference&&tag @Open { @TRType } }
@Volume { @Reference&&tag @Open { @Volume } }
@Year { @Reference&&tag @Open { @Year } }
}
###########################################################################
# #
# @SortKey - the value of the sort key of a reference. #
# #
###########################################################################
def @SortKey
left label
right tag
{
@RefListSortKey
@Tag { tag }
@Type { @Reference&&tag @Open { @Type } }
@Abstract { @Reference&&tag @Open { @Abstract } }
@Address { @Reference&&tag @Open { @Address } }
@Annote { @Reference&&tag @Open { @Annote } }
@Author { @Reference&&tag @Open { @Author } }
@Day { @Reference&&tag @Open { @Day } }
@Edition { @Reference&&tag @Open { @Edition } }
@HowPublished { @Reference&&tag @Open { @HowPublished } }
@InAuthor { @Reference&&tag @Open { @InAuthor } }
@InTitle { @Reference&&tag @Open { @InTitle } }
@Institution { @Reference&&tag @Open { @Institution } }
@Journal { @Reference&&tag @Open { @Journal } }
@Keywords { @Reference&&tag @Open { @Keywords } }
@Label { label @Case {
"" @Yield {@Reference&&tag @Open {@Label}}
else @Yield label
} }
@Month { @Reference&&tag @Open { @Month } }
@Note { @Reference&&tag @Open { @Note } }
@Number { @Reference&&tag @Open { @Number } }
@Organization { @Reference&&tag @Open { @Organization } }
@Page { @Reference&&tag @Open { @Page } }
@Pages { @Reference&&tag @Open { @Pages } }
@Pinpoint { @Reference&&tag @Open { @Pinpoint } }
@Publisher { @Reference&&tag @Open { @Publisher } }
@Title { @Reference&&tag @Open { @Title } }
@TitleNote { @Reference&&tag @Open { @TitleNote } }
@TRType { @Reference&&tag @Open { @TRType } }
@Volume { @Reference&&tag @Open { @Volume } }
@Year { @Reference&&tag @Open { @Year } }
}
###########################################################################
# #
# @RefStyle - a reference printing style. #
# #
###########################################################################
export @Style
def @RefStyle
left @Tag
named @Style right reftag {}
{}
###########################################################################
# #
# @RefPrint - prints reference with tag reftag in appropriate style. #
# #
###########################################################################
def @RefPrint right reftag
{ & @RefStyle&&{ @Reference&&reftag @Open { @Type } }
@Open { @Style reftag } &
}
###########################################################################
# #
# @ReferencesSection and @ChapReferencesSection - a list of references. #
# #
###########################################################################
def @RefPlace { @Galley }
def @ChapRefPlace { @Galley }
def @BypassRefPlace { @Galley }
def @BypassChapRefPlace { @Galley }
def @ReferencesSection
{
def @RefList right num
{
@NumberMarker @Value { @RefNumbers @Num num } & | @RefPlace
//@RefListGap @RefList @Next num
}
def @BypassRefList
{
@BypassRefPlace //@RefListGap @BypassRefList
}
@RefList 1
//@RefListGap
@BypassRefList
}
def @ChapReferencesSection
{
def @ChapRefList right num
{
@NumberMarker @Value { @RefNumbers @Num num } & | @ChapRefPlace
//@RefListGap @ChapRefList @Next num
}
def @BypassChapRefList
{
@BypassChapRefPlace //@RefListGap @BypassChapRefList
}
@ChapRefList 1
//@RefListGap
@BypassChapRefList
}
###########################################################################
# #
# @RefHeading - heading for reference lists. #
# #
###########################################################################
def @RefHeading right x
{ x @Case {
references @Yield @Word&&references
bibliography @Yield @Word&&bibliography
else @Yield x
}
}
#######################################################################
# #
# @ChapRefSection #
# #
#######################################################################
def @ChapRefSection
{
@Heading @RefHeading @ChapRefListTitle
@DP
@ChapReferencesSection
}
###########################################################################
# #
# @SendRef and @ChapSendRef - send one reference to the reference list. #
# #
###########################################################################
def @RefItem
left lab
right ref
{
def @ZeroWidth right x { &0io @OneCol x &0io }
@RefListFormat @Case {
NoLabels @Yield { ref }
Labels @Yield { @ZeroWidth lab |@RefListLabelWidth ref }
DropLabels @Yield { lab //1vx |@RefListLabelWidth ref }
InLabels @Yield { lab & 2s @Wide & ref }
}
}
def @RefListItem
left label
right tag
{
#
# VT: I can't get this to work, so I've put back the original code
#
# @RefListFont @Font @RefListBreak @Break {
# @BackEnd @Case {
# PostScript @Yield {
# @NumberMarker&&preceding @Tagged tag &
# @PageMark tag
# |@RefListIndent {label @ListLabel tag} @RefItem {@RefPrint tag}
# |@RefListRightIndent
# }
# PDF @Yield {
# { "__link_target=<<"tag">>" }
# @Graphic
# {
# @NumberMarker&&preceding @Tagged tag &
# @PageMark tag
# |@RefListIndent {label @ListLabel tag} @RefItem {@RefPrint tag}
# |@RefListRightIndent
# }
# }
# }
# }
# VT: original:
@RefListFont @Font @RefListBreak @Break {
@NumberMarker&&preceding @Tagged tag &
@PageMark tag
|@RefListIndent {label @ListLabel tag} @RefItem {@RefPrint tag}
|@RefListRightIndent
}
}
def @SendRef into { @RefPlace&&foll_or_prec }
left label
right tag
{
def @Key { label @SortKey tag }
# no @Merge i.e. omit duplicates
label @RefListItem tag
}
def @ChapSendRef into { @ChapRefPlace&&foll_or_prec }
left label
right tag
{
def @Key { label @SortKey tag }
# no @Merge i.e. omit duplicates
label @RefListItem tag
}
###########################################################################
# #
# @Ref (bare citation) and its variants. #
# #
###########################################################################
def @Ref
named label {}
right tag
{
@MakeReferences @Case {
Yes @Yield { label @CiteLabel tag & label @SendRef tag }
else @Yield @Null
}
}
def @NoRef
named label {}
right tag
{
@MakeReferences @Case {
Yes @Yield { label @SendRef tag }
else @Yield @Null
}
}
def @ChapRef
named label {}
right tag
{
@MakeReferences @Case {
Yes @Yield { label @CiteLabel tag & label @ChapSendRef tag }
else @Yield @Null
}
}
def @NoChapRef
named label {}
right tag
{
@MakeReferences @Case {
Yes @Yield { label @ChapSendRef tag }
else @Yield @Null
}
}
###########################################################################
# #
# Bypass references. #
# #
###########################################################################
def @BypassReference into { @BypassRefPlace&&preceding }
named label {}
named value {}
{
@MakeReferences @Case {
Bypass @Yield { label @RefItem value }
else @Yield @Null
}
}
def @BypassChapReference into { @BypassChapRefPlace&&preceding }
named label {}
named value {}
{
@MakeReferences @Case {
Bypass @Yield { label @RefItem value }
else @Yield @Null
}
}
###########################################################################
# #
# @Cite (citation) and its variants. #
# #
###########################################################################
export "$" "," ";"
def @Cite body cite
{
macro "$" { @Ref }
def "," precedence 90 left x { x"," }
def ";" precedence 90 left x { x";" }
@MakeReferences @Case {
# Yes @Yield { @RefCiteStyle cite }
Yes @Yield {
@BackEnd @Case {
{ PlainText PostScript } @Yield { @RefCiteStyle cite }
PDF @Yield {
#
# VT: can't get this to work: need to ask JHK; I want the text following the "$" to be
# the name of the link that we are trying to create a link to
# { "__link_source=<<"label">>" }
# @Graphic
{ @RefCiteStyle cite }
# { blue @Colour @Underline { @RefCiteStyle cite } }
}
}
}
else @Yield @Null
}
}
export "$" "," ";"
def @NoCite body cite
{
macro "$" { @NoRef }
def "," precedence 90 left x { x }
def ";" precedence 90 left x { x";" }
@MakeReferences @Case {
Yes @Yield { cite }
else @Yield @Null
}
}
export "$" "," ";"
def @ChapCite body cite
{
macro "$" { @ChapRef }
def "," precedence 90 left x { x"," }
def ";" precedence 90 left x { x";" }
@MakeReferences @Case {
Yes @Yield { @RefCiteStyle cite }
else @Yield @Null
}
}
export "$" "," ";"
def @NoChapCite body cite
{
macro "$" { @NoChapRef }
def "," precedence 90 left x { x }
def ";" precedence 90 left x { x";" }
@MakeReferences @Case {
Yes @Yield { cite }
else @Yield @Null
}
}
###########################################################################
# #
# Floating figures. #
# #
###########################################################################
export @Tag prefix
def @FigurePrefixMarker
named @Tag {}
named prefix {}
{
@Null
}
export @Tag count
def @FigureCounterMarker
named @Tag {}
named count {}
{
@Null
}
def @RawFigureNum right tag
{
@FigureCounterMarker&&tag @Open { @Next count }
}
def @FigureCounterIncrement
right tag
{
@FigureCounterMarker&&preceding @Tagged tag
// @FigurePrefixMarker&&preceding @Tagged tag
// @FigureCounterMarker count { @RawFigureNum tag }
// @NumberMarker @Tag { tag }
@Value { { @FigurePrefixMarker&&tag @Open { prefix } }
@Join {@FigureNumbers @Num @RawFigureNum tag}
}
}
def @BeginFigureCounter
left condition
right prefix
{
condition @Do {
@FigurePrefixMarker prefix { prefix }
// @FigureCounterMarker count { 0 }
}
}
def @EndFigureList { @Galley //@MidGap @EndFigureList }
def @Figure
named @Tag {}
named @Caption { dft }
named @ShortCaption { dft }
named @CaptionPos { @FigureCaptionPos }
named @Format
named @II right x { |@DisplayIndent x | }
named @QQ right x { |@DisplayIndent x |@DisplayIndent }
named @CC right x { |0.5rt x | }
named @RR right x { |1.0rt x | }
right @Body { @FigureFormat @Body }
named @InitialLanguage { @InitialLanguage }
named @BypassNumber { dft }
named @OnePage { dft }
named @Location { @FigureLocation }
right @Body
{
def @FigureNumber
{
@BypassNumber @Dft @NumberOf @Tag
}
def @ContentsCaption
{
@ShortCaption @Dft @Caption
}
def @OnePg
{
@OnePage @Case {
{ No no } @Yield No
{ Yes yes } @Yield Yes
dft @Yield { @Location @Case {
PageTop @Yield No
EvenPageTop @Yield No
FullPage @Yield No
EvenFullPage @Yield No
PageFoot @Yield Yes
ColTop @Yield No
ColFoot @Yield Yes
ColEnd @Yield No
Display @Yield Yes
AfterLine @Yield Yes
TryAfterLine @Yield Yes
Raw @Yield No
}
}
}
}
def @CaptionState
{
@Caption @Case {
dft @Yield None
else @Yield { @CaptionPos @Case {
{ Below below } @Yield Below
{ Above above } @Yield Above
} }
}
}
#def @FigureLabel
#{
# @FigureNumbers @Case {
# No @Yield @Null
# else @Yield {
# @CaptionFormat { {figure @WordVal @FigureWord} @NumSep @FigureNumber }
# }
# }
#}
def @CaptionVal
{
@FigureCaptionFont @Font @FigureCaptionBreak @Break
{ ||0.5rt @FigureCaptionFormat
word { figure @WordVal @FigureWord }
number { @FigureNumber }
caption { @Caption }
}
}
def @FigureVal
{
@InitialLanguage @Language
{
@MakeFigureContents @FigureContentsEntry
indent { 0f }
number { @FigureNumber }
title { @InitialLanguage @Language @ContentsCaption }
pagenum { @PageOf @Tag }
// @FigureCounterIncrement @Tag
// @PageMark @Tag
// @Body
}
}
def @FigureTarget
{
@Location @Case {
PageTop @Yield @PageTopPlace&&following
EvenPageTop @Yield @PageTopPlace&&following
FullPage @Yield @FullPagePlace&&following
EvenFullPage @Yield @FullPagePlace&&following
PageFoot @Yield @PageFootAndTopPlace&&following
ColTop @Yield @ColTopPlace&&following
ColFoot @Yield @ColFootAndTopPlace&&following
ColEnd @Yield @EndFigureList&&following
Display @Yield @AfterLinePlace&&following
AfterLine @Yield @AfterLinePlace&&following
TryAfterLine @Yield @TryAfterLinePlace&&following
}
}
def @SendEncl into { @FigureTarget }
right x
{
def @Enclose right x
{
@OnePg @Case {
No @Yield @Format x
Yes @Yield x
}
}
x
}
def @Send into { @FigureTarget }
right x
{
x
}
def @EvenFullPageSend into { @EvenFullPagePlace&&following }
right x
{
@OneRow x
}
def @EvenPageSend into { @EvenPagePlace&&following }
right x
{
@OneRow x
}
def @RawFigureVal
{
@OnePg.@CaptionState @Case
{
Yes.Below @Yield @OneRow { @Format @FigureVal @DP @CaptionVal }
Yes.Above @Yield @OneRow { @CaptionVal @DP @Format @FigureVal }
Yes.None @Yield @OneRow { @Format @FigureVal }
No.Below @Yield { @Format @FigureVal @DP @CaptionVal }
No.Above @Yield { @CaptionVal @DP @Format @FigureVal }
No.None @Yield { @Format @FigureVal }
}
}
def @NonRawFigureVal
{
@OnePg.@CaptionState @Case
{
Yes.Below @Yield {
@Send @OneRow { @Format @FigureVal @DP @CaptionVal // @DupRunner}
}
Yes.Above @Yield {
@Send @OneRow { @CaptionVal @DP @Format @FigureVal // @DupRunner}
}
Yes.None @Yield {
@Send @OneRow { @Format @FigureVal // @DupRunner }
}
No.Below @Yield {
@SendEncl { @FigureVal // @Send { @CaptionVal // @DupRunner } }
}
No.Above @Yield {
@Send { @CaptionVal // @SendEncl { @FigureVal // @DupRunner } }
}
No.None @Yield {
@SendEncl { @FigureVal // @DupRunner }
}
}
}
@Location @Case {
Raw @Yield @RawFigureVal
Display @Yield { @NonRawFigureVal &1rt }
EvenPageTop @Yield @EvenPageSend @NonRawFigureVal
EvenFullPage @Yield @EvenFullPageSend @NonRawFigureVal
else @Yield @NonRawFigureVal
}
}
###########################################################################
# #
# Floating tables (exact clone of figure code immediately above). #
# #
###########################################################################
export @Tag prefix
def @TablePrefixMarker
named @Tag {}
named prefix {}
{
@Null
}
export @Tag count
def @TableCounterMarker
named @Tag {}
named count {}
{
@Null
}
def @RawTableNum right tag
{
@TableCounterMarker&&tag @Open { @Next count }
}
def @TableCounterIncrement
right tag
{
@TableCounterMarker&&preceding @Tagged tag
// @TablePrefixMarker&&preceding @Tagged tag
// @TableCounterMarker count { @RawTableNum tag }
// @NumberMarker @Tag { tag }
@Value { { @TablePrefixMarker&&tag @Open { prefix } }
@Join {@TableNumbers @Num @RawTableNum tag}
}
}
def @BeginTableCounter
left condition
right prefix
{
condition @Do {
@TablePrefixMarker prefix { prefix }
// @TableCounterMarker count { 0 }
}
}
def @EndTableList { @Galley //@MidGap @EndTableList }
def @Table
named @Tag {}
named @Caption { dft }
named @ShortCaption { dft }
named @CaptionPos { @TableCaptionPos }
named @Format
named @II right x { |@DisplayIndent x | }
named @QQ right x { |@DisplayIndent x |@DisplayIndent }
named @CC right x { |0.5rt x | }
named @RR right x { |1.0rt x | }
right @Body { @TableFormat @Body }
named @InitialLanguage { @InitialLanguage }
named @BypassNumber { dft }
named @OnePage { dft }
named @Location { @TableLocation }
right @Body
{
def @TableNumber
{
@BypassNumber @Dft @NumberOf @Tag
}
def @ContentsCaption
{
@ShortCaption @Dft @Caption
}
def @OnePg
{
@OnePage @Case {
{ No no } @Yield No
{ Yes yes } @Yield Yes
dft @Yield { @Location @Case {
PageTop @Yield No
EvenPageTop @Yield No
FullPage @Yield No
EvenFullPage @Yield No
PageFoot @Yield Yes
ColTop @Yield No
ColFoot @Yield Yes
ColEnd @Yield No
Display @Yield Yes
AfterLine @Yield Yes
TryAfterLine @Yield Yes
Raw @Yield No
}
}
}
}
def @CaptionState
{
@Caption @Case {
dft @Yield None
else @Yield { @CaptionPos @Case {
{ Below below } @Yield Below
{ Above above } @Yield Above
} }
}
}
#def @TableLabel
#{
# @TableNumbers @Case {
# No @Yield @Null
# else @Yield {
# @CaptionFormat { {table @WordVal @TableWord} @NumSep @TableNumber }
# }
# }
#}
def @CaptionVal
{
@TableCaptionFont @Font @TableCaptionBreak @Break
{ ||0.5rt @TableCaptionFormat
word { table @WordVal @TableWord }
number { @TableNumber }
caption { @Caption }
}
}
def @TableVal
{
@InitialLanguage @Language
{
@MakeTableContents @TableContentsEntry
indent { 0f }
number { @TableNumber }
title { @InitialLanguage @Language @ContentsCaption }
pagenum { @PageOf @Tag }
// @TableCounterIncrement @Tag
// @PageMark @Tag
// @Body
}
}
def @TableTarget
{
@Location @Case {
PageTop @Yield @PageTopPlace&&following
EvenPageTop @Yield @PageTopPlace&&following
FullPage @Yield @FullPagePlace&&following
EvenFullPage @Yield @FullPagePlace&&following
PageFoot @Yield @PageFootAndTopPlace&&following
ColTop @Yield @ColTopPlace&&following
ColFoot @Yield @ColFootAndTopPlace&&following
ColEnd @Yield @EndTableList&&following
Display @Yield @AfterLinePlace&&following
AfterLine @Yield @AfterLinePlace&&following
TryAfterLine @Yield @TryAfterLinePlace&&following
}
}
def @SendEncl into { @TableTarget }
right x
{
def @Enclose right x
{
@OnePg @Case {
No @Yield @Format x
Yes @Yield x
}
}
x
}
def @Send into { @TableTarget }
right x
{
x
}
def @EvenFullPageSend into { @EvenFullPagePlace&&following }
right x
{
@OneRow x
}
def @EvenPageSend into { @EvenPagePlace&&following }
right x
{
@OneRow x
}
def @RawTableVal
{
@OnePg.@CaptionState @Case
{
Yes.Below @Yield @OneRow { @Format @TableVal @DP @CaptionVal }
Yes.Above @Yield @OneRow { @CaptionVal @DP @Format @TableVal }
Yes.None @Yield @OneRow { @Format @TableVal }
No.Below @Yield { @Format @TableVal @DP @CaptionVal }
No.Above @Yield { @CaptionVal @DP @Format @TableVal }
No.None @Yield { @Format @TableVal }
}
}
def @NonRawTableVal
{
@OnePg.@CaptionState @Case
{
Yes.Below @Yield {
@Send @OneRow { @Format @TableVal @DP @CaptionVal // @DupRunner}
}
Yes.Above @Yield {
@Send @OneRow { @CaptionVal @DP @Format @TableVal // @DupRunner}
}
Yes.None @Yield {
@Send @OneRow { @Format @TableVal // @DupRunner }
}
No.Below @Yield {
@SendEncl { @TableVal // @Send { @CaptionVal // @DupRunner } }
}
No.Above @Yield {
@Send { @CaptionVal // @SendEncl { @TableVal // @DupRunner } }
}
No.None @Yield {
@SendEncl { @TableVal // @DupRunner }
}
}
}
@Location @Case {
Raw @Yield @RawTableVal
Display @Yield { @NonRawTableVal &1rt }
EvenPageTop @Yield @EvenPageSend @NonRawTableVal
EvenFullPage @Yield @EvenFullPageSend @NonRawTableVal
else @Yield @NonRawTableVal
}
}
###########################################################################
# #
# Index. #
# #
###########################################################################
def @IndexList { @Galley //1vx @IndexList }
def @BypassIndexList { @Galley //1vx @BypassIndexList }
def @IndexSection into { @IndexPlace&&following }
right etc
{
// @IndexBreak @Break @IndexList
// @IndexBreak @Break @BypassIndexList // etc
}
def @DoIndex into { @IndexList&&following }
left @Key
named indent { 0f }
right @Body
{
def @Merge left x right y
{
{x @Rump y} @Case
{
"" @Yield x
else @Yield { { x &"0.03fu" , } @Meld y }
}
################################ obsolete ###################################
# {x @Rump y} @Case
# {
# "" @Yield x
# else @Yield {
# { {x @Rump y} @Common "," } @Case
# {
# "," @Yield { x &"0.03fu" x @Rump y }
# else @Yield { x &"0.03fu" , x @Rump y }
# }
# }
# }
#############################################################################
}
@IndexFont @Font @IndexBreak @Break { indent @Wide & @Body }
}
def @RawIndex
left x
named @Tag {}
named indent { 0f }
right y
{
@MakeIndex @Case {
Yes @Yield { {@PageMark @Tag} x @DoIndex indent { indent } y }
else @Yield @Null
}
}
macro @RawSubIndex { @RawIndex indent { "1f" } }
macro @RawSubSubIndex { @RawIndex indent { "2f" } }
def @Index
left x
named @Tag {}
named indent { 0f }
named to {}
right y
{
def numval
{
# to @Case
# {
# "" @Yield @PageOf @Tag
# else @Yield {
# { @PageOf @Tag } @Case
# {
# { @PageOf to } @Yield { @PageOf @Tag }
# else @Yield { {@PageOf @Tag}--{@PageOf to} }
# }
# }
# }
@BackEnd @Case {
{ PlainText PostScript } @Yield {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
#
# PDF: Index entries produce a blue underlined hyperlink for the page number
#
PDF @Yield {
{ "__link_source=<<"@Tag">>" }
@Graphic { blue @Colour @Underline {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
}
}
}
}
@MakeIndex @Case {
Yes @Yield {
@BackEnd @Case {
{ PostScript PlainText } @Yield {
@PageMark @Tag
x @DoIndex indent { indent } { y &"0.03fu" , numval }
}
PDF @Yield {
{"__link_target=<<"@Tag">>"} @Graphic {""}
@PageMark @Tag
x @DoIndex indent { indent } { y &"0.03fu" , numval }
}
}
}
# Yes @Yield { @PageMark @Tag
# x @DoIndex indent { indent } { y &"0.03fu" , numval }
# }
else @Yield @Null
}
}
macro @SubIndex { @Index indent { "1f" } }
macro @SubSubIndex { @Index indent { "2f" } }
def @IndexBlanks
{
b @RawIndex {} c @RawIndex {} d @RawIndex {} e @RawIndex {}
f @RawIndex {} g @RawIndex {} h @RawIndex {} i @RawIndex {}
j @RawIndex {} k @RawIndex {} l @RawIndex {} m @RawIndex {}
n @RawIndex {} o @RawIndex {} p @RawIndex {} q @RawIndex {}
r @RawIndex {} s @RawIndex {} t @RawIndex {} u @RawIndex {}
v @RawIndex {} w @RawIndex {} x @RawIndex {} y @RawIndex {}
z @RawIndex {}
}
def @BypassBeginIndexPlace { @Galley }
def @BypassBeginIndex force into { @BypassBeginIndexPlace&&preceding } {}
def @BypassRawIndex force into { @BypassIndexList&&preceding }
named indent { 0f }
right x
{
&indent x
}
def @BypassEndIndex { @Null }
###########################################################################
# #
# IndexA. #
# #
###########################################################################
def @IndexAList { @Galley //1vx @IndexAList }
def @BypassIndexAList { @Galley //1vx @BypassIndexAList }
def @IndexASection into { @IndexAPlace&&following }
right etc
{
// @IndexAList // etc
// @BypassIndexAList // etc
}
def @DoIndexA into { @IndexAList&&following }
left @Key
named indent { 0f }
right @Body
{
def @Merge left x right y
{
{x @Rump y} @Case
{
"" @Yield x
else @Yield { { x &"0.03fu" , } @Meld y }
}
}
@IndexAFont @Font @IndexABreak @Break { indent @Wide & @Body }
}
def @RawIndexA
left x
named @Tag {}
named indent { 0f }
right y
{
@MakeIndexA @Case {
Yes @Yield { {@PageMark @Tag} x @DoIndexA indent { indent } y }
else @Yield @Null
}
}
macro @RawSubIndexA { @RawIndexA indent { "1f" } }
macro @RawSubSubIndexA { @RawIndexA indent { "2f" } }
def @IndexA
left x
named @Tag {}
named indent { 0f }
named to {}
right y
{
def numval
{
# to @Case
# {
# "" @Yield @PageOf @Tag
# else @Yield {
# { @PageOf @Tag } @Case
# {
# { @PageOf to } @Yield { @PageOf @Tag }
# else @Yield { {@PageOf @Tag}--{@PageOf to} }
# }
# }
# }
@BackEnd @Case {
{ PostScript PlainText } @Yield {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
#
# PDF: Index entries produce a blue underlined hyperlink for the page number
#
PDF @Yield {
{ "__link_source=<<"@Tag">>" }
@Graphic { blue @Colour @Underline {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
}
}
}
}
@MakeIndexA @Case {
Yes @Yield { @PageMark @Tag
x @DoIndexA indent { indent } { y &"0.03fu" , numval }
}
else @Yield @Null
}
}
macro @SubIndexA { @IndexA indent { "1f" } }
macro @SubSubIndexA { @IndexA indent { "2f" } }
def @IndexABlanks
{
b @RawIndexA {} c @RawIndexA {} d @RawIndexA {} e @RawIndexA {}
f @RawIndexA {} g @RawIndexA {} h @RawIndexA {} i @RawIndexA {}
j @RawIndexA {} k @RawIndexA {} l @RawIndexA {} m @RawIndexA {}
n @RawIndexA {} o @RawIndexA {} p @RawIndexA {} q @RawIndexA {}
r @RawIndexA {} s @RawIndexA {} t @RawIndexA {} u @RawIndexA {}
v @RawIndexA {} w @RawIndexA {} x @RawIndexA {} y @RawIndexA {}
z @RawIndexA {}
}
def @BypassBeginIndexAPlace { @Galley }
def @BypassBeginIndexA force into { @BypassBeginIndexAPlace&&preceding } {}
def @BypassRawIndexA force into { @BypassIndexAList&&preceding }
named indent { 0f }
right x
{
&indent x
}
def @BypassEndIndexA { @Null }
###########################################################################
# #
# IndexB. #
# #
###########################################################################
def @IndexBList { @Galley //1vx @IndexBList }
def @BypassIndexBList { @Galley //1vx @BypassIndexBList }
def @IndexBSection into { @IndexBPlace&&following }
right etc
{
// @IndexBList // etc
// @BypassIndexBList // etc
}
def @DoIndexB into { @IndexBList&&following }
left @Key
named indent { 0f }
right @Body
{
def @Merge left x right y
{
{x @Rump y} @Case
{
"" @Yield x
else @Yield { { x &"0.03fu" , } @Meld y }
}
}
@IndexBFont @Font @IndexBBreak @Break { indent @Wide & @Body }
}
def @RawIndexB
left x
named @Tag {}
named indent { 0f }
right y
{
@MakeIndexB @Case {
Yes @Yield { {@PageMark @Tag} x @DoIndexB indent { indent } y }
else @Yield @Null
}
}
macro @RawSubIndexB { @RawIndexB indent { "1f" } }
macro @RawSubSubIndexB { @RawIndexB indent { "2f" } }
def @IndexB
left x
named @Tag {}
named indent { 0f }
named to {}
right y
{
def numval
{
# to @Case
# {
# "" @Yield @PageOf @Tag
# else @Yield {
# { @PageOf @Tag } @Case
# {
# { @PageOf to } @Yield { @PageOf @Tag }
# else @Yield { {@PageOf @Tag}--{@PageOf to} }
# }
# }
# }
@BackEnd @Case {
{ PostScript PlainText } @Yield {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
#
# PDF: Index entries produce a blue underlined hyperlink for the page number
#
PDF @Yield {
{ "__link_source=<<"@Tag">>" }
@Graphic { blue @Colour @Underline {
to @Case
{
"" @Yield @PageOf @Tag
else @Yield {
{ @PageOf @Tag } @Case
{
{ @PageOf to } @Yield { @PageOf @Tag }
else @Yield { {@PageOf @Tag}--{@PageOf to} }
}
}
}
}
}
}
}
}
@MakeIndexB @Case {
Yes @Yield { @PageMark @Tag
x @DoIndexB indent { indent } { y &"0.03fu" , numval }
}
else @Yield @Null
}
}
macro @SubIndexB { @IndexB indent { "1f" } }
macro @SubSubIndexB { @IndexB indent { "2f" } }
def @IndexBBlanks
{
b @RawIndexB {} c @RawIndexB {} d @RawIndexB {} e @RawIndexB {}
f @RawIndexB {} g @RawIndexB {} h @RawIndexB {} i @RawIndexB {}
j @RawIndexB {} k @RawIndexB {} l @RawIndexB {} m @RawIndexB {}
n @RawIndexB {} o @RawIndexB {} p @RawIndexB {} q @RawIndexB {}
r @RawIndexB {} s @RawIndexB {} t @RawIndexB {} u @RawIndexB {}
v @RawIndexB {} w @RawIndexB {} x @RawIndexB {} y @RawIndexB {}
z @RawIndexB {}
}
def @BypassBeginIndexBPlace { @Galley }
def @BypassBeginIndexB force into { @BypassBeginIndexBPlace&&preceding } {}
def @BypassRawIndexB force into { @BypassIndexBList&&preceding }
named indent { 0f }
right x
{
&indent x
}
def @BypassEndIndexB { @Null }
###########################################################################
# #
# @LargeScaleStructure #
# #
# The prototype for the value of each large-scale structure symbol #
# (@Chapter, @Section, etc.) #
# #
###########################################################################
def @LargeScaleStructure
named tag {} # tag of this large-scale structure sym
named type {} # MajorIntro, Major, VeryMajor, or Minor
named initiallanguage {} # its language
named title {} # its full title
named runningtitle {} # its running title
named aboveheadinggap { 0f } # gap above heading
named headingfont {} # its heading font
named headingbreak {} # its heading break
named headingformat # its heading format
left @Num right @Body {}
named incontents { No } # entry in table of contents required
named contentsindent { 0f } # only if type is Major
named word {}
named numbers { None }
named attachnum {} # only if numbers is not None
named retrievenum {} # only if numbers is not None
named bypassnumber {} # only if numbers is not None, or VeryMajor
named prefix {} # prefix of number of this symbol
named pnprefix {} # prefix for page numbers of this sym
named majornum { dft }
named majortitle { dft }
named minornum { dft }
named minortitle { dft }
named intheorems { No }
named indisplays { No }
named infigures { No }
named intables { No }
named inrunners { No }
named sendheader right @Body {}
named innergap {}
named endifmajor right innergap {
@EndFigureList
//innergap @EndNoteList 1
//innergap @ChapRefSection
}
named wantindefinite { No }
right @Body
{
def @ShortNum
{
numbers @Then {
bypassnumber @Dft {
prefix @Join { numbers @Num retrievenum }
}
}
}
def @LongNum
{
numbers @Then {
initiallanguage @Language { word @NumSep @ShortNum }
}
}
def @ShortTitle
{
initiallanguage @Language { runningtitle @Dft title }
}
def @Run right start
{
inrunners @Do type @Case {
{ Major MajorIntro } @Yield {
start @Runner
@MajorNum { majornum @Dft @LongNum }
@MajorTitle { majortitle @Dft @ShortTitle }
@MinorNum {}
@MinorTitle {}
@Owner { tag }
@Prefix { pnprefix @Join @ShortNum }
}
{ ExtraMajor ExtraMajorIntro } @Yield {
start @Runner
@MajorNum { majornum @Dft @LongNum }
@MajorTitle { majortitle @Dft @ShortTitle }
@MinorNum { majornum @Dft @LongNum }
@MinorTitle { majortitle @Dft @ShortTitle }
@Owner { tag }
@Prefix { pnprefix @Join @ShortNum }
}
{ VeryMajor } @Yield {
start @Runner
@MajorNum { majornum @Dft @LongNum }
@MajorTitle { majortitle @Dft @ShortTitle }
@MinorNum {}
@MinorTitle {}
@Owner { tag }
@Prefix {}
}
Minor @Yield {
start @Runner
@MajorNum { majornum @Dft @LongNum }
@MajorTitle { majortitle @Dft @ShortTitle }
@MinorNum { minornum @Dft @LongNum }
@MinorTitle { minortitle @Dft @ShortTitle }
@Owner { tag }
@Prefix { pnprefix @Join @ShortNum }
}
}
}
def @ContentsStuff
{
incontents.type @Case {
Yes.Minor @Yield {
incontents @ContentsEntry
indent { contentsindent }
number { @LongNum }
title { initiallanguage @Language title }
pagenum { @PageOf tag }
}
{ Yes.Major Yes.MajorIntro Yes.ExtraMajor Yes.ExtraMajorIntro } @Yield {
incontents @MajorContentsEntry
number { @LongNum }
title { initiallanguage @Language title }
pagenum { @PageOf tag }
}
{ Yes.VeryMajor } @Yield {
incontents @VeryMajorContentsEntry
title { initiallanguage @Language { bypassnumber: &2s title } }
}
else @Yield @Null
}
}
def @Heading
{
def @AttachPDFLink
left title
right x
{
@BackEnd @Case {
# VTan: Rats! Cannot use the tag for the name of the link
# because the source link has no access to the tag
#
# using title will work most of the time; it will fail
# with a "problem with left parameter of @Graphic" warning
# message if the title has objects other than text in it.
# Eg, "@Title { My @FancyTitle }" with
# "def @FancyTitle { @OneCol { @Bold "fancy" "title" }" }
#
# Example: the user manual has a definition for @Tex which
# causes this warning message to appear
PDF @Yield {
title @Case {
"" @Yield x
else @Yield {
"__link_target_for_export=<<"title">>"
@Graphic x
}
}
}
else @Yield x
}
}
type @Case {
Minor @Yield title @AttachPDFLink {
headingfont @Font
headingbreak @Break @Protect {@LongNum headingformat title}
// @PageMark tag
}
{ Major MajorIntro ExtraMajor ExtraMajorIntro } @Yield {
sendheader { title @AttachPDFLink {
//aboveheadinggap
headingfont @Font
headingbreak @Break { @LongNum headingformat title }
// @PageMark tag
} }
}
{ VeryMajor } @Yield { sendheader { title @AttachPDFLink {
//aboveheadinggap
headingfont @Font
headingbreak @Break { bypassnumber headingformat title }
// @PageMark tag
} }
}
}
}
def @IfMajor right x
{
type @Case {
{ MajorIntro Major ExtraMajor ExtraMajorIntro } @Yield x
else @Yield @Null
}
}
def @StartIfMajor {
type @Case {
{ MajorIntro Major ExtraMajor ExtraMajorIntro VeryMajor } @Yield Start
else @Yield NonStart
}
}
initiallanguage @Language {
@Heading
// wantindefinite @Case {
Yes @Yield @Null
No @Yield ""
}
// numbers @Do {
attachnum & @NumberMarker @Tag { tag } @Value { @ShortNum }
}
# // @PageMark tag
// @IfMajor { @FootNoteThrough @Do @BeginFootNoteCounter }
// @Run @StartIfMajor
// @ContentsStuff
// intheorems @BeginAllCounters @ShortNum
// indisplays @BeginDisplayCounter @ShortNum
// infigures @BeginFigureCounter @ShortNum
// intables @BeginTableCounter @ShortNum
// @Body
//innergap @IfMajor endifmajor innergap
// @Run NonStart
}
}
@End @DocumentSetup
