[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Minor Typo = Major Faux Pas!
- To: common-lisp@SU-AI.ARPA
- Subject: Minor Typo = Major Faux Pas!
- From: Dick Gabriel <RPG@SU-AI.ARPA>
- Date: Sat, 23 Nov 1985 20:28:00 -0000
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.