comp.lang.ada
 help / color / mirror / Atom feed
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Three simple questions
Date: 2000/10/16
Date: 2000-10-16T00:00:00+00:00	[thread overview]
Message-ID: <878zrov93g.fsf@deneb.enyo.de> (raw)
In-Reply-To: 39EA448C.28DF1A2C@bellsouth.net

The Ludwig Family <ludwigs@bellsouth.net> writes:

> For example, take the letter s:
>   as lower case, upright, not bolded, it means second (unit of time);
>   as upper case, upright, not bolded, it means siemens (unit of 
>      electrical conductance);

[...]

> Of course programming languages, indeed even Unicode, don't (and at 
> least for the foreseeable future won't and even can't) make such 
> distinctions, so we have to spell out our identifiers to make them 
> more meaningful within the constraints of character sets for 
> programming languages.

In fact, there's a proposal for an Unicode extension which will add
additional math alphabets (upright, italic, bold, script, Fraktur...).
Nevertheless, I think it's a good idea not to exploit these new
possibility when you're trying to write reliable software.  If $s$
becomes $S$ in a mathematical publication, most readers will hopefully
be able to interpret it correctly anyway, but machines can't do this
(unless there is some kind of type information which happens to be
contradicting).




  reply	other threads:[~2000-10-16  0:00 UTC|newest]

Thread overview: 101+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-10-09  0:00 Three simple questions Frank Christiny
2000-10-09  0:00 ` John McCabe
2000-10-09  0:00   ` Frank Christiny
2000-10-10  0:00     ` Larry Kilgallen
2000-10-10  0:00       ` Case for case-sensitivity (Was: Three simple questions) Frank Christiny
2000-10-10  0:00         ` mjsilva
2000-10-10  0:00           ` John Magness
2000-10-10  0:00         ` tmoran
2000-10-10  0:00         ` David C. Hoos, Sr.
2000-10-10  0:00         ` David Starner
2000-10-12  0:00           ` John English
2000-10-10  0:00         ` Ted Dennison
2000-10-11  0:00         ` dmitry6243
2000-10-11  0:00         ` John English
2000-10-11  0:00           ` Frank Christiny
2000-10-12  0:00             ` Larry Kilgallen
2000-10-14  0:00             ` nickerson
2000-10-15  1:48               ` Robert Dewar
2000-10-15  0:00                 ` Jean-Pierre Rosen
2000-10-11  4:39         ` Ken Garlington
2000-10-10  0:00     ` Three simple questions John English
2000-10-10  0:00       ` Dale Stanbrough
2000-10-10  0:00         ` John English
2000-10-10  0:00           ` Ted Dennison
2000-10-11  0:00             ` Tucker Taft
2000-10-11  0:00               ` Ted Dennison
2000-10-12  0:00                 ` Tucker Taft
2000-10-12  0:00                   ` The AI process (was: Three simple questions) Ted Dennison
2000-10-12  0:00                     ` Marc A. Criley
2000-10-12  0:00                       ` Tucker Taft
2000-10-16  0:00                   ` Three simple questions Robert A Duff
2000-10-10  0:00         ` Larry Kilgallen
2000-10-11  0:11       ` wv12
2000-10-10  0:00         ` Larry Kilgallen
2000-10-14  3:25           ` Robert Dewar
2000-10-15  0:00             ` The Ludwig Family
2000-10-16  0:00               ` Florian Weimer [this message]
2000-10-17  0:00                 ` David Starner
2000-10-18  0:00                   ` Florian Weimer
2000-10-19  0:00                     ` David Starner
2000-10-21  0:00                       ` Robert Dewar
2000-10-21  0:00                         ` David Starner
2000-10-23  0:00                           ` Robert A Duff
2000-10-28 11:00                             ` Robert Dewar
2000-10-28 10:56                           ` Robert Dewar
2000-10-28 10:57                           ` Robert Dewar
2000-10-21  0:00                     ` Robert Dewar
2000-10-21  0:00                       ` David Starner
2000-10-16  3:10               ` Robert Dewar
2000-10-17  0:00                 ` The Ludwig Family
2000-10-16  0:00             ` James Hassett
2000-10-16  0:00               ` Robert Dewar
2000-10-16  0:00               ` Robert Dewar
2000-10-16  0:00             ` Robert A Duff
2000-10-11  0:00         ` John English
2000-10-11  0:00           ` Pascal Obry
2000-10-11  0:00         ` mjsilva
2000-10-11  0:00         ` David Gillon
2000-10-11  2:12         ` DuckE
2000-10-10  0:47   ` Larry Elmore
2000-10-10  1:16     ` Ed Falis
2000-10-11  3:47       ` Jeff Carter
2000-10-13  0:00         ` Philippe Torres
2000-10-13  0:00   ` Stefan Skoglund
2000-10-10  0:00 ` Pascal Obry
2000-10-11  3:59   ` Jeff Carter
2000-10-14  0:00   ` Keith Thompson
2000-10-10  0:42 ` Ken Garlington
2000-10-11  0:00 ` Marin David Condic
2000-10-13  0:00   ` Keith Thompson
2000-10-13  0:00     ` Marin David Condic
2000-10-13  0:00       ` Wes Groleau
     [not found]         ` <39EAEEEA.4F58C47C@cepsz.unizar.es>
2000-10-16  0:00           ` David Starner
2000-10-16  0:00             ` Robert A Duff
2000-10-16  0:00               ` Larry Kilgallen
2000-10-16  0:00                 ` Florian Weimer
2000-10-17  0:43                 ` Robert Dewar
2000-10-17  0:00                   ` Larry Kilgallen
2000-10-17  0:00                     ` Florian Weimer
2000-11-03  7:24                   ` E. E. Cummings (was Re: Three simple questions) Robert I. Eachus
2000-10-17  0:00               ` Three simple questions Keith Thompson
2000-10-17  0:00             ` Wes Groleau
2000-10-14  0:37       ` Ken Garlington
2000-10-14  0:00   ` Richard Kenner
2000-10-14  0:00     ` Marin David Condic
2000-10-14  0:00     ` Laurent Guerby
2000-10-16  0:00       ` Robert A Duff
2000-10-16  0:00         ` Laurent Guerby
2000-10-17  0:00           ` Ronald Cole
2000-10-17  0:00         ` Wes Groleau
2000-10-11  0:00 ` Pat Rogers
2000-10-11  0:00 ` Larry Hazel
2000-10-11  0:00 ` Tucker Taft
2000-10-12  1:05   ` Bjarne Bäckström
2000-10-13  0:00     ` Anders Wirzenius
2000-10-13  0:00       ` Bjarne Bäckström
2000-10-16  0:00         ` Anders Wirzenius
2000-10-13  0:00       ` Wes Groleau
2000-10-14  3:28         ` Robert Dewar
2000-10-11  0:00 ` Simon Wright
2000-10-14  0:00   ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox