Matthew Toohey comments

Repositories
Issues
Comments

Results 71 comments of


                                            Matthew Toohey

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

Thanks for opening an issue about this. Just wanted to add an example where this is relevant. In [Lean](https://github.com/leanprover/lean4), it is common to use α (U+03B1 Greek Small Letter Alpha)...