- 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
+ {\definedfont[Serif*normalnum]0 to 7} (inclusive). This word can be be used to index the
+ 8 element vector \hs{RegisterState} above.