Unicode info for Lean Infoview in VS

Stream: general

[Bernhard Reinke]

Hi, is there a way to also obtain the unicode keyboard short-cut information in the lean info view in VS? For example, when I hover over ∑ in ∑ i, f i • (g i : M) = m, the last part of hover text in a lean file is "Type ∑ using \sum", but there is no such text in the goal viewer. I stumbled a bit over this as I tried to use the shortcut \sigma and got Σ instead, leading to a bit of confusing over the type error I got.