perm filename DOCHDR.TEX[1,3]2 blob sn#429736 filedate 1979-04-07 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
C00007 00003	\:@←cmathx \:a←cmr10          \:c←cmr8
C00010 00004	\def\tpage{F} \def\rhead{} \def\csec{} \def\chead{} % "global variables"
C00012 00005	\def\Tb{10} % one unit of indentation (in points)
C00018 00006	\def\TEX{\hbox{\:aT\lowercase{\hskip-2pt\lower1.94pt}
C00019 ENDMK
C⊗;
\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
\chcode'45←5 \chcode'43←6 \chcode'136←7 \chcode 1←8

\def\lft#1{#1\hfill}
\def\ctr#1{\hfill#1\hfill}
\def\rt#1{\hfill#1}
\def\top#1{#1\vfill}
\def\mid#1{\vfill#1\vfill}
\def\bot#1{\vfill#1}

\def\rjustline#1{\hbox to size{\hskip0pt plus1000cm minus1000cm #1}}
\def\ctrline#1{\hbox to size{\hskip0pt plus1000cm minus1000cm #1\hskip0pt
	plus1000cm minus1000cm}}

\def\trace{\chpar0←}
\def\jpar{\chpar1←}
\def\hpen{\chpar2←}
\def\ragged{\chpar8←}

\def\log{\mathop{\char'154\char'157\char'147}\limitswitch}
\def\lg{\mathop{\char'154\char'147}\limitswitch}
\def\ln{\mathop{\char'154\char'156}\limitswitch}
\def\lim{\mathop{\char'154\char'151\char'155}}
\def\limsup{\mathop{\char'154\char'151\char'155\,\char'163\char'165\char'160}}
\def\liminf{\mathop{\char'154\char'151\char'155\,\char'151\char'156\char'146}}
\def\sin{\mathop{\char'163\char'151\char'156}\limitswitch}
\def\cos{\mathop{\char'143\char'157\char'163}\limitswitch}
\def\tan{\mathop{\char'164\char'141\char'156}\limitswitch}
\def\cot{\mathop{\char'143\char'157\char'164}\limitswitch}
\def\sec{\mathop{\char'163\char'145\char'143}\limitswitch}
\def\csc{\mathop{\char'143\char'163\char'143}\limitswitch}
\def\max{\mathop{\char'155\char'141\char'170}}
\def\min{\mathop{\char'155\char'151\char'156}}
\def\sup{\mathop{\char'163\char'165\char'160}}
\def\inf{\mathop{\char'151\char'156\char'146}}
\def\det{\mathop{\char'144\char'145\char'164}}
\def\exp{\mathop{\char'145\char'170\char'160}\limitswitch}
\def\Pr{\mathop{\char'120\char'162}}
\def\gcd{\mathop{\char'147\char'143\char'144}}
\def\lcm{\mathop{\char'154\char'143\char'155}}

\def\ldots{{.\≥.\≥.}}
\def\cdots{{\char'401\≥\char'401\≥\char'401}}
\def\ldotss{{.\≥.\≥.\≥}}
\def\cdotss{\cdots\≥}
\def\ldotsm{{\≥.\≥.\≥.\≥}}
\def\vdots{\vbox{\baselineskip 4pt\vskip 6pt\hbox{.}\hbox{.}\hbox{.}}}

\def\leftset{\mathopen{\{\,}}
\def\rightset{\mathclose{\,\}}}

\def\neqv{\mathrel{\not≡}}

\def\%{\char'45 }	% Note, the space after 45 is needed!
\def\deg{↑{\hbox{\hskip-1pt\:w\char5}}}

\def\choose{\comb()}

\def\mod{\<\,\mathbin{\char'155\char'157\char'144}\penalty900\<\,}
\def\modulo#1{\penalty0\;(\char'155\char'157\char'144\char'165\char'154\char'157
	\,\,#1)}

\def\cpile#1{\vcenter{\halign{\hfill$## $\hfill\cr#1}}}
\def\lpile#1{\vcenter{\halign{$## $\hfill\cr#1}}}
\def\rpile#1{\vcenter{\halign{\hfill$## $\cr#1}}}
\def\eqalign#1{\vcenter{\halign{\hfill$\dispstyle{##}$⊗$\dispstyle{\null##}$\hfill
\cr#1}}}
\def\eqalignno#1{\vbox{\tabskip 0pt plus 1000pt minus 1000pt
   \halign to size{\hfill$\dispstyle{##}$\tabskip 0pt
   ⊗$\dispstyle{\null##}$\hfill\tabskip 0 pt plus 1000pt minus 1000pt
   ⊗\hfill$ ##$\tabskip 0pt\cr#1}}}
\def\null{\hbox{}}
\def\twoline#1#2#3{\halign{\hbox to size{##}\cr\quad$\dispstyle{#1}$\hfill\cr
\noalign{\penalty 1000\vskip#2}\hfill$\dispstyle{#3}$\quad\cr}}

\def\chop to#1pt#2{\hbox{\lower#1pt
\null\vbox{\hbox{\lower100pt\hbox{\raise100pt
\hbox{$\dispstyle{#2}$}}}\vskip-100pt}}} % pretends that #2 is #1pt deep
\def\spose#1{\hbox to 0pt{#1 \hskip 0pt minus 10000000pt}}
\:@←cmathx \:a←cmr10          \:c←cmr8
\:d←cmr7             \:f←cmr5 \:g←cmi10
                     \:j←cmi7 
\:l←cmi5   \:m←cmsc10 \:n←cms10
          \:q←cmb10          \:s←cmb8
\:t←cmtt   \:u←cmsy10
\:x←cmsy7            \:z←cmsy5
\:<←cmti9  \:=←cmtt8            \:?←cmti10

\hsize 29pc \vsize 45pc \maxdepth 2pt \parindent 20pt \topbaseline 10pt
\parskip 0pt plus 1 pt \lineskip 1pt
\topskip 24pt plus 6pt minus 10pt  \botskip 3pt plus 6pt
\baselineskip 12pt \dispskip 12pt plus 3pt minus 9pt
\dispaskip 0pt plus 3pt \dispbskip 7pt plus 3pt minus 4pt
\def\rm{\:a} \def\sl{\:n} \def\bf{\:q} \def\it{\:?}
\def\biglp{\mathopen{\vcenter{\hbox{\:@\char'0}}}}
\def\bigrp{\mathclose{\vcenter{\hbox{\:@\char'1}}}}
\def\9{\hskip 5pt}
\mathrm adf \mathit gjl \mathsy uxz \rm
\mathex @  \def\tt{\:t}
\def\bigglp{\mathopen{\vcenter{\hbox{\:@\char'22}}}}
\def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'23}}}}
\def\biggglp{\mathopen{\vcenter{\hbox{\:@\char'40}}}}
\def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'41}}}}

\def\qquad{\hskip 20pt}
\def\xskip{\hskip 7pt plus 3pt minus 4pt}
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2pt}
\def\yyskip{\penalty-100\vskip 6pt plus 6pt minus 4pt}

\def\textindent#1{\noindent\hbox to 20pt{\hskip 0pt plus 1000pt minus 1000pt#1\ 
}\!}
\def\tpage{F} \def\rhead{} \def\csec{} \def\chead{} % "global variables"
\def\titlepage{\gdef\tpage{T}}   % \titlepage sets tpage to T
\def\runninglefthead#1{\gdef\rhead{\:m#1}\!} %\runninglefthead sets rhead
\def\docmark#1#2{\mark
   {\ifeven0{\hbox to .45 in{\:a\count0\hfill}\rhead\hfill\:ux\:a#2}
   \else{\:ux\:a\csec\hfill\:m\uppercase{#1}\hbox to .45 in{\:a\hfill\count0}}}}
\output{\baselineskip 0pt\lineskip0pt	% beginning of output routine, resets skips
	\vbox to 48pc{         % prepare the full page of this fixed height
	\if T\tpage		% the next is used when tpage is "T" (title pages)
		{\gdef\tpage{F} % reset tpage
		\vskip 24pt	% blank space in place of headlines
		\page		% insert the page contents
		\vfill		 % extra space before the page number
		\ctrline{\:c\count0}} % "drop folio", the page number in 8pt type
	\else{\baselineskip 12pt \hbox{} % empty line to position next baseline
		\hbox to size{\ifeven0{\topmark}\else{\botmark}}
		\hbox{}	% empty line whose baseline is exactly 24pt from top
		\page\vfill}	% insert the page contents
	}			% completion of the \vbox
	\advcount0}		% increase page number by 1 and end output routine
\def\Tb{10} % one unit of indentation (in points)
\def\Tbb{20} % two units of indentation (in points)
\def\\#1{\hbox{\it\5#1.\/\hskip.5pt}} % italic type for identifiers
\def\5#1{\if.#1{\gdef\o{}}\else{\gdef\o{\5}\if_#1{\_}\else{#1}}\o} % _ → \_
\def\.#1{\hbox{\def\\{\char'134 }\:t#1}} % typewriter type for strings
\def\{\hbox{\bf#1}} % boldface type for word delimiters
\def\_{\hskip.06em\vbox{\hrule width .4em}} % underline symbol within
	% identifiers (it's not present in the italic font)
\def\0{\hskip 0pt plus 10000pt\penalty0\hskip\Tbb pt plus-10000pt
	\hbox{\hskip-\Tbb pt}} % optional beginning of new line (a tricky macro)
\def\1{\advcount7 by \Tb \hangindent \count7pt} % indent one more unit
\def\2{\par \hangindent \count7pt \noindent
	\hbox{\hskip\count7pt \hskip-\Tbb pt}} % compulsory beginning of new line
\def\3{\advcount7 by-\Tb} % indent one less unit
\def\4#1{\hskip 0pt plus 10000pt\penalty#10
	\hskip 0pt plus-10000pt} % optional break with specified penalty

\def\6{\hbox{$\langle\,$}}
\def\7{\hbox{$\,\rangle$}}
\def\note{\par\vskip4pt\:c\baselineskip9pt\noindent\hangindent\Tbb pt}
\def\pascal{\par\vskip3pt\baselineskip12pt
\ragged1000000\jpar1000\hpen1000\setcount7\Tbb\1}

\def\advsec{\advcount8 \xdef\nsec{\count8}
  \docmark{\chead}{\nsec} \xdef\csec{\nsec}}
\def\secskip{\vskip 12pt plus 1000000pt \penalty-100 \vskip 0pt plus -1000000pt}
\def\secbegin#1{\par \advsec \secskip
  \secc a#1T\head F#1} % this expands to \sech \head F #1 (if #1=\head) or \seca #1
\def\secc#1\head#2{\if T#2{\gdef\secs{\sech}}\else{\gdef\secs{\seca}}\secs}
\def\seca#1{\docmark{\chead}{\csec} \secb{}#1}
\def\sech\head F#1#2{\docmark{#2}{\csec}\gdef\chead{#2}\secb{\chead.}}
\def\secb#1{\noindent{\bf\csec. #1}\xskip
  \ragged0 \jpar2 \hpen50 \baselineskip12pt \rm \!}

\def\index{\par \advsec \vfill \eject
\docmark{Cross references}{\csec} \gdef\chead{Cross references}
\secb{Cross reference table.} The following index shows every section number in
which every identifier is used. Underlined numbers indicate the section where the
stated identifier was defined to be a constant or a macro that will be translated
by the {\:c PASCAL} preprocessor.\par
\def\1{T} \def\lr{L}
\output{\if T\1{\gdef\1{F}\vsize40pc \hsize 164pt \save1\page \gdef\2{T}}
\else{ % Not the initial cross-reference info
\if L\lr{\gdef\lr{R}\save0\page}
\else{ % Not the left-hand column of double columns
\gdef\lr{L}\save3\hbox to 29pc{\box0\hfill\page}
\if T\2{\gdef\2{F}\save3\vbox to 45pc{\box1\vskip0pt minus 100000000pt \box3}
\vsize 45pc}\else{}
\vbox to 48pc{         % prepare the full page of this fixed height
\baselineskip 12pt \hbox{} % empty line to position next baseline
	\hbox to 29pc{\ifeven0{\topmark}\else{\botmark}}
	\hbox{}	% empty line whose baseline is exactly 24pt from top
	\box3\vfill	% insert the page contents
}			% completion of the \vbox
\advcount0}}}		% increase page number by 1 and end output routine
\vfill\eject
\def\\##1:{\par\hangindent 10pt \noindent \hbox{\it\5##1.\/\hskip.5pt}:\xskip}
\baselineskip9pt \jpar1000 \ragged1000 \:c \def\bf{\:s}
\def\&##1{$\underline{##1}$}
\mathrm ccc\def\it{\:<}} % That's the end of the definition of \index

\def\endindex{\par\vfill\eject \if L\lr{}\else{\null\eject}}
\def\TEX{\hbox{\:aT\lowercase{\hskip-2pt\lower1.94pt}
	\hbox{E}\lowercase{\hskip-2pt} X}}
\def\goto{\&{goto}}