Revert "Made sans-serif fonts bold instead, as we were getting the wr…

…ong kind of fonts" This reverts commit 73a28a5.
teg · Aug 4, 2010 · e37b9c4 · e37b9c4
1 parent 04f5d8b
commit e37b9c4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/sks.tex b/sks.tex
@@ -6,9 +6,6 @@ \section{System SKS}
 
 The results presented in this section, with the exception of Theorem~\vref{theorem:SKSComplete}, are standard results which can be found in the literature. We include the proofs for completeness and as means for giving examples of the functorial calculus.
 
-% This should not be needed, but added in desperation.
-\renewcommand{\mathsf}{\mathbf}
-
 \newcommand{\ai   }{{\mathsf{ai}}}
 \newcommand{\aw   }{{\mathsf{aw}}}
 \newcommand{\ac   }{{\mathsf{ac}}}