Re: Comments on Part 1: Asian characters

> From: Murata Makoto <murata@apsdc.ksp.fujixerox.co.jp>

> >We should either make them digits, or just take them out of namechar
> >altogether.  Comments?
> 
> Probably, they are digits.

Any type of number that is not a display symbol (e.g. a circled 1)  should also be a valid NAME character. 

I can use Western digits in my names. A  Martian  should be free to use Martian digits in their  names.


Rick Jelliffe

Received on Tuesday, 3 June 1997 04:41:51 UTC