]> mj.ucw.cz Git - saga.git/blobdiff - macros.tex
Finish Kruskal.
[saga.git] / macros.tex
index 6085f87c1adb0ab5ee4c6b6fde7971b1d243a261..64de0b2578555e4c618f9e4240fa84952402f74b 100644 (file)
 \def\<#1>{\leavevmode\hbox{\it #1\/}}
 \let\>=\noindent
 \def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
-\def\FIXME#1{\>{\bo FIXME:} #1}
+\def\FIXME#1{\>{\bo TODO:} #1}
 \def\symdiff{\mathbin{\Delta}}
+\def\hphantas#1#2{\setbox0=\hbox{#2}\hbox to \wd0{#1\hss}}
+\def\o#1{\accent23 #1}
 
 % Footnotes
 \newcount\footcnt
 \parskip=1pt plus 1pt minus 0.3pt
 \rightskip=2em
 \itemcount=0
+\smallskip
 }
 \def\endalgo{\interlistskip\endgroup}
 \def\algopar{\par
 \leavevmode
 }
 \def\algoitem{
-\ifnum\itemcount=0\smallskip\fi
 \algopar\advance\itemcount by 1
 \hbox to 2em{\hss \the\itemcount. }%
 \futurelet\next\algoitemh}
 }
 
 \def\proclaim#1{\advance\thmcount by 1
-\noindent {\bo #1 \the\chapcount.\the\seccount.\the\thmcount.\enspace}}
+\noindent {\bo \the\chapcount.\the\seccount.\the\thmcount.\enspace #1.\enspace}}
 
-\def\theorem{\proclaim{Theorem}}
+\def\thm{\proclaim{Theorem}}
 \def\lemma{\proclaim{Lemma}}
 \def\defn{\proclaim{Definition}}
 \def\problem{\proclaim{Problem}}
 \def\obs{\proclaim{Observation}}
 \def\rem{\proclaim{Remark}}
 \def\alg{\proclaim{Algorithm}}
+\def\impl{\proclaim{Implementation}}
+\def\cor{\proclaim{Corollary}}
 
 \def\label#1{{\sl (#1)\/}\enspace}
 
-\def\theoremn{\theorem\label}
+\def\thmn{\thm\label}
 \def\lemman{\lemma\label}
 \def\defnn{\defn\label}
 \def\algn{\alg\label}