Nikita Prokopov

Results 815 comments of Nikita Prokopov

Yeah, the problem is that rightward arrow and box-drawing were never meant to be used together. I don’t think it makes sense to adjust arrow, as it’s fine-tuned to work...

What character does Pragmata Mono uses in this diagram for arrow?

I don’t think any other glyph is selected. Please check again

Thanks, I’ll see if anything can be done. Unfortunately it’s impossible to make fonts pixel-perfect

Thanks, will do!

Not sure what you mean

I see. Block line is its own set of special characters from private use area of Unicode. I don’t think there’s a good way to turn `[### ]` to the...

Works for me