VSCode: lowercase letter subscript

Stream: general

[Horatiu Cheval]

Is it only my case that I can only type some of the lowercase letters as subscripts using \_? For example, \_a, \_e, \_p produce the corresponding subscripts, while \_b, \_c produce a subscript a followed by a normal b resp. c. Is this how it should work or is it something wrong with my installation?

[Filippo A. E. Nuccio]

No, it is normal (at least, I have the same behaviour on my installation).

[Yaël Dillies]

Yeah, we're missing some... which is pretty annoying.

[Gabriel Ebner]

Recent discussion about missing Unicode subscripts:
https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.237859.20notation.20for.20continuous.20functions

[Eric Rodriguez]

it's not just you guys... it's unicode; iirc we have all superscripts except q, for example