There probably are, but I haven't investigated it because I create my own fonts.
If you need something specific, I can probably create it as long as it doesn't require 40,000 different abbreviations. :-)
But it seems that there must be something out there with the most common ones.
If you need something specific, I can probably create it as long as it doesn't require 40,000 different abbreviations. :-)
But it seems that there must be something out there with the most common ones.
![[+]](https://www.voynich.ninja/images/collapse_collapsed.png)