Unicode combining over arrows

Stream: mathlib4

[Dean Young]

I am interested in getting the unicode combining over arrows of U+20D7 and U+20E1 included into VSCode.

Not only do they make great notation for vectors.

Are there VSCode extensions which make more unicode characters available?

Are there ways of reaching out to Microsoft to ask for the inclusion of particular characters?

[Ruben Van de Velde]

What do you mean by "include"?

[Dean Young]

They don't display properly right now; we get something like this:
Screenshot-2023-12-01-at-4.16.19-PM.png

[Ruben Van de Velde]

That seems most likely to be a font issue

[Eric Wieser]

Can you paste the code here that you're using? It's a lot easer to debug font issues if we have the text that your font is failing with

[Dean Young]

These six factored functors P⃗ , P⃡ , P : D(∞-Grpd₀), p⃗ (𝟙 C), p⃡ (𝟙 X), p are each fully faithful and produce categorical equivalences; we later construct functors B⃗, B⃡, B, b⃗, b⃡, b defined on the essential image of these six, which are inverse to them up to natural isomorphism.\\

The directed path space, the path space, and loop space form components of the functors P⃗, P⃡, and P, which are valued in internal categories, internal groupoids, and internal groups respectively.
\begin{enumerate}
\item P⃗ : D(∞-Cat) ⭢ Cat D(∞-Cat)
\item P⃡ : D(∞-Grpd) ⭢ Grpd D(∞-Grpd)

This is a sample of the code.

@Ruben Van de Velde wait so... maybe I can change the font to one with more extensive unicode support?

[Eric Wieser]

Please put the whole thing within #backticks

[Dean Young]

Just to be clear it's latex code. But the same problem arises with lean code within the VSCode app.

These six factored functors P⃗ , P⃡ , P : D(∞-Grpd₀), p⃗ (𝟙 C), p⃡ (𝟙 X), p are each fully faithful and produce categorical equivalences; we later construct functors B⃗, B⃡, B, b⃗, b⃡, b defined on the essential image of these six, which are inverse to them up to natural isomorphism.\\

The directed path space, the path space, and loop space form components of the functors P⃗, P⃡, and P, which are valued in internal categories, internal groupoids, and internal groups respectively.
\begin{enumerate}
\item P⃗ : D(∞-Cat) ⭢ Cat D(∞-Cat)
\item P⃡ : D(∞-Grpd) ⭢ Grpd D(∞-Grpd)
\end{enumerate}

This is a sample of the code.

[Eric Wieser]

That renders ok in julia mono, but perhaps not in vscode

[Eric Wieser]

(https://jsfiddle.net/43kx0rh1/1)

[Dean Young]

Ok, right, it was just a font thing. Now I'm using STIX Two Text.