13.8. Numeric Characters [sec_13-1-4-4]

The numeric characters are those UNICODE characters which are defined as digits by the UNICODE standard.


These notes document CLISP version 2.49Last modified: 2010-07-07