on B113 it says ``nonalphabetic character, like `\/''', so 'character'
and 'alphabetic character' seem to differ.
Yes, they do. Whether Knuth will want to be perfectly consistent in this
regard is another question, but we'll see in due time. Hopefully.
--thanks, karl.