> 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 JelliffeReceived on Tuesday, 3 June 1997 04:41:51 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 24 September 2003 10:04:39 EDT