Use normal style zeroes instead of using the sans font.

[matthijs/master-project/report.git] / Chapters / HardwareDescription.tex

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index d90a2e1b6d5e1d891b740225f4807c50d317845c..7b561995b10c34be5026ca59d44f70a05eb2e8a1 100644 (file)
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -342,7 +342,7 @@ and3 a b c = and (and a b) c
         Here, a type synonym \hs{RegisterIndex} is defined that is equal to
         the \hs{RangedWord} type constructor applied to the type \hs{D7}. In
         other words, this defines an unsigned word with values from
         Here, a type synonym \hs{RegisterIndex} is defined that is equal to
         the \hs{RangedWord} type constructor applied to the type \hs{D7}. In
         other words, this defines an unsigned word with values from

-        \lam{0} to \lam{7} (inclusive). This word can be be used to index the
+        {\definedfont[Serif*normalnum]0 to 7} (inclusive). This word can be be used to index the

         8 element vector \hs{RegisterState} above.
 
         This type is translated to the \type{unsigned} \small{VHDL} type.
         8 element vector \hs{RegisterState} above.
 
         This type is translated to the \type{unsigned} \small{VHDL} type.