% (c) 2008 Martin Mares <mj@ucw.cz>
\input epsf.tex
+\input btxmac.tex
\catcode`@=11
\parindent=0.8cm
\parskip=3pt plus 1pt minus 1pt
+\smallskipamount=4pt plus 1.2pt minus 1.2pt
+\medskipamount=7pt plus 2.5pt minus 2pt
+\bigskipamount=15pt plus 5pt minus 4pt
+
+\abovedisplayskip=15pt plus 4pt minus 10pt
+\abovedisplayshortskip=0pt plus 3pt
+\belowdisplayskip=15pt plus 4pt minus 10pt
+\belowdisplayshortskip=8.5pt plus 3.5pt minus 4.5pt
+
%%% Miscellanea %%%
\def\em#1{{\it #1\/}}
\def\O{{\cal O}}
\def\<#1>{\leavevmode\hbox{\it #1\/}}
\let\>=\noindent
-\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\heartsuit$\par}}
-\let\endpart=\bye
+\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
% Footnotes
\newcount\footcnt
\font\twelverm=cmr12
\font\twelveit=cmti12
-\font\twelvesl=cmsl12
\font\twelvebf=cmbx12
-\font\twelveb=csb12
-\font\twelvesc=cscsc12
+
+%\font\twelverm=pplr8z at 12pt
+%\font\twelveit=pplri8z at 12pt
+%\font\twelvebf=pplb8z at 12pt
+
+\font\twelvesl=cmsl12
+\font\twelveb=cmb12
+\font\twelvesc=cmcsc12
\def\mathf@nt#1#2#3#4{%
\toks0=\expandafter{\csname#1#2\endcsname}%
\def\fntmathsssize{6}
\def\fntmathsstok{six}
-\mathf@nt{\fntmathtok}{r}{\fntmathsize}{cs}\textfont0=\m@@f
-\mathf@nt{\fntmathstok}{r}{\fntmathssize}{cs}\scriptfont0=\m@@f
-\mathf@nt{\fntmathsstok}{r}{\fntmathsssize}{cs}\scriptscriptfont0=\m@@f
+\mathf@nt{\fntmathtok}{r}{\fntmathsize}{cm}\textfont0=\m@@f
+\mathf@nt{\fntmathstok}{r}{\fntmathssize}{cm}\scriptfont0=\m@@f
+\mathf@nt{\fntmathsstok}{r}{\fntmathsssize}{cm}\scriptscriptfont0=\m@@f
\mathf@nt{\fntmathtok}{mi}{\fntmathsize}{cm}\skewchar\m@@f='177\textfont1=\m@@f
\mathf@nt{\fntmathstok}{mi}{\fntmathssize}{cm}\skewchar\m@@f='177\scriptfont1=\m@@f
\mathf@nt{\fntmathsstok}{mi}{\fntmathsssize}{cm}\skewchar\m@@f='177\scriptscriptfont1=\m@@f
\mathf@nt{\fntmathstok}{sy}{\fntmathssize}{cm}\skewchar\m@@f='60\scriptfont2=\m@@f
\mathf@nt{\fntmathsstok}{sy}{\fntmathsssize}{cm}\skewchar\m@@f='60\scriptscriptfont2=\m@@f
\mathf@nt{\fntmathtok}{ex}{\fntmathsize}{cm}\textfont3=\m@@f\scriptfont3=\m@@f\scriptscriptfont3=\m@@f
-\mathf@nt{\fntmathtok}{ti}{\fntmathsize}{cs}\textfont\itfam=\m@@f
-\mathf@nt{\fntmathtok}{sl}{\fntmathsize}{cs}\textfont\slfam=\m@@f
-\mathf@nt{\fntmathtok}{bx}{\fntmathsize}{cs}\textfont\bffam=\m@@f
-\mathf@nt{\fntmathtok}{tt}{\fntmathsize}{cs}\hyphenchar\m@@f=-1\textfont\ttfam=\m@@f
+\mathf@nt{\fntmathtok}{ti}{\fntmathsize}{cm}\textfont\itfam=\m@@f
+\mathf@nt{\fntmathtok}{sl}{\fntmathsize}{cm}\textfont\slfam=\m@@f
+\mathf@nt{\fntmathtok}{bx}{\fntmathsize}{cm}\textfont\bffam=\m@@f
+\mathf@nt{\fntmathtok}{tt}{\fntmathsize}{cm}\hyphenchar\m@@f=-1\textfont\ttfam=\m@@f
% Blackboard bold font
\newfam\bbfam
\def\it{\fam\itfam\twelveit}
\def\bo{\fam\bffam\twelveb}
\def\bf{\fam\bffam\twelvebf}
-\def\tt{\fam\ttfam\twelvett\hyphenchar\currentfont=-1\relax}
+\def\tt{\fam\ttfam\twelvett\hyphenchar\twelvett=-1\relax}
\def\sc{\twelvesc}
\def\sl{\fam\slfam\twelvesl}
%%% FIXME
\footline={\hss\twelverm\folio\hss}
-%%% Vycty s odrazkami i cislovane %%%
+%%% Enumerated lists %%%
\newif\ifitem\itemtrue
\newbox\itembox
\def\frenchsp@cing{\sfcode`\.\@m \sfcode`\?\@m \sfcode`\!\@m%
\sfcode`\:\@m \sfcode`\;\@m \sfcode`\,\@m}
-%%% Verbatim mod na jednotliva slova %%%
+%%% Local verbatim mode %%%
\def\make@ther#1{\catcode`#1=12\relax}
\def\setverb@tim{\tt\frenchsp@cing\catcode`\`=13\catcode`\'=13\n@ligs%
\def\ttst@rt{\begingroup\setverb@tim\let|=\endgroup}
\let|=\ttst@rt
-%%% Verbatim mod na delsi text uzavreny v { } %%%
+%%% Verbatim mode for text in { } %%%
\newskip\verbglue\newskip\verblineglue
\verbglue=3pt plus 1pt minus 0.3pt
\def\verbinput#1{\begingroup\v@rbparams\input #1\endgroup}
-%%% Sazba algoritmu %%%
+%%% Algorithms %%%
% \algo{jmeno algoritmu}
% \algin popis vstupu
\def\algin{\par{\it Vstup:\/} }
\def\algout{\par{\it Výstup:\/} }
-%%% Konstrukce pouzivane v algoritmech %%%
+%%% Constructs used in algorithms %%%
-% Priraditko
\def\={\leftarrow}
-
-% Komentar
\def\cmt#1{~~{\sl (#1)}}
-%%% Kapitoly %%%
+%%% Chapters, sections and proclamations %%%
\newcount\chapcount
\newcount\seccount
+\newcount\thmcount
\chapcount=0
\seccount=0
+\thmcount=0
\def\chapter#1{\vfill\eject
\advance\chapcount by 1
\seccount=0
+\thmcount=0
\leftline{\chapfont\the\chapcount. #1}
\bigskip
}
\def\section#1{\bigskip
\advance\seccount by 1
+\thmcount=0
\leftline{\secfont\the\chapcount.\the\seccount. #1}
\medskip
}
-%%% Odkazy na kapitoly a jine objekty %%%
+\def\proclaim#1{\advance\thmcount by 1
+\noindent {\bf #1 \the\chapcount.\the\seccount.\the\thmcount. }
+}
+
+\def\theorem{\proclaim{Theorem}}
+\def\lemma{\proclaim{Lemma}}
+\def\defn{\proclaim{Definition}}
+
+\def\proof{\noindent {\sl Proof.} }
+
+%%% References %%%
-% Poridime si soubor, do ktereho budeme zapisovat identifikatory
\newwrite\ids
\def\writeid#1#2{\immediate\write\ids{\string\def\expandafter\string\csname id#1\endcsname{#2}}}
\fi
}
-% Pojmenovavani objektu
-\def\chapid#1{\marginalie{#1}\writeid{ch#1}{\the\chapcount}}
-\def\secid#1{\marginalie{#1}\writeid{sec#1}{\the\chapcount.\the\seccount}}
+\def\chapid#1{\writeid{ch#1}{\the\chapcount}}
+\def\secid#1{\writeid{sec#1}{\the\chapcount.\the\seccount}}
+\def\thmid#1{\writeid{thm#1}{\the\chapcount.\the\seccount.\the\thmcount}}
-% Odkazovani na objekty
\def\chapref#1{\ref{ch#1}}
\def\secref#1{\ref{sec#1}}
+\def\thmref#1{\ref{thm#1}}
+
+%%% Bibliography %%%
+
+\bibliographystyle{abbrv}
+\def\dumpbib{
+ \def\bblhook{\parskip=2pt plus 1pt minus 0.5pt}
+ \bibliography{biblio}
+}
+
+%%% Stand-alone chapters %%%
+
+\def\endpart{
+ \section{Bibliography}
+ \dumpbib
+ \vfill\supereject\end
+}
%%% The End %%%