[font characters] Request: better times symbol?

super minor

The times symbol in OsakaMono-Kinopio is rather large:

image
image

It isn’t consistent with the other operators. ¯\_(ツ)_/¯

@pirijan In case you’re making any modifications to OsakaMono-Kinopio, bumping this if it’s an easy fix :wink:

1 Like

I need to add a couple extra characters , namely a couple accent chars commonly used in french, spanish. When I do that I’ll add it to the list, it’s a whole context switch to remember how fonts work :slight_smile:

1 Like

now that you have me scrutinizing the font, I noticed that spaces are not consistent:

image

Those lines should be the same length, right? unless it’s intentional? Here is the system monospace font:

image

1 Like

the font I’m using is derived from a japanese font (osaka-mono) so I’m guessing that’s the reason. I chose the font for it’s creative feel/malleability more than strict monospace-ness so I’m okay with that

1 Like

added this to the roadmap

1 Like

appending this request from mathias Screenshot 2021-04-12 at 17.56.34

1 Like