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.49.93+Last modified: 2018-02-19