|
[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] RE: XML Schema and international Booleans
> -----Original Message----- > From: Nik O [mailto:niko@c...] > Sent: Friday, November 12, 1999 12:42 PM > > Gregg Reynolds wrote: > > > >If we wanted to be really up-to-the-minute, we could follow > >the usage of logicians and use U+22A4 (DOWN TACK) > >and U+22A5 (DOWN TACK) as the canonical values [...] > > Why not use U+22A8 (TRUE) and U+22AD (NOT TRUE)? I don't know how > logicians/mathematicians use these, but presumably they are > used enough that > the Unicode org described them. > If they're accurately labeled, I'd say use 'em, but I somehow got the idea those are used in writing proofs to express logical entailment (or whatever the term is) or something like that, rather than truth. I.e., I suspect Unicode got the labels slightly wrong. But I must also stress that I'm not a logician, I only play one on the internet. I'm quite fond of non-sequiters, especially since my tennis shoes are in the wash. I guess my main objection to U+22A8 and U+22AD is they seem to define false in terms of true, which seems to denigrate falseness, and is clearly insensitive to liars. > There would be no confusion with the Roman letter "T", and > "pi(e)-on-the-side" is one of the seven true paths to > happiness, que no? > Doesn't somebody have an international symbol for beer we could use for 'true'? -gregg xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@i... Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ and on CD-ROM/ISBN 981-02-3594-1 To unsubscribe, mailto:majordomo@i... the following message; unsubscribe xml-dev To subscribe to the digests, mailto:majordomo@i... the following message; subscribe xml-dev-digest List coordinator, Henry Rzepa (mailto:rzepa@i...)
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|
|||||||||

Cart








