[om] [CfD] Small Standard Change (make CD, Symbol and Variable names QNames)

[David Carlisle]

This would allow most unicode characters as symbol (and Cd) names which 
is rather a big change and historically there has been some resistance
to allowing (say) the gamma symbol to have name a greek gamma rather
than the ascii string "gamma". Especially in the case of cd names
allowing full unicode strings makes simple mapping to filesystem names
(or uri's) slightly problematic.

It's not that this is necessarily a bad thing but 
> I have another standard change to propose.
I suspect this is a bigger change than you indicate.


Also I'm not sure that allowing Qnames by allowing ":" into symbolnames
is the right model, if you were wanting to map OM symbols into an XML
namespace world I'd have thought that something like
<x:symbname xmlns:x="some uri corresponding to cdname"/>
would be quite natural. However you would not be able to do this if teh
symbolname contained a : already.

David

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems