Use Iosevka font
yurrriq opened this issue · 1 comments
yurrriq commented
For example, <-> looks bad in Monoid and it doesn't render ∀, et al.
clayrat commented
I think https://be5invis.github.io/Iosevka/ has <->
yurrriq opened this issue · 1 comments
For example, <-> looks bad in Monoid and it doesn't render ∀, et al.
I think https://be5invis.github.io/Iosevka/ has <->