[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Minor Typo = Major Faux Pas!
Date: 23 Nov 85 1628 PST
From: Dick Gabriel <RPG@SU-AI.ARPA>
Dan mentioned that an existential quantifier was mistyped at some
place where a 3 was meant. He meant to say the an existential
quantifier was mistyped *every* place a 3 was meant. I think the
spot to which he refers is a place where the TTY font for `3'
belongs, and that representation of `3' looks exactly like an
existential sign. This is because that is the best font Digital
Press could come up with.
Similarly, on page 49, third line, you will see a terminal cursor
between "(integer " and " 2 -1)", and again on the next line.
That threw me during proofreading!