Put one more 0 in another font.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 00:16:27 +0000 (01:16 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 00:16:27 +0000 (01:16 +0100)
Chapters/HardwareDescription.tex

index 9c148a5..d90a2e1 100644 (file)
@@ -341,9 +341,9 @@ 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 0 to 7
-        (inclusive). This word can be be used to index the 8 element vector
-        \hs{RegisterState} above.
+        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
+        8 element vector \hs{RegisterState} above.
 
         This type is translated to the \type{unsigned} \small{VHDL} type.
       \stopdesc