Hello, may I suggest a small improvement to A309 line 1? "(unless they begin with '<*>', when they represent text entered from the terminal)." TeX shows <*> whenever the text comes from the keyboard, usually inserted during error recovery, but not necessarily. Greetings, -- Wolfgang Helbig