unicode fonts for VS code on macOS

Stream: new members

[Bryan Gin-ge Chen]

Does anyone have any recommendations for macOS fonts that include all the unicode symbols in mathlib? On Windows the default fonts seem good so far but there are some missing symbols on macOS like ₘ.

[Edward Ayers]

I'm also interested in font recomendations . On my mac \I and i look exactly the same which lead to some head scratching.

[Patrick Massot]

Maybe you need OS recommendations :stuck_out_tongue_wink:

[Gabriel Ebner]

Have you tried the 𝔘𝔫𝔦𝔠𝔬𝔡𝔢 𝔣𝔬𝔫𝔱 𝔰𝔲𝔤𝔤𝔢𝔰𝔱𝔦𝔬𝔫𝔰 for Linux? From what I hear, these fonts run on macOS as well.

Fonts with good unicode support (on Linux): "editor.fontFamily": "Source Code Pro Medium, DejaVu Sans Mono"

[Sean Leather]

Many of the monospace fonts I've tried on the Mac have a problem with ↪: it takes more than the usual horizontal space, which leads to overlap with other characters. This includes Source Code Pro. I've been using Menlo, which has a good monospace ↪. For some reason, I had not yet tried DejaVu Sans Mono. Now that I have, I see that it's very similar to Menlo. Both also have ₘ.

[Bryan Gin-ge Chen]

Thanks, installing the DejaVu fonts seems to have done the trick! I think Menlo doesn't actually have the ₘ character, since it's the default font for VS Code on macOS already (the default setting is "editor.fontFamily": "Menlo, Monaco, 'Courier New', monospace",) and the character wasn't showing up before I installed these fonts. It seems that whenever a font is missing a glyph, the system fills it in from the other installed fonts (if it can).

[Sean Leather]

Interesting. It seems you're right. I confirmed with Font Book. The Mac symbol viewer only shows the DejaVu fonts under Font Variation for ₘ. I previously checked in iTerm2, so, yeah, somebody must be filling in ₘ from some other font. I wonder where it's coming from.

[Oliver Nash]

I realise this thread is old but for the sake of anyone else who has this issue: I just hit the same problem on Mac OS (e.g., no glyph for U+2099) and the same solution worked: installing DejaVu fonts.