On Friday, 26 July 2013 at 17:58:21 UTC, Dmitry Olshansky wrote:
You are spot on. In case you want to further dig into Unicode characters and properties, there is this nice tool:http://unicode.org/cldr/utility/list-unicodeset.jsp?a=%5B%3AN%3A%5D&g= (e.g. this link shows all of 'N' = Number characters)
That is indeed a helpful link. Thanks.
