4 ms·
Doesn't work for the other 125 encoded characters that are numerically seven, as defined in the Unicode Character Database: https://www.unicode.org/Public/17.0
by Rendello 6mo ago
Doesn't work for the other 125 encoded characters that are numerically seven, as defined in the Unicode Character Database:
https://www.unicode.org/Public/17.0.0/ucd/extracted/DerivedNumericValues.txt#:~:text=DIGIT%20SEVEN https://www.unicode.org/Public/17.0.0/ucd/extracted/DerivedN...
(Viewable / copy-able version: https://pastebin.com/fNRv3wD6 https://pastebin.com/fNRv3wD6)
- chewbacha 6mo agoWell then, I won’t be a paying customer then.
- deleted 6mo ago[deleted]
- Rendello 6mo agoI should mention that unicode.org has a "Unicode Set" query tool so no one gets swindled by a similar service ;) https://util.unicode.org/UnicodeJsps/list-unicodeset.jsp?a=%5B%3ANumeric_Value%3D7%3A%5D&abb=on&ucd=on&g=&i=Script https://util.unicode.org/UnicodeJsps/list-unicodeset.jsp?a=%...