search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Unicode entry #48

Closed paigenorth closed 1 year ago

paigenorth commented 1 year ago

I don't get unicode entry in the way that I thought should be available. For instance, when I write \mapsto, it doesn't change this to ↦ or suggest a ↦.

I'm using vscode-rzk 0.4.0 and VS Code 1.82.2 on a Mac.

aabounegm commented 1 year ago

Yes, this is not supported yet but we plan to add this feature. For discussion, see #40. In the meanwhile, you can check out the Unicode Latex extension.

paigenorth commented 1 year ago

Ah sorry! 😶

aabounegm commented 1 year ago

No worries 🙂