From 6c2bf33594095c214e5dd571a4a4905164fd6401 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 14 Jan 2008 19:57:19 +0100
Subject: [PATCH] Added proclamations.

---
 cover.tex  | 14 +++++++---
 macros.tex | 76 +++++++++++++++++++++++++++++++++++-------------------
 2 files changed, 60 insertions(+), 30 deletions(-)

diff --git a/cover.tex b/cover.tex
index d7f41e5..de2b9d7 100644
--- a/cover.tex
+++ b/cover.tex
@@ -2,6 +2,8 @@
 \input macros.tex
 \fi
 
+\chapter{The Beginning}
+
 {\narrower\font\sc=cmcsc10
 \noindent {\sc Abstract.} Preparation of alchemical potions is an ancient craft
 and its deep secrets are carefully guarded by the masters of alchemist guilds.
@@ -16,7 +18,7 @@ rarity of metasulphur.
 
 \bigskip
 
-{\bf\noindent Introduction\smallskip}
+\section{Introduction}
 
 We will demonstrate our approach on several examples of potions which are
 usually considered very volatile and dangerous to prepare~[1].
@@ -32,13 +34,17 @@ While this can be hard to handle for laymen and novice alchemists, we consider
 it of utmost necessity in order to avoid confusion which often leads to fatal
 consequences.
 
-In the following, we assume that the recipe is prepared on the northern
-hemisphere. Otherwise, you need to replace all clockwise stirs by
+In the following, we assume that the recipe is prepared on the \em{northern
+hemisphere.} Otherwise, you need to replace all clockwise stirs by
 counter-clockwise ones and vice versa, and also optionally use opposum instead of
 hares.
 
+\theorem It is well known that the following equation holds:
+\thmid{loop}
 $$
-\sum_i=1^\infty {1\over i^2} = {\pi^2\over 6}.
+\sum_{i\in\bb N}^\infty {1\over i^2} = {\pi^2\over 6}.
 $$
+\proof Follows from Theorem \thmref{loop}.
+\qed
 
 \endpart
diff --git a/macros.tex b/macros.tex
index de53a87..68bba1e 100644
--- a/macros.tex
+++ b/macros.tex
@@ -14,13 +14,22 @@
 \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}}
+\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
 \let\endpart=\bye
 
 % Footnotes
@@ -32,10 +41,15 @@
 
 \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}%
@@ -52,9 +66,9 @@
 \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
@@ -62,10 +76,10 @@
 \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
@@ -99,7 +113,7 @@
 %%% FIXME
 \footline={\hss\twelverm\folio\hss}
 
-%%% Vycty s odrazkami i cislovane %%%
+%%% Enumerated lists %%%
 
 \newif\ifitem\itemtrue
 \newbox\itembox
@@ -146,7 +160,7 @@
 \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%
@@ -165,7 +179,7 @@
 \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
@@ -205,7 +219,7 @@
 
 \def\verbinput#1{\begingroup\v@rbparams\input #1\endgroup}
 
-%%% Sazba algoritmu %%%
+%%% Algorithms %%%
 
 %	\algo{jmeno algoritmu}
 %	\algin popis vstupu
@@ -241,37 +255,47 @@
 \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}}}
 
@@ -291,13 +315,13 @@
 \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}}
 
 %%% The End %%%
 
-- 
2.39.5