Isabelle Version 001.000 102 characters in total, assigned to the following Unicode blocks:
Unicode blocks Percent Total codes Total charaters
Basic Latin
67.97%

67.97%

128 87
Latin-1 Supplement
8.59%

8.59%

128 11
General Punctuation
2.68%

2.68%

112 3
Currency Symbols
2.08%

2.08%

48 1
Total:
24.52%

24.52%

416 102