Open ice1000 opened 1 year ago
Do you know if there are Unicode-numbers for these symbols?
I believe that these symbols are drawn directly
@jingkaimori this issue should be solved by virtual font
I don't think so, manfmt package relies on Knuth's manual
font family, which should be added into encoding translator firstly.
Well, let us make fonts related improvements in the upcoming 1.2.x. I have planned to design font plugins like language plugins.
These are soooooooooooooooooo coooooooooooooool definitely deserve a place