Italic a (U+0061 Latin Small Letter A) and α (U+03B1 Greek Small Letter Alpha) are Indisguishable

[MajoranaOedipus]

Just as the title says, italic a (U+0061 Latin Small Letter A) and α (U+03B1 Greek Small Letter Alpha) are indisguishable:

Since target usage of the font family shall be used for displaying source codes, I believe legibility (i.e. easy for the reader to tell different symbols apart) should be of one of the top concerns.

Possible fixes:

• add a new variant that uses double-storey a (U+0061 Latin Small Letter A) in italic style
• Redesign α (U+03B1 Greek Small Letter Alpha) in italic style so that it is not confusable with italic a (U+0061 Latin Small Letter A).

[mtoohey31]

Thanks for opening an issue about this. Just wanted to add an example where this is relevant. In Lean, it is common to use α (U+03B1 Greek Small Letter Alpha) as the name of a type, and then use a (U+0061 Latin Small Letter A) to refer to a value of that type. In documentation comments (which are italicized in my editor), this makes it impossible to distinguish between the type and value characters, and it's often non-trivial to figure out which is which based on context.

Here's a screenshot: