Re: pfps-04

On Thu, 2003-07-24 at 16:31, Peter F. Patel-Schneider wrote:

[...]

> 
> So the question boils down to whether octets and Unicode characters are
> disjoint. 

I believe they are.  From 

  http://www.unicode.org/book/uc20ch1.html

[[
The character identified by a Unicode code value is an abstract entity,
such as "LATIN CAPITAL LETTER A" or "BENGALI DIGIT 5".
]]

i.e. characters are distinct from their encodings.

Martin, Jeremy: confirm?

Brian