Better font for Lean in VScode?

Stream: new members

[Ching-Tsun Chou]

I don't like the default font for Lean in VScode. For example, I can hardly tell the difference between lowercase alpha and sigma (see below):
image.png
Is there a better option? My current Editor:Font Family setting is:
Menlo, Monaco, 'Courier New', monospace

[suhr]

Iosevka and Pragmata Pro have a good support of Unicode, so you can use these. Though in Pragmata Pro α and σ are also very similar.

[suhr]

And there's also Julia Mono.

[Ching-Tsun Chou]

Thanks! I tried Iosevka and Julia Mono (Pragmata Pro's website seems down). Alas, neither seems much of an improvement to my eyes. I guess I'll just have to avoid using both α and σ in the same file.

[Ching-Tsun Chou]

But I do like Iosevka's arrows (→ ↔ ↑ etc), which are much clearer than the default.