- 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.