macros.tex

   1 % TeX macros for typesetting my PhD thesis
   2 % (c) 2008 Martin Mares <mj@ucw.cz>
   3
   4 \input epsf.tex
   5 \input btxmac.tex
   6 \input amssym.tex
   7
   8 \catcode`@=11
   9
  10 %%% Basic parameters %%%
  11
  12 % A4 with 1in margins, leaving 20pt for page numbering at the bottom
  13 \hsize=159mm
  14 \vsize=246mm
  15 \advance\vsize by -20pt
  16 \parindent=0.8cm
  17 \parskip=3pt plus 1pt minus 1pt
  18
  19 \smallskipamount=4pt plus 1.2pt minus 1.2pt
  20 \medskipamount=7pt plus 2.5pt minus 2pt
  21 \bigskipamount=15pt plus 5pt minus 4pt
  22
  23 \abovedisplayskip=15pt plus 4pt minus 10pt
  24 \abovedisplayshortskip=0pt plus 3pt
  25 \belowdisplayskip=15pt plus 4pt minus 10pt
  26 \belowdisplayshortskip=8.5pt plus 3.5pt minus 4.5pt
  27
  28 %%% Miscellanea %%%
  29
  30 \def\em#1{{\it #1\/}}
  31 \def\df#1{{\it #1\/}}   % when we define something
  32 \def\O{{\cal O}}
  33 \def\<#1>{\ifmmode
  34     \mathchoice{\hbox{\it #1\/}}{\hbox{\it #1\/}}{\hbox{\eightti #1\/}}{\hbox{\sixti #1\/}}%
  35   \else\leavevmode\hbox{\it #1\/}\fi}
  36 \let\>=\noindent
  37 \def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
  38 \def\qeditem{{\parfillskip=0pt\hfill\rlap{\hskip\rightskip\llap{$\spadesuit$}}\par}}
  39 \def\qedmath{\eqno{\spadesuit}}
  40 \def\FIXME#1{\>{\bo TODO:} #1}
  41 \def\symdiff{\mathbin{\Delta}}
  42 \def\rack#1#2{\setbox0=\hbox{#1}\hbox to \wd0{#2}}
  43 \def\o#1{\accent23 #1}
  44 \def\mst{\mathop{\rm mst}}
  45 \def\msf{\mathop{\rm msf}}
  46 \def\deg{\mathop{\rm deg}}
  47 \def\timesalpha{\mskip2mu\alpha}
  48 \def\timesbeta{\mskip2mu\beta}
  49 \def\tower{\mathbin\uparrow}
  50 \def\Forb{{\rm Forb}}
  51 \def\minorof{\preccurlyeq}
  52 \def\per{\mathop{\rm per}}
  53 \def\poly{\mathop{\rm poly}}
  54 \def\E{{\bb E}}
  55 \def\crpt{\mathbin{\Uparrow}}
  56 \def\C{{\cal C}}
  57
  58 \def\brk{\hfil\break}
  59
  60 % Bit strings
  61 \def\0{{\bf 0}}
  62 \def\1{{\bf 1}}
  63 \def\(#1){\mathord{\left<#1\right>}}
  64
  65 % Bitwise operations
  66 \def\shl{\mathbin{<\!<}}
  67 \def\shr{\mathbin{>\!>}}
  68 \def\bop#1{\mathbin{\hbox{\sc #1}}}
  69 \def\band{\bop{and}}
  70 \def\bor{\bop{or}}
  71 \def\bxor{\bop{xor}}
  72 \def\bnot{\mathop{\hbox{\sc not}}}
  73
  74 % A reversed version of \ddots with extra space at the top to get good alignment of exponents.
  75 \def\rddots{\mathinner{\mkern1mu\raise\p@\vbox{\kern7\p@\hbox{.}}\mkern2mu
  76     \raise4\p@\hbox{.}\mkern2mu\raise7\p@\hbox{.}\raise11\p@\hbox{}\mkern1mu}}
  77
  78 % Footnotes
  79 \newcount\footcnt
  80 \footcnt=0
  81 \def\foot#1{\global\advance\footcnt by 1{\parindent=0.25in\parskip=0pt\footnote{$^{\bf\the\footcnt}$}{#1}}}
  82
  83 %%% Fonts %%%
  84
  85 \font\twelverm=cmr12
  86 \font\twelveit=cmti12
  87 \font\twelvebf=cmbx12
  88
  89 %\font\twelverm=pplr8z at 12pt
  90 %\font\twelveit=pplri8z at 12pt
  91 %\font\twelvebf=pplb8z at 12pt
  92
  93 \font\twelvesl=cmsl12
  94 \font\twelveb=cmb12
  95 \font\twelvesc=cmcsc12
  96
  97 \def\mathf@nt#1#2#3#4{%
  98 \toks0=\expandafter{\csname#1#2\endcsname}%
  99 \expandafter\ifx\the\toks0\relax%
 100 %\immediate\write-1{bb \the\toks0=#4#2#3}%
 101 \global\expandafter\font\the\toks0=#4#2#3%
 102 \fi%
 103 \edef\m@@f{\the\toks0}}
 104
 105 \def\fntmathsize{12}
 106 \def\fntmathtok{twelve}
 107 \def\fntmathssize{8}
 108 \def\fntmathstok{eight}
 109 \def\fntmathsssize{6}
 110 \def\fntmathsstok{six}
 111
 112 \mathf@nt{\fntmathtok}{r}{\fntmathsize}{cm}\textfont0=\m@@f
 113 \mathf@nt{\fntmathstok}{r}{\fntmathssize}{cm}\scriptfont0=\m@@f
 114 \mathf@nt{\fntmathsstok}{r}{\fntmathsssize}{cm}\scriptscriptfont0=\m@@f
 115 \mathf@nt{\fntmathtok}{mi}{\fntmathsize}{cm}\skewchar\m@@f='177\textfont1=\m@@f
 116 \mathf@nt{\fntmathstok}{mi}{\fntmathssize}{cm}\skewchar\m@@f='177\scriptfont1=\m@@f
 117 \mathf@nt{\fntmathsstok}{mi}{\fntmathsssize}{cm}\skewchar\m@@f='177\scriptscriptfont1=\m@@f
 118 \mathf@nt{\fntmathtok}{sy}{\fntmathsize}{cm}\skewchar\m@@f='60\textfont2=\m@@f
 119 \mathf@nt{\fntmathstok}{sy}{\fntmathssize}{cm}\skewchar\m@@f='60\scriptfont2=\m@@f
 120 \mathf@nt{\fntmathsstok}{sy}{\fntmathsssize}{cm}\skewchar\m@@f='60\scriptscriptfont2=\m@@f
 121 \mathf@nt{\fntmathtok}{ex}{\fntmathsize}{cm}\textfont3=\m@@f\scriptfont3=\m@@f\scriptscriptfont3=\m@@f
 122 \mathf@nt{\fntmathtok}{ti}{\fntmathsize}{cm}\textfont\itfam=\m@@f
 123 \mathf@nt{\fntmathstok}{ti}{\fntmathssize}{cm}\scriptfont\itfam=\m@@f
 124 \mathf@nt{\fntmathsstok}{ti}{\fntmathssize}{cm}\scriptscriptfont\itfam=\m@@f
 125 \mathf@nt{\fntmathtok}{sl}{\fntmathsize}{cm}\textfont\slfam=\m@@f
 126 \mathf@nt{\fntmathtok}{bx}{\fntmathsize}{cm}\textfont\bffam=\m@@f
 127 \mathf@nt{\fntmathtok}{tt}{\fntmathsize}{cm}\hyphenchar\m@@f=-1\textfont\ttfam=\m@@f
 128 \mathf@nt{\fntmathtok}{msam}{\fntmathsize}{}\textfont\msafam=\m@@f
 129 \mathf@nt{\fntmathstok}{msam}{\fntmathssize}{}\scriptfont\msafam=\m@@f
 130 \mathf@nt{\fntmathsstok}{msam}{\fntmathsssize}{}\scriptscriptfont\msafam=\m@@f
 131 \mathf@nt{\fntmathtok}{msbm}{\fntmathsize}{}\textfont\msbfam=\m@@f
 132 \mathf@nt{\fntmathstok}{msbm}{\fntmathssize}{}\scriptfont\msbfam=\m@@f
 133 \mathf@nt{\fntmathsstok}{msbm}{\fntmathsssize}{}\scriptscriptfont\msbfam=\m@@f
 134
 135 % Blackboard bold font
 136 \newfam\bbfam
 137 \font\bbtwelve=bbm12
 138 \font\bbeight=bbm8
 139 \font\bbsix=bbm6
 140 \textfont\bbfam=\bbtwelve
 141 \scriptfont\bbfam=\bbeight
 142 \scriptscriptfont\bbfam=\bbsix
 143 \def\bb{\bbtwelve\fam\bbfam}
 144
 145 % Font switches
 146 \def\rm{\fam\z@\twelverm}
 147 \def\it{\fam\itfam\twelveit}
 148 \def\bo{\fam\bffam\twelveb}
 149 \def\bf{\fam\bffam\twelvebf}
 150 \def\tt{\fam\ttfam\twelvett\hyphenchar\twelvett=-1\relax}
 151 \def\sc{\twelvesc}
 152 \def\sl{\fam\slfam\twelvesl}
 153
 154 % Switch to 12pt baselines
 155 \rm
 156 \baselineskip=14.4pt
 157 \lineskip=1.2pt
 158 \setbox\strutbox=\hbox{\vrule height 10.2pt depth 4.2pt width 0pt}
 159
 160 % Other fonts
 161 \font\chapfont=csssdc17 scaled \magstep1
 162 \font\secfont=csb14
 163 \font\secitfont=csbxti14
 164
 165 %%% FIXME
 166 \footline={\hss\twelverm\folio\hss}
 167
 168 % We have to redefine \big and friends as we are using 12pt symbols
 169 \def\big#1{{\hbox{$\left#1\vbox to11.5\p@{}\right.\n@space$}}}
 170 \def\Big#1{{\hbox{$\left#1\vbox to14.5\p@{}\right.\n@space$}}}
 171 \def\bigg#1{{\hbox{$\left#1\vbox to17.5\p@{}\right.\n@space$}}}
 172 \def\Bigg#1{{\hbox{$\left#1\vbox to20.5\p@{}\right.\n@space$}}}
 173
 174 %%% Enumerated lists %%%
 175
 176 \newif\ifitem\itemtrue
 177 \newbox\itembox
 178 \newcount\itemcount
 179
 180 \def\interlistskip{\vskip 3pt plus 2pt minus 1pt}
 181
 182 \def\itemspacingrules{\ifitem\advance\leftskip by \parindent\parindent=0pt\itemfalse\else
 183 \advance\leftskip by 2.5em\fi\rightskip=\leftskip}
 184
 185 \def\inititemize{\interlistskip\begingroup
 186 \parskip=1pt plus 0.3pt minus 0.1pt
 187 \itemspacingrules}
 188
 189 \def\itemize#1{\inititemize\setbox\itembox\llap{#1\hskip 0.4em}%
 190 \let\:=\singleitem}
 191
 192 \def\singleitem{\par\leavevmode\copy\itembox}
 193
 194 \def\endlist{\interlistskip\endgroup}
 195
 196 \def\ibull{\raise0.2ex\hbox{$\bullet$}} % Signs frequently used for \itemize
 197 \def\icirc{\raise0.2ex\hbox{$\circ$}} % Signs frequently used for \itemize
 198 \def\idot{\raise0.2ex\hbox{$\cdot$}}
 199 \def\istar{\raise0.2ex\hbox{$\ast$}}
 200
 201 \def\numlist#1{\inititemize\itemcount=0\let\:=\numbereditem
 202 \let\itemnumbering=#1}
 203
 204 \def\numbereditem{\par\leavevmode\advance\itemcount by 1
 205 \llap{\itemnumbering\hskip 0.4em}}
 206
 207 \def\nnorm{\the\itemcount}
 208 \def\ndotted{\nnorm.}
 209 \def\nparen{\nnorm)}
 210 \def\nroman{\romannumeral\itemcount}
 211 \def\nromanp{\nroman)}
 212 \def\nalpha{\count@=96\advance\count@ by\itemcount\char\count@)}
 213 \def\nAlpha{\count@=64\advance\count@ by\itemcount\char\count@)}
 214 \def\ngreek{$\ifcase\itemcount\or\alpha\or\beta\or\gamma\or\delta\or\epsilon\or
 215 \zeta\or\eta\or\theta\or\iota\or\kappa\or\lambda\or\mu\or\nu\or\xi\or\pi\or\rho
 216 \or\sigma\or\tau\or\upsilon\or\phi\or\chi\or\psi\or\omega\fi$)}
 217
 218 % New \frenchspacing, which doesn't leave unwanted spaces in text.
 219 \def\frenchsp@cing{\sfcode`\.\@m \sfcode`\?\@m \sfcode`\!\@m%
 220 \sfcode`\:\@m \sfcode`\;\@m \sfcode`\,\@m}
 221
 222 %%% Local verbatim mode %%%
 223
 224 \def\make@ther#1{\catcode`#1=12\relax}
 225 \def\setverb@tim{\tt\frenchsp@cing\catcode`\`=13\catcode`\'=13\n@ligs%
 226 \let\do=\make@ther\dospecials\obeyspaces}
 227
 228 {\catcode`'=13
 229 \catcode``=13
 230 \gdef\n@ligs{\def`{\relax\lq}\def'{\relax\rq}}}
 231
 232 {\obeyspaces
 233 \global\chardef\sp@ce=32
 234 \gdef\showspaces{\let =\sp@ce}
 235 \global\let =\ }
 236
 237 \catcode124=\active % Make | active
 238 \def\ttst@rt{\begingroup\setverb@tim\let|=\endgroup}
 239 \let|=\ttst@rt
 240
 241 %%% Verbatim mode for text in { } %%%
 242
 243 \newskip\verbglue\newskip\verblineglue
 244 \verbglue=3pt plus 1pt minus 0.3pt
 245 \verblineglue=0pt plus 1.5pt
 246 \def\verblocaldefs{}
 247
 248 \newdimen\tabwidth
 249 \newcount\tabsize
 250 \tabsize=8
 251 \newdimen\t@b
 252
 253 \newcount\vercnt
 254 \def\v@rbend{\par\endgroup\vskip\verbglue}
 255 \def\v@rbl{\ifnum\vercnt>0\{\fi\global\advance\vercnt by 1\relax}
 256 \def\v@rbr{\ifnum\vercnt>1\}\else\v@rbend\fi\global\advance\vercnt by -1\relax}
 257 \def\v@rbparams{\setverb@tim\parskip=\verblineglue\parindent=0pt\raggedbottom%
 258 \rightskip\z@ plus1fil\pretolerance=10000\tolerance=10000\vercnt=0%
 259 \catcode124=12\setupt@bs\vskip\verbglue\defb@x\obeylines}
 260
 261 \def\startb@x{\setbox0=\hbox\bgroup}
 262 \def\defb@x{\def\par{\leavevmode\egroup\box0\endgraf}%
 263 \everypar{\startb@x}}
 264
 265 {\catcode`\^^I=\active
 266 \gdef\setupt@bs{\catcode`\^^I=\active
 267 \setbox0=\hbox{\tt\ }\tabwidth=\wd0\multiply\tabwidth by \tabsize
 268 \def^^I{\leavevmode\egroup\t@b=\wd0\divide\t@b by \tabwidth%
 269 \multiply\t@b by \tabwidth%
 270 \advance\t@b by \tabwidth\advance\t@b by -\wd0\box0\hbox to \t@b{}\startb@x}
 271 }}
 272
 273 {
 274 \catcode`[=1\catcode`]=2\catcode123=\active\catcode125=\active
 275 \gdef\verbatim[\begingroup\v@rbparams\catcode123=\active\catcode125=\active%
 276 \let{=\v@rbl\let}=\v@rbr\chardef\{=123\chardef\}=125\verblocaldefs
 277 ]]
 278
 279 \def\verbinput#1{\begingroup\v@rbparams\input #1\endgroup}
 280
 281 %%% Algorithms %%%
 282
 283 %       \algo{jmeno algoritmu}
 284 %       \algin popis vstupu
 285 %       \:krok
 286 %       \:krok
 287 %       \::vnoreny krok
 288 %       \algout popis vystupu
 289 %       \endalgo
 290
 291 \def\algo{
 292 \interlistskip
 293 \begingroup
 294 \let\:=\algoitem
 295 \parskip=1pt plus 1pt minus 0.3pt
 296 \rightskip=2em
 297 \itemcount=0
 298 \smallskip
 299 }
 300 \def\endalgo{\interlistskip\endgroup}
 301 \def\algopar{\par
 302 \parindent=2em
 303 \hangindent=4em
 304 \hangafter=1
 305 \leavevmode
 306 }
 307 \def\algoitem{
 308 \algopar\advance\itemcount by 1
 309 \hbox to 2em{\hss \the\itemcount. }%
 310 \futurelet\next\algoitemh}
 311 \def\algoitemh{\ifx\next:\let\next=\algohang\else\let\next=\relax\fi\next}
 312 \def\algohang:{\advance\hangindent by 2em \hskip 2em\futurelet\next\algoitemh}
 313 \def\algin{\par{\sl Input:\/} }
 314 \def\algout{\par{\sl Output:\/} }
 315
 316 %%% Constructs used in algorithms %%%
 317
 318 \def\={\leftarrow}
 319 \def\cmt#1{~~{\sl (#1)}}
 320
 321 %%% Chapters, sections and proclamations %%%
 322
 323 \newcount\chapcount
 324 \newcount\seccount
 325 \newcount\thmcount
 326 \chapcount=-1
 327 \seccount=0
 328 \thmcount=0
 329 \def\currentid{??}
 330
 331 \def\rawchapter#1{\vfill\supereject
 332 \leftline{\chapfont #1}
 333 \bigskip
 334 }
 335
 336 \def\chapter#1{\advance\chapcount by 1
 337 \seccount=0
 338 \thmcount=0
 339 \footcnt=0
 340 \edef\currentid{\the\chapcount}
 341 \rawchapter{\currentid. #1}
 342 \writetoc{chap}{#1}
 343 }
 344
 345 \def\section#1{\bigskip
 346 \advance\seccount by 1
 347 \thmcount=0
 348 \edef\currentid{\the\chapcount.\the\seccount}
 349 \leftline{\secfont\currentid. #1}
 350 \nobreak
 351 \medskip
 352 \nobreak
 353 \writetoc{sec}{#1}
 354 }
 355
 356 \def\para{\advance\thmcount by 1
 357 \edef\currentid{\the\chapcount.\the\seccount.\the\thmcount}
 358 \noindent {\bo \currentid.\enspace}}
 359
 360 \def\proclaim#1{\para {\bo #1.\enspace}}
 361
 362 \def\thm{\proclaim{Theorem}}
 363 \def\lemma{\proclaim{Lemma}}
 364 \def\defn{\proclaim{Definition}}
 365 \def\problem{\proclaim{Problem}}
 366 \def\obs{\proclaim{Observation}}
 367 \def\rem{\proclaim{Remark}}
 368 \def\alg{\proclaim{Algorithm}}
 369 \def\impl{\proclaim{Implementation}}
 370 \def\cor{\proclaim{Corollary}}
 371 \def\nota{\proclaim{Notation}}
 372 \def\example{\proclaim{Example}}
 373
 374 \def\label#1{{\sl (#1)\/}\enspace}
 375 \def\labelx#1{\label{#1}\hfil\break\kern 0pt}   % Eat spaces
 376
 377 \def\thmn{\thm\labelx}
 378 \def\lemman{\lemma\labelx}
 379 \def\defnn{\defn\labelx}
 380 \def\corn{\cor\labelx}
 381 \def\algn{\alg\label}
 382 \def\notan{\nota\labelx}
 383 \def\examplen{\example\labelx}
 384 \def\problemn{\problem\labelx}
 385 \def\remn{\rem\labelx}
 386
 387 \def\paran#1{\para {\sl #1.\/}\enspace}
 388
 389 \def\proof{\noindent {\sl Proof.}\enspace}
 390 \def\proofsketch{\noindent {\sl Proof sketch.}\enspace}
 391
 392 %%% Table of contents %%%
 393
 394 \newwrite\toc
 395 \immediate\openout\toc=\jobname.toc
 396 \newif\iftoc
 397 \tocfalse
 398
 399 \def\writetoc#1#2{
 400   \toctrue
 401   \toks0={\the\count0}
 402   \edef\tocaux{\write\toc{\noexpand\expandafter\noexpand\string\noexpand\csname toc#1\noexpand\endcsname{\currentid}{#2}{\the\toks0}}}
 403   \tocaux
 404   \tocfalse
 405 }
 406
 407 \def\includetoc{
 408 \immediate\closeout\toc
 409 \input \jobname.toc
 410 }
 411
 412 \def\tocchap#1#2#3{\smallskip\line{\bo #1.~~#2 \dotfill ~#3}}
 413 \def\tocsec#1#2#3{\line{#1.~~#2 \dotfill ~#3}}
 414
 415 %%% References %%%
 416
 417 \newwrite\ids
 418 \def\writeid#1#2{\immediate\write\ids{\string\def\expandafter\string\csname id#1\endcsname{#2}}}
 419
 420 \immediate\openin\ids=\jobname.ids
 421 \ifeof\ids
 422 \else
 423 \input \jobname.ids
 424 \fi
 425 \immediate\closein\ids
 426 \immediate\openout\ids=\jobname.ids
 427
 428 \def\ref#1{\expandafter\ifx\csname id#1\endcsname\relax
 429 {\bo ??}%
 430 \immediate\write16{*** Warning: Reference #1 undefined ***}%
 431 \else
 432 \csname id#1\endcsname
 433 \fi
 434 }
 435
 436 \def\id#1{\writeid{#1}{\currentid}}
 437
 438 %%% Bibliography %%%
 439
 440 %\bibliographystyle{abbrv}
 441 \bibliographystyle{alpha}
 442 \def\dumpbib{
 443   \def\bblhook{\parskip=2pt plus 1pt minus 0.5pt}
 444   \bibliography{biblio}
 445 }
 446
 447 %%% Figures %%%
 448
 449 \def\float#1#2{\midinsert
 450 \medskip
 451 \centerline{#1}
 452 \medskip
 453 \smallskip
 454 \centerline{#2}
 455 \endinsert}
 456
 457 \def\figure#1#2#3{\float{\epsfxsize=#2\epsfbox{pic/#1}}{#3}}
 458
 459 \def\multicap#1{
 460 \let\\=\break
 461 \vbox{\hsize=0.7\hsize
 462 \parindent=0pt
 463 \leftskip=0pt plus 0.3\hsize
 464 \rightskip=\leftskip
 465 \parfillskip=0pt
 466 #1
 467 }}
 468
 469 %%% Stand-alone chapters %%%
 470
 471 \def\endpart{
 472   \section{Bibliography}
 473   \dumpbib
 474   \vfill\supereject\end
 475 }
 476
 477 %%% Hyphenation %%%
 478
 479 \hyphenation{Ra-ma-chan-dran}
 480
 481 %%% The End %%%
 482
 483 \catcode`@=12