lean Mathematical Alphanumeric Symbols support

Stream: general

[ZHAO Jinxiang]

https://en.wikipedia.org/wiki/Mathematical_Alphanumeric_Symbols

I found all Serif (except Normal) and Sans-serif char are not supported as lean identifiers. Could you tell me why?

[Eric Wieser]

For what it's worth, the implementation is here:

https://github.com/leanprover-community/lean/blob/65ad4ffdb3abac75be748554e3cbe990fb1c6500/src/util/name.cpp#L28-L56