On Wed, Jul 26, 2000 at 12:02:15 -0800, 11digitboy@bolt.com 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
-- uwe@ptc.spbu.ru | Zu Grunde kommen http://www.ptc.spbu.ru/~uwe/ | Ist zu Grunde gehen
This archive was generated by hypermail 2.1.2 : Tue Jul 10 2001 - 17:21:06 EDT