On Wed, Jul 26, 2000 at 12:02:15 -0800, [EMAIL PROTECTED] wrote:
> This reminds me of "Are DIGIT SEVEN and DIGIT SEVEN
> WITH STROKE distinct characters?" Yeah, our decimal
> number system has at least thirteen digits:
> DIGIT ONE
Add another ONE here: digit one with bottom stroke:
/|
_|_
This bottom stroke in ONE was mandatory, just like slashed zero, for
submitting punching jobs (you know, in those batch days when punched
cards were still in active use and you had an option to submit a
handwritten text of your program to be punched for you).
SY, Uwe
--
[EMAIL PROTECTED] | Zu Grunde kommen
http://www.ptc.spbu.ru/~uwe/ | Ist zu Grunde gehen
