]> mj.ucw.cz Git - saga.git/blobdiff - macros.tex
References to better bounds for enforced minors.
[saga.git] / macros.tex
index c6a617ef669a1c49b00a8372bb586a8df0fc4c87..e4011aec6bc786cd38e1cc176a364915748814a1 100644 (file)
@@ -67,6 +67,7 @@
 \def\E{{\bb E}}
 \def\crpt{\mathbin{\Uparrow}}
 \def\C{{\cal C}}
+\def\sgc{\mathbin{.}}
 
 \def\brk{\hfil\break}
 
 \def\example{\proclaim{Example}}
 
 \def\label#1{{\sl (#1)\/}\enspace}
-\def\labelx#1{\label{#1}\hfil\break\kern 0pt}  % Eat spaces
+\def\labelx#1{\label{#1}\hfil\break\eatspaces}
+\def\eatspaces{\kern0pt}
 
 \def\thmn{\thm\labelx}
 \def\lemman{\lemma\labelx}
 \def\problemn{\problem\labelx}
 \def\remn{\rem\labelx}
 
-\def\paran#1{\para {\sl #1.\/}\enspace\kern 0pt}
+\def\paran#1{\para {\sl #1.\/}\enspace\eatspaces}
 
 \def\proof{\noindent {\sl Proof.}\enspace}
 \def\proofsketch{\noindent {\sl Proof sketch.}\enspace}