On Sat, Mar 7, 2009 at 9:27 AM, David-Sarah Hopwood
<[email protected]> wrote:
> Unicode has a recommended syntax for identifiers that would exclude '+'.

We're using this now.

> Symbols and punctuation each correspond to a General Category.

Are they a single general category, or is there a category for each? I
know how to find out; I simply have not looked.

What category, for example, is the "forall" symbol in?


shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to