vscode translations

Stream: general

[Gabriel Ebner]

Is there an accepted abbreviation for 𝕜? I'd like to add it to the vscode extension.

[Anne Baanen]

Agda-mode has \bk, and in general \b<letter> produces a blackboard bold letter.

[Scott Morrison]

I like \bbk, etc. (It's not so far from the "official" \mathbb{k}.)

[Gabriel Ebner]

\bbk is now included in the latest version of the vscode extension.