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.60+Last modified: 2017-11-21