Jonathan S. Shapiro wrote: > 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.
I should have said that they each correspond to a "major class". > Are they a single general category, or is there a category for each? Symbol, math Symbol, currency Symbol, modifier Symbol, other Punctuation, connector Punctuation, dash Punctuation, open Punctuation, close Punctuation, initial quote Punctuation, final quote Punctuation, other Symbol and Punctuation are major classes. See section 4.5 of the Unicode standard. > I know how to find out; I simply have not looked. > > What category, for example, is the "forall" symbol in? Unsurprisingly: Symbol, Math. The category assignments are pretty intuitive, and have a strong stability policy between Unicode versions, so they're quite suitable for defining syntax. -- David-Sarah Hopwood ⚥ _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
