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.45Last modified: 2008-05-14